|
Karim Belabas on Fri, 24 Jan 2025 16:58:52 +0100
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
Re: equality of t_INTMODs
|
- To: Max Alekseyev <maxale@gmail.com>
- Subject: Re: equality of t_INTMODs
- From: Karim Belabas <Karim.Belabas@math.u-bordeaux.fr>
- Date: Fri, 24 Jan 2025 16:58:48 +0100
- Cc: Pari Users <pari-users@pari.math.u-bordeaux.fr>
- Delivery-date: Fri, 24 Jan 2025 16:58:52 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/simple; d=math.u-bordeaux.fr; s=2022; t=1737734330; bh=j1BNzEKoDK5SWEPQeOk5VXjfqucp/LG78qzfTbomQn0=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=cxCg/JU96Ol5GTfBAb2rb6cS9w3CPsEqXC8hDu+CKsSMIF7TbbtTtF9vLWYwK13N3 DgKDT5Kq9k3YrJ4oK+SEBupaFfAsETqovg2nNEqVzeua/FuwZKQYdGWr2Grdi8GIYz Vidb8sn66NKubR/9H00JRHKcIKVvnbhWyRVTJiZR699mTYsTQSISbkC+U007LCdJA8 jtJL+TCj///w53tsVyp+MaqEQaLdjiYkFJrRUe0pgCo8iNxkeQUf8SC8HKbxtYAYqR yIZ+YcQru0jZfke/rnBO0mgiDT68NQ/OuFbCwer2DVb4zyfruB/LTLtMBPL4EV7Qha iwcj/T7VYIaVo7VhTv3v+zLLv+2Baz2RteMgkI66WaTHahclggicjAkWnMn8DSUoMG 3+A9546YITykmSxjQH7Oa/jrGGIjQKcFNl+7NtbqF6yYNvJp88HqI0m24VK+LFSPmA iK32YL8EDv92JgymGBejJvrRpWfZNjXlNCVABM/RuoGNmaCXROoc+4WDq5Icdkktd+ 1/UkOD56CUUsaoRw4KXieDqODOensH/oF82AOsqm3/rNsWA+brZyscNiXKoJd49lup dXG0/OnkTlH1q/h/JdQhkYj/hGpM4/zArnTub7LK95WE/zZnhcxoBMYrrkZbuWJcFC NzRhL5txXt+tHk6CK13UIpLw=
- In-reply-to: <CAJkPp5PbrmnyofhFsap0BBg5V+TD=17=KDf03BJOYnMBbvANyQ@mail.gmail.com>
- Mail-followup-to: Max Alekseyev <maxale@gmail.com>, Pari Users <pari-users@pari.math.u-bordeaux.fr>
- References: <CAJkPp5PbrmnyofhFsap0BBg5V+TD=17=KDf03BJOYnMBbvANyQ@mail.gmail.com>
Hi Max,
* Max Alekseyev [2025-01-24 16:12]:
> 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
They do violate the design convention (x == y iff x - y == 0;
use the === operator for proper equality without implicit coercion).
t_POLMOD had the same issue. Both issues are now fixed in 'master'.
Cheers,
K.B.
--
Pr. Karim Belabas, U. Bordeaux, Vice-président en charge du Numérique
Institut de Mathématiques de Bordeaux UMR 5251 - (+33) 05 40 00 29 77
http://www.math.u-bordeaux.fr/~kbelabas/