up previous next
ReducedGBasis    --    reduced Groebner basis


Syntax 
ReducedGBasis(I: IDEAL): LIST of RINGELEM
ReducedGBasis(I: MODULE): LIST of MODULEELEM

Description
This function returns a list whose elements 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]

See Also