We plan to integrate this package better with the small groups library in the future. That means several things:
Add a new layer to the small groups library which covers all group ids covered by SOTGrps but not (yet) covered by the SmallGroups library
for orders which are supported by both, provide functions to convert between SmallGrp and SOTGrps ids
hook deeper into the SmallGroups library to replace constructor and/or identification functions with those provided by SOTGrps (namely in all cases where SOTGrps is faster). Naturally while retaining the existing ordering (so this requires point 2)
Regarding 1: some initial code for this is in gap/Integration.gi but this not yet being loaded
Regarding 2:
as of now, we plan to support conversion up to some fixed bound (e.g. up to order 50000).
some initial code for this is in gap/SOTtoSGL.gi
For some cases both libraries support infinitely many cases; whether we can support id remapping there depends, we need to analyze what SmallGrps does carefully and compare it...
We plan to integrate this package better with the small groups library in the future. That means several things:
Regarding 1: some initial code for this is in
gap/Integration.gi
but this not yet being loadedRegarding 2:
gap/SOTtoSGL.gi