InitialIdeal |
Syntax |
InitialIdeal(I: IDEAL, Inds: LIST): IDEAL |
Description |
Example |
/**/ Use R ::= QQ[x,y,z]; /**/ InitialIdeal(ideal(x^3-y), [x,y,z]); 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(y^2 -x*z, z^2, -y*z) |
See Also |