On 2018-06-09 07:13, Nils Bruin wrote:
and often it is suggested that "//" works to stay in the ring, and it does:
It should stay in the same ring, but what should the result be? I personally would expect (1 // x) == 0 for Laurent polynomials because that extends the // operation (Euclidean division) of ordinary polynomials.
So the concern of Travis is that there is no obvious way to create the element x^-1 of the Laurent polynomial ring. And if you special-case powering such that the operation x^-1 returns a Laurent polynomial, then what about (1 + x)^-1? That just moves the discussion from division to powering.
-- 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.
