PREDUCE _ _ _ _ _ _ _ _ _ _ _ _ operator
preduce(<p>, {<exp>, ... })
where <p> is an expression, and {<exp>, ... } is a list of expressions or equations.
preducecomputes the remainder of exp modulo the given set of polynomials resp. equations. This result is unique (canonical) only if the given set is a groebner basis under the current term order
see also: preducet operator.