up previous next
GBasis

calculate a Groebner basis

Syntax
GBasis(I: IDEAL|MODULE): LIST

Description
This function returns a list whose components form a Groebner basis for the ideal (or module) I with respect to the term-ordering of the polynomial ring of I .

If I is a variable then the result is stored in I for later use.

For the reduced Groebner basis, use the command ReducedGBasis.

The coefficient ring must be a field.

Example
/**/  use R ::= QQ[x,y];
/**/  I := ideal(x^4-x^2, x^3-y);
/**/  GBasis(I);
[-x^2 +x*y, -x*y +y^2, y^3 -y]

See Also