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