I agree that this needs to be fixed. Offhand, I don't know what the answer should be (for example, (1/(x*y), 0) also seems reasonable), but (0,1) is certainly not correct. So please do open a ticket.
Please correct the typo when you make the ticket, though: q*y + r == x should be q*y + r == 1/x (in both places). On Sunday, January 17, 2021 at 8:25:27 AM UTC-7 Salvatore Stella wrote: > Dear all, > can someone please confirm that the current behaviour of sage is not the > expected one before I open a ticket about it? > > sage: R.<x,y> = LaurentPolynomialRing(QQ) > sage: q,r = (1/x).quo_rem(y) ; q,r > (0, 1) > sage: q*y + r == x > False > > The correct answer should have been: > > sage: R.<x,y> = LaurentPolynomialRing(QQ) > sage: q,r = (1/x).quo_rem(y) ; q,r > (0, 1/x) > sage: q*y + r == x > True > > Thanks > S. > -- 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/b4978f27-bcfb-44c1-95a9-354275bb1b9bn%40googlegroups.com.
