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 says > "Returns quotient and remainder of self and right" which is absolutely > not helpful. 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 multivariate division in the sense of > https://en.wikipedia.org/wiki/Gr%C3%B6bner_basis#Reduction implemented > somewhere in Sage? Yes: p.mod(ideal) or ideal.reduce(p). -- Marc Mezzarobba -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
