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
> 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)?
On Dec 7, 2007, at 8:48 AM, Joel B. Mohler wrote:
>
> Hi,
>
> Here's a couple of questions that have occurred to me as I tried to
> make
> fraction fields of mpolynomials tolerable to work with.
>
> 1) In the "reduce" method in the file fraction_field_element.py
> (line 72), we
> call quo_re