Re: equality of t_INTMODs

"Ruud H.G. van Tol" <[email protected]> Fri, 24 Jan 2025 16:28:53 +0100

Newsgroups	gmane.comp.mathematics.pari.user
Message-ID	<[email protected]>

On 2025-01-24 16:11, Max Alekseyev wrote:
> In view of a recently discovered issue in Sage 
> (https://github.com/sagemath/sage/issues/39372), I'd like to check how 
> the following two (in)equalities co-exist in PARI/GP. Do they violate 
> any design conventions and/or represent a notable exception to those?
>
> ? Mod(14,20) == Mod(39,55)
> %1 = 0
> ? Mod(14,20) - Mod(39,55) == 0
> %2 = 1

? 0 === ( Mod(14,20) - Mod(39,55) )
% 0

? Set( [ Mod(14,20), Mod(39,55), Mod(14,20) - Mod(39,55), 0 ] )
% [0, Mod(0, 5), Mod(14, 20), Mod(39, 55)]

-- Ruud