Ruud H.G. van Tol on Fri, 24 Jan 2025 16:29:00 +0100


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

Re: equality of t_INTMODs 


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