On Sunday 10 October 2010, andrew ewart wrote:
> how do i generate the initial ideal of a reduced grobner basis?
sage: P. = PolynomialRing(QQ)
sage: I = sage.rings.ideal.Katsura(P)
sage: gb = I.groebner_basis()
sage: J = Ideal(f.lm() for f in gb)
sage: J
Ideal (z^3, y^2, y*z, x) of Multivariate
how do i generate the initial ideal of a reduced grobner basis?
--
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage
