simplify with respect to side relations
simplify(expr, eqns, vars)
simplify(expr, eqns, tord)
simplify(expr, eqns,'mindeg')
set or list of equations (an expression e is understood
simplify with respect to side relations
simplify(expr, eqns, vars)
simplify(expr, eqns, tord)
simplify(expr, eqns,'mindeg')
set or list of equations (an expression e is understood as the equation e=0)
(optional) set or list of variables appearing in eqns
(optional) a monomial order in the variables appearing in eqns
Simplification of expr with respect to the side relations eqns is performed. The result is an expression which is mathematically equivalent to expr but which is in normal form with respect to the specified side relations.
In all cases simplify computes a Groebner basis for the set of side relations. This basis contains all the algebraic consequences of eqns, so that if an expression can be rewritten in terms of the relations simplify will reduce it to zero. Otherwise, simplify returns a remainder in which none of the terms are reducible.
To ensure a finite division process simplify imposes a total order on