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*y -y^2,  x^2 -y^2,  y^3 -y]

See Also