ReducedGBasis(I: IDEAL): LIST of RINGELEM
ReducedGBasis(I: MODULE): LIST of MODULEELEM
Description
This function returns a list whose components form a reduced Groebner basis
for the ideal (or module)
I
with respect to the term-ordering of the
polynomial ring of
I
.
Example
/**/ Use R ::= QQ[x,y];
/**/ I := ideal(x^4-x^2, x^3-y);
/**/ ReducedGBasis(I);
[x*y -y^2, x^2 -y^2, y^3 -y]