quo_rem for multivariate Laurent polynomial rings

[VulK]

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.

[dmo...@deductivepress.ca]

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).

[VulK]

Oops, thanks for catching the mistake
S.

* dmo...@deductivepress.ca <dmo...@deductivepress.ca> [2021-01-17 12:01:41]:

>--
>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+...@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.