up previous next
ReducedGBasis

compute reduced Groebner basis

Syntax
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]

See Also