GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#Example: "5gp-PG-i" . . . based on: examples/pga_5gp #Descendants of C5 x C5 #vars: F, procId; #options: OutputLevel F := FreeGroup("a", "b"); procId := PqStart(F : Prime := 5); #comment: set a different print level by supplying <OutputLevel> PqPcPresentation(procId : ClassBound := 1, #sub <OutputLevel> for <1> if set and ok OutputLevel := 1);; PqComputePCover(procId);; PqPGSupplyAutomorphisms(procId, [ [[2,0], [0,1]], [[4,1], [4,0]] ]);; PqPGConstructDescendants(procId : ClassBound := 2, StepSize := 2, RankInitialSegmentSubgroups := 4);;