Jeroen Demeyer wrote:
> I don't get what you mean. What I am saying is that the following two
> should return the same answer:
>
> p.mod([q])
> p.quo_rem(q)[1]
I was mixing up several things, sorry. Yes, that makes sense. I guess
quo_rem() for multivariate polynomials must predate the
On 2016-03-30 16:08, Marc Mezzarobba wrote:
I think it is just a more or less arbitrary function that satisfies
quo*q + rem == p and extends the Euclidean division of univariate
polynomials. (But // can still be useful for exact divisions or
divisions by monomials...)
Is there any reason that
Hi Jeroen,
(Disclaimer: what follows is based on what I gathered while writing the
French Sage book a few years ago and may non longer be accurate!)
Jeroen Demeyer wrote:
> I am having a hard time understanding the precise semantics of
> multivariate polynomial quo_rem(). The documentation only
