On Dec 7, 2007, at 10:45 AM, Nick Alexander wrote:
> >> 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. Ok.... but if you do this, you need to implement it by hand, since NTL (the underlying implementation for most of Polynomial_integer_dense) isn't able to do this, as far as I know. david --~--~---------~--~----~------------~-------~--~----~ 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/ -~----------~----~----~----~------~----~------~--~---
