I think grobner basis which contain non-zero constant and polynomials is a bug.
sage: K.<x,y>=ZZ[] sage: l=[x^2+y^2+x+4,x^2+y^2+4*y+2,x^2-13*y^2+x] sage: I=Ideal(l);gb=I.groebner_basis();gb [y^2 + 4*y + 198, x + 1036*y + 2, 8*y + 544, 1040] -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAGUWgD-Cp%2BcYuQFqM84jAdMySjSw_Sc9NPeDdpjzQxqujSWawQ%40mail.gmail.com.