Re: Bug in Mod (2.0.15)

[Ilya Zakharevich <ilya@math.ohio-state.edu>]

On Tue, Mar 07, 2000 at 02:06:45PM +0100, Karim BELABAS wrote:
> (13:01) gp > \y
>    simplify = 0 (off)
> (13:01) gp > u = Mod(z,x^2+y^2+t^2)
> %6 = Mod(Mod(x, x^2 + y^2), x^2 + (y^2 + t^2))
> 
> which is an incorrect object... 

My idea what that *allowing* such objects would allow quotients by
non-principal ideals without a lot of reworking.  Since I know no
details of this part of the core, this estimate may be wrong.

Ilya

P.S.  Why not document what is a "correct object" (like how the
      variable of a subobject t_POLY (sp?) relates to the variable of
      the enclosing t_POLY)?