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