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/CAAWYfq0LmBS4To8Sp2YB-OA7VqjCUKKZh4MVJ3RxF-XsjD84jw%40mail.gmail.com.
