Basic Group Properties
IsExtraSpecial(G) : GrpPC -> BoolElt
IsSpecial(G) : GrpPC -> BoolElt
pClass(G) : GrpPC -> RngIntElt
pRanks(G) : GrpPC-> [ RngIntElt ]
CharacterDegrees(G) : GrpFin -> [ RngIntElt ]
Subgroups and Subgroup Series
Agemo(G, i) : GrpPC, RngIntElt -> GrpPC
JenningsSeries(G) : GrpPC -> [GrpPC]
Omega(G, i) : GrpPC, RngIntElt -> GrpPC
Generating p-groups
GeneratepGroups (p, d, c : parameters) : RngIntElt, RngIntElt,RngIntElt -> [GrpPC]
Descendants(G : parameters) : GrpPC -> [GrpPC]
Example GrpPGp_Generating_p_groups (H26E1)
Example GrpPGp_GeneratepGroups (H26E2)
Example GrpPGp_IsGood (H26E3)
Isomorphism testing and Standard Presentations
StandardPresentation(G): GrpPC -> GrpPC, Map
IsIdenticalPresentation(G, H) : GrpPC, GrpPC -> BoolElt
IsIsomorphic(G, H) : GrpPC, GrpPC -> BoolElt, Map
Example GrpPGp_StandardPresentation (H26E4)
Automorphism Group Algorithm
AutomorphismGroup(G): GrpPC -> GrpAuto
Example GrpPGp_AutomorphismGroup (H26E5)
Counting p-groups
ClassTwo (p, d : parameters) : RngIntElt, RngIntElt -> SeqEnum
Example GrpPGp_ClassTwo (H26E6)
Miscellanous p-group functions
NumberOfSubgroupsAbelianPGroup (A) : SeqEnum -> SeqEnum
OrderAutomorphismGroupAbelianPGroup (A) : SeqEnum -> RngIntElt