Not a bug, but a (nice) feature: Gröbner bases for rings of polynomials with integers coefficients, documented in:
https://doc.sagemath.org/html/en/reference/polynomial_rings/sage/rings/polynomial/multi_polynomial_ideal.html El vie, 10 mar 2023 a las 11:57, Georgi Guninski (<ggunin...@gmail.com>) escribió: > 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 > . > -- 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/CAC2RnLpdCVJUK%2BZyM5Z1SCw_%2BdQkA_Xbw44knvysDnps0kUqug%40mail.gmail.com.
