StdBasis(I: IDEAL): LIST
/**/ use R ::= QQ[x,y,z]; /**/ I := ideal(x^2*z-2*y, x^3+y^2-y*z); StdBasis(I); [(-1/2)*x^2*z +y, (1/2)*x^2*y*z +(-1/2)*x^2*z^2 +x^3] /**/ TgCone(I); ideal(y, x^3)