`SmallGroupsInformation(size)`

There is no IdGroup function available for this extension of the small
groups library.

WARNING: The user should be aware that there are there are 1,396,077 groups
of order `3`^{8}, 1,600,573 groups of order `13`^{7}, and 5,546,909 groups
of order `17`^{7}. For general `p` the number of groups of order `p`^{7} is
of order `3p`^{5}. Furthermore as `p` increases, the time taken to
generate a complete list of the groups of order `p`^{7} grows rapidly.
For `p=13` it
takes several hours to generate the complete list. For `p≤11` the
groups are precomputed, and their SmallGroup codes are stored in the
SmallGroups database. For `p>11` the Lie rings have to be generated from
4773 parametrized presentations in the LiePRing database, and then converted
into groups using the Baker-Campbell-Hausdorff formula. A complete list of
power commutator presentations for the groups of order `13`^{7} takes over
11 gb of memory.

[Up] [Previous] [Next] [Index]

sglppow manual

Dezember 2014