The main purpose of the Ident512 package is to implement an identification routine for the groups of order 512. This is done by calculating a number of invariants and comparing the results with the values of all possible candidates via a precalculated search tree. This Procedure determins the vast majority of groups. In the unfavorable case that the used invariants shrink the number of candidates down to more than one group the function IsPqIsomorphicPGroup from the Anupq package is used to determine the correct candidate.
All functions used to build the precalculated search tree are also content of this package. Thus one can build ones own search tree with a different set of invariants.
While determining suitable invariants for this task, the definition of subgroup- and factor-equivlance was developed together with the definition of twins (see ). The latter part of the packag implements function to determine these sets of groups, load precalculated lists of such groups and calculate certain invariants for these sets.
generated by GAPDoc2HTML