Ilya Zakharevich on Tue, 7 Mar 2000 14:35:16 -0500

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Bug in Mod (2.0.15)

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.


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)?