up previous next
GBasis --
calculate a Groebner basis
|
GBasis(I: IDEAL|MODULE): LIST |
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.
/**/ 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]
|