TgCone -- tangent cone |
Syntax |
TgCone(I: IDEAL): IDEAL |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ TgCone(ideal(x^3-y)); ideal(y) /**/ TgCone(ideal(x^3+x^2-y^2)); ideal(x^2 -y^2) /**/ I := ideal(x^3-y*z, y^2-x*z, z^2-x^2*y); /**/ TgCone(I); -- same as InitialIdeal(I, [x,y,z]); ideal(z^2, y*z, y^2 -x*z) |
See Also |