Accessing transitive groups of degree 32 in libgap

jaebond
219 ●3 ●10 ●18

The transitive groups of degree 32 can be downloaded and added to the GAP package transgrpfollowing the instructions here: https://docs.gap-system.org/pkg/trans....

After following those instructions, gap.console() has access to these groups:

sage: gap.console()
gap> TransitiveGroupsAvailable(32);
true

however, neither libgap nor gap() have them available:

sage: libgap.TransitiveGroupsAvailable(32)
false
sage: gap("TransitiveGroupsAvailable(32)")
false

Loading transgrp again doesn't seem to change anything either:

sage: libgap.LoadPackage("transgrp")
true
sage: libgap.TransitiveGroupsAvailable(32)
false

Is there a way to somehow point either libgap or gap() to the fact that these groups are available?

Comments

It works for me. Did you try restarting SageMath (to force it to load the package anew, since the package was first loaded without the groups)? Which SageMath version do you use, on which platform, and how did you install it?

rburing ( 0 years ago )

I did try restarting SageMath, but it still didn't recognize the change. It seems that SageMath caches the GAP workspace, so it's interesting that it worked for you. I was running SageMath 10.0 on Linux, installed using mamba.

jaebond ( 0 years ago )

add a comment

answered 0 years ago

jaebond
219 ●3 ●10 ●18

Sage caches the GAP workspace on first startup to improve its startup speed. There's a command gap_reset_workspace (docs), after which gap() will recognize the transitive groups of order 32:

sage: G = libgap.eval(f"Group((1,2), ({','.join(map(str, range(1, 33)))}))")
sage: gap(G).TransitiveIdentification
2801324

However, libgap still didn't seem to recognize the groups, possibly due to needing to be recompiled. Because I had installed Sage with mamba, I didn't have an option to rebuild, so I:

upgraded mamba past version 2
git cloned Sage and changed to that directory
created a new mamba environment with Sage dependencies installed
placed the data for transitive groups of order 32 in the transgrp directory
built Sage following the above instructions

Afterwards, libgap recognized the transitive groups of order 32. Hopefully, if I had built from source originally, calling make build or pip install --force-reinstall after placing data in the transgrp directory would result in libgap recognizing the groups, but I decided to place the groups there ahead of time, just in case that didn't work.

link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Accessing transitive groups of degree 32 in libgap

Comments

1 Answer

Your Answer

Question Tools

Stats

Related questions

Accessing transitive groups of degree 32 in libgap savecancel

Comments

1 Answer

Your Answer

Question Tools

Stats

Related questions

Accessing transitive groups of degree 32 in libgap