> If the divisor is monic, then everything is okay, but if the divisor > is not monic, it's not clear what the remainder should be. I took the > agnostic option for the moment.
Why not make it agree with Magma's multivariate definition (used in their Euclidean ring Groebner basis calculations)? The reference is http://magma.maths.usyd.edu.au/magma/htmlhelp/text1115.htm#11136 I can elaborate. For what it's worth, I have implemented some of this in a .sage file but I couldn't make it very general -- the polynomial hierarchy is hard to comprehend these days. Nick --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
