[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Conversion between Categories
Conversion between Categories
FPGroup(G) : GrpPC -> GrpFP, Map
A GrpFP representation F of G and the isomorphism from F to G.
PCGroup(G) : GrpPerm -> GrpPC, Map
PCGroup(G) : GrpMat -> GrpPC, Map
[Future release] PCGroup(G) : GrpFP -> GrpPC
A GrpPC representation of the group G and the isomorphism.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]