GBasisByHomog(I: IDEAL): LIST
/**/ 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]