That's because by default Sage's installation of AtlasRep does not fetch data from the internet: we patch local/lib/gap/pkg/atlasrep/gap/userpref.g so that it says default:= false;
The reason is that our release manager runs build tests in an no internet mode, and something breaks without this patch. So you can either go and edit the file above, or use a proper GAP way to override AtlasRepAccessRemoteFiles from https://www.math.rwth-aachen.de/~Thomas.Breuer/atlasrep/doc/chap4.html (and let's know how to do this, please, if you figure this out) HTH Dima On Tue, Apr 18, 2023 at 10:46 AM 'Peter Mueller' via sage-support <sage-support@googlegroups.com> wrote: > > While `libgap.SimpleGroup("J2")` yields the expected result, > `libgap.SimpleGroup("J3")` raises a `GAPError: Error, The AtlasRep package > could not load a group with parameters [ "J3" ]`. Calling > `libgap.LoadPackage("AtlasRep")` returns without errors, but the problem > persists. > > The same happens when starting GAP directly from a shell via `sage -gap` and > calling `SimpleGroup("J3");`. It is not a GAP bug, for a a local installation > of GAP (same version 4.12.2) just works fine. > > I have this problem in Sage versions 9.8 and 10.0.beta6. The same failure on > the SageMathCell too. > > -- Peter Mueller > > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-support+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-support/62a75c03-29d5-41b5-b71b-04332b77ec2en%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CAAWYfq0kGti8qbwvrFd2vTWf36SVTP-QUgx57Gu%2BFRLAujvS3w%40mail.gmail.com.
