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 ::= 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]
-------------------------------