rgin -- generic initial ideal wrt StdDegRevLex |
Syntax |
rgin(I: IDEAL): IDEAL |
Description |
Example |
/**/ use R ::= QQ[x,y,z], DegLex; /**/ I := ideal(y^2-x*z, x^2*z-y*z^2); /**/ gin(I); ideal(x^2, x*y^2, x*y*z^2, x*z^4, y^6) /**/ rgin(I); ideal(x^2, x*y^2, y^4) |
See Also |