%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%W wrap.tex GrpConst documentation Bettina Eick
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Chapter{Construction of All Groups}
\index{Construction of All Groups}
The following function can be used to determine up to isomorphism
all groups of a given order. This method implements a combination
of the more specific functions described below.
Note that the chosen combination might not be the best possible for
every application. Thus, if this function takes too long to construct
the desired groups, then it might still be possible to determine these
groups using the functions outlined in the following chapters. Moreover,
the functions described in the following chapters provide more facilities
and this might help to determine groups with certain properties more
efficiently.
\> ConstructAllGroups( <order> ) F
Usually the output of this function is a list of groups. The soluble
groups in the list are given as pc groups and the others as permutation
groups. However, in some cases the output might contain lists of groups
as well. The groups is such a list could not be proved to be pairwise
non-isomorphic by the algorithm, although this is likely to be the case,
see Section "Verifying non-isomorphism" for further details.
\beginexample
gap> ConstructAllGroups( 60 );
[ <pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
<pc group of size 60 with 4 generators>,
A5 ]
gap> List( last2, IdGroup );
[ [ 60, 4 ], [ 60, 13 ], [ 60, 6 ], [ 60, 2 ], [ 60, 1 ], [ 60, 7 ],
[ 60, 3 ], [ 60, 8 ], [ 60, 9 ], [ 60, 12 ], [ 60, 11 ], [ 60, 10 ],
[ 60, 5 ] ]
\endexample
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
|
|
