up previous next

FullRed

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.

example

    
UnSet FullRed;
Use R ::= Q[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]
-------------------------------