On Sunday 10 October 2010, andrew ewart wrote: > how do i generate the initial ideal of a reduced grobner basis?
sage: P.<x,y,z> = 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 Polynomial Ring in x, y, z over Rational Field Is that what you want? Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: martinralbre...@jabber.ccc.de -- 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-support URL: http://www.sagemath.org
