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

• GBasis