Re: Bug in Mod (2.0.15)

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

On Wed, Mar 01, 2000 at 06:51:04PM +0100, Karim BELABAS wrote:
> >     ? z=Mod(x,x^2+y^2)
> >     %1 = Mod(x, x^2 + y^2)
> >     ? u=Mod(z,x^2+y^2+t^2)
> >     %2 = 0
> 
> It's a (debatable...) feature : modular objects (POLMOD/INTMOD)
> of different modulus are adjusted to a common modulus first, here
> gcd(x^2 + y^2, x^2 + y^2 + t^2) = 1, and all objects mod 1 are equal to 0...

Eh?

? Mod(0,1)
%1 = Mod(0, 1)

They may be equal to 0, but they are definitely not 0.

Ilya