Reduce (Built-in Mathematica Symbol)

Reduce[expr, vars] reduces the statement expr by solving equations or inequalities for vars and eliminating quantifiers. Reduce[expr, vars, dom] does the reduction over the ...

Reduce::bdomv (Mathematica Message)

Reduce::bdomv

Reduce::ifun (Mathematica Message)

Reduce::ifun System`Private`OldReduce::ifun MainSolve::ifun AlgebraicRules::ifun

Reduce::mdom (Mathematica Message)

Reduce::mdom FindInstance::mdom

Reduce::ratnz (Mathematica Message)

Reduce::ratnz