Hi Johannes, On 2017-07-14, Johannes Schwab <goo...@jschwab.org> wrote: > Here is the code: > R.<x,y> = PolynomialRing(QQ, 'lex')
That's not what you want. sage: R.term_order() Degree reverse lexicographic term order Instead you have to do sage: R.<x,y> = PolynomialRing(QQ, order='lex') (i.e., specify what parameter is 'lex' being assigned to) And then you'll get the correct result: sage: f = x^2 + 2*y sage: g = x*y - y^2 + 1 sage: I = [f,g]*R sage: I.groebner_basis() [x - y^3 - 2*y^2 + y, y^4 + 2*y^3 - 2*y^2 + 1] Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
