[sage-support] Re: initial ideal

2010-10-11 Thread Jason Grout
On 10/10/10 11:58 AM, Simon King wrote: Hi Andrew! On 10 Okt., 16:58, andrew ewart wrote: hmm sage doesnt seem to recognise the Im() command How do you define your polynomials? Are you sure that you *do* define polynomials? Examples: 1. This is a polynomial: sage: R. = QQ[] sage: p = x^2

[sage-support] Re: initial ideal

2010-10-10 Thread Simon King
Hi Andrew! On 10 Okt., 19:25, andrew ewart wrote: > i tried to take this into consideration > giving the following code > > P. = PolynomialRing(QQ,order='neglex') > I = Ideal(x^5 + y^4 +z^3, x^3 + y^2 + z^2 -1) > print I > gb=I.groebner_basis() > rgb=Ideal(gb).interreduced_basis() > bgr=Ideal(rgb

[sage-support] Re: initial ideal

2010-10-10 Thread andrew ewart
i tried to take this into consideration giving the following code P. = PolynomialRing(QQ,order='neglex') I = Ideal(x^5 + y^4 +z^3, x^3 + y^2 + z^2 -1) print I gb=I.groebner_basis() rgb=Ideal(gb).interreduced_basis() bgr=Ideal(rgb) ir=Ideal(f.Im() for f in bgr) print 'with revlex order' print rgb p

[sage-support] Re: initial ideal

2010-10-10 Thread Simon King
Hi Andrew! On 10 Okt., 16:58, andrew ewart wrote: > hmm sage doesnt seem to recognise the Im() command How do you define your polynomials? Are you sure that you *do* define polynomials? Examples: 1. This is a polynomial: sage: R. = QQ[] sage: p = x^2+3*x*y+y^3 sage: p.lm() y^3 sage: type(p)

[sage-support] Re: initial ideal

2010-10-10 Thread andrew ewart
hmm sage doesnt seem to recognise the Im() command -- 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: