cool, thank you! On Friday, 26 September 2025 at 08:31:38 UTC+2 [email protected] wrote:
> with just released GAP 4.15.beta3, I am getting 7440. > (tried twice, same answer) > With 4.14, it's most probably the bug reported in > https://github.com/gap-system/gap/issues/5981 > and then fixed > > On Thu, Sep 25, 2025 at 11:43 PM David Roe <[email protected]> wrote: > > > > 7440 is what we have in the LMFDB, though that's redundant with the > information that Nils provided, since it was computed with Magma. > > David > > > > On Fri, Sep 26, 2025 at 12:18 AM Nils Bruin <[email protected]> wrote: > >> > >> When I tried with sage, I got 7440, which agrees with what magma > computes. So I think this strongly points to a problem in gap (given it's > not even self-consistent) > >> > >> On Thursday, 25 September 2025 at 21:16:47 UTC-7 [email protected] > wrote: > >>> > >>> On Thu, Sep 25, 2025 at 4:51 PM 'Martin R' via sage-devel > >>> <[email protected]> wrote: > >>> > > >>> > gives me 7441, 7442 or even 7443. > >>> > >>> I tried this directly with GAP, and got 7442. > >>> Is this the correct number? > >>> > >>> Dima > >>> > >>> > >>> > > >>> > I am baffled. > >>> > > >>> > Martin > >>> > > >>> > -- > >>> > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > >>> > To unsubscribe from this group and stop receiving emails from it, > send an email to [email protected]. > >>> > To view this discussion visit > https://groups.google.com/d/msgid/sage-devel/8c538f8d-6531-42d1-80ef-3d3ba4ebcb7dn%40googlegroups.com > . > >> > >> -- > >> You received this message because you are subscribed to the Google > Groups "sage-devel" group. > >> To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected]. > >> To view this discussion visit > https://groups.google.com/d/msgid/sage-devel/a535886e-7b9c-4921-824e-f3b174c5ef6an%40googlegroups.com > . > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to [email protected]. > > To view this discussion visit > https://groups.google.com/d/msgid/sage-devel/CAChs6_kL846NoSi9LrGQd7NT0bWd49zNzq0ym4ZrjNmY0%3DX8OA%40mail.gmail.com > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/3b594f16-6b8c-4fd6-9484-e98bbbda77d3n%40googlegroups.com.
