GREDUCE _ _ _ _ _ _ _ _ _ _ _ _ operator

syntax:

greduce(exp, {exp1, exp2, ... , expm})

where exp is an expression, and {exp1, exp2, ... , expm} is a list of expressions or equations.

greduceis functionally equivalent with a call to groebner and then a call to preduce.