|
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
|
- To: pari-users@pari.math.u-bordeaux.fr
- Subject: Re: equality of t_INTMODs
- From: "Ruud H.G. van Tol" <rvtol@isolution.nl>
- Date: Fri, 24 Jan 2025 16:28:53 +0100
- Delivery-date: Fri, 24 Jan 2025 16:29:00 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=simple/simple; d=isolution.nl; s=soverin; t=1737732534; bh=yI68f/GRXi6w3vvWS8P+l8h+TVnsNRcPi44ginoudGY=; h=Date:Subject:To:References:From:In-Reply-To:From; b=StrPe4YCJ7lQ2eMMUV+YS8+hYSBOK68yVawk1q/Jpzt20xr2eNi+2PMr4N878FsyJ NJxUZfnFCyc9aDDbdrgbbLhJPpeYKNVo54xlhls63n28qTOWa5odFq3sX42ZQ4PUCC xUV/lN73UBHh9CJmRJFnKFn0N9K0uZT+GiN4S6MTbuekAN61ySp23s+/38TluUWoi/ 2uWdOMzeB9IHCNlQfmueb3+yL0XFE/Pr8BLapXKNxVduZSfIRc6VDlV2RO00HGwjgW qmhRZ4ksdnvhEUZosM3hrmPwCEX62Pw1CQKNdCBe6qC+zUuRvMSfLxeH4Mg7hDz8Ke PhtgYl6Kp2pSA==
- In-reply-to: <CAJkPp5PbrmnyofhFsap0BBg5V+TD=17=KDf03BJOYnMBbvANyQ@mail.gmail.com>
- References: <CAJkPp5PbrmnyofhFsap0BBg5V+TD=17=KDf03BJOYnMBbvANyQ@mail.gmail.com>
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