up previous next
GBasisByHomog

calculate a Groebner basis by homogenization

Syntax
GBasisByHomog(I: IDEAL): LIST

Description
Same as GBasis , but it is computed by homogenizing the input generators, and then dehomogenizing the output.

Currently only for StdDegRevLex .

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

See Also