up previous next
***** NOT YET UPDATED TO CoCoA-5: follow with care *****
If FullRed is set to True, then when a normal form is required in any
Groebner-type computation, CoCoA will reduce all monomials in a
polynomial; if FullRed is False, only the leading terms will be
reduced. The default is to have FullRed set to True.
UnSet FullRed;
Use R ::= QQ[x,y];
Interreduced([xy^3+y^2+x, x]);
[x, y^2 + x]
-------------------------------
Set FullRed;
Interreduced([xy^3+y^2+x, x]);
[x, y^2]
-------------------------------
|