How to iterate through finite groups

asked 2017-01-17 14:04:35 +0200

alizter gravatar image

How can I have a collection of all finite groups with order less than a given number? I have tried

G = gap.AllSmallGroups(64)

However it does not work for other arguments. It instead spits out this [1] error for example for 63 rather than 64. I can tell that this may be a problem with the gap library in sage so I am wondering if there is any other way to do this in sage? I just want to be able to iterate through finite groups less than a given order.


Error in lines 3-4
Traceback (most recent call last):
File "/projects/sage/sage-7.3/local/lib/python2.7/site-packages/smc_sagews/", line 976, in execute
exec compile(block+'\n', '', 'single') in namespace, locals
File "", line 2, in <module>
File "/projects/sage/sage-7.3/local/lib/python2.7/site-packages/sage/interfaces/", line 608, in __call__
return self._parent.function_call(self._name, list(args), kwds)
File "/projects/sage/sage-7.3/local/lib/python2.7/site-packages/sage/interfaces/", line 921, in function_call
res = self.eval(marker+cmd)
File "/projects/sage/sage-7.3/local/lib/python2.7/site-packages/sage/interfaces/", line 575, in eval
result = Expect.eval(self, input_line, **kwds)
File "/projects/sage/sage-7.3/local/lib/python2.7/site-packages/sage/interfaces/", line 1294, in eval
for L in code.split('\n') if L != ''])
File "/projects/sage/sage-7.3/local/lib/python2.7/site-packages/sage/interfaces/", line 771, in _eval_line
raise RuntimeError(message)
RuntimeError: Gap produced error output
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 2nd choice method found for `RankPGroup' on 1 arguments

executing __SAGE_LAST__:="__SAGE_LAST__";;Rank(\$sage1);;
edit retag flag offensive close merge delete


You may find useful in this regard if you don't actually have the small groups library installed.

kcrisman gravatar imagekcrisman ( 2017-01-17 20:53:53 +0200 )edit

To me, the error message hints that one tries to call RankPGroup on a group which is not a $p$-group. I don't know why SageMath attempts this though.

alexander konovalov gravatar imagealexander konovalov ( 2017-04-03 21:42:20 +0200 )edit

Hmm, it could be a Gap issue. Not sure.

kcrisman gravatar imagekcrisman ( 2017-04-04 13:52:56 +0200 )edit

No, AllSmallGroups(64); in GAP works perfectly fine.

alexander konovalov gravatar imagealexander konovalov ( 2017-04-14 20:29:33 +0200 )edit

Thanks for this feedback. Huh, then someone who knows the GAP interface will have to look into this.

kcrisman gravatar imagekcrisman ( 2017-04-15 14:25:40 +0200 )edit