If one is only interested in some of the information of special ag
systems then it is possible to suppress the calculation of one or all
types of the public subgroups by calling the function
SpecialAgGroup( G, flag )
, where flag is "noHall", "noHead" or
"noPublic".
With this options the algorithm takes less time. It calculates an ag
group H, which is isomorphic to G. But be careful, because the output
H is not handled as a special ag group by GAP but as an arbitrary ag
Ag Group Functions for Special Ag Groups use the algorithms for special ag groups.
SpecialAgGroup( G, "noPublic" )
calculates an ag group H, which is isomorphic to G and whose ag system is corresponding to the Leedham-Green series.
SpecialAgGroup( G, "noHall" )
calculates an ag group H, which is isomorphic to G and whose ag system is corresponding to the Leedham-Green series and has public local head complements.
SpecialAgGroup( G, "noHead" )
calculates an ag group H, which is isomorphic to G and whose ag system is corresponding to the Leedham-Green series and has public Hall subgroups.
GAP 3.4.4