GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#Example: "2gp-PG-2-i" . . . based on: examples/pga_example #All class 3 descendants of C2 x C2 with extensive output #vars: F, procId; #options: OutputLevel F := FreeGroup("a", "b"); procId := PqStart(F : Prime := 2); #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, [ [[0,1], [1,1]], [[0,1], [1,0]] ]);; PqPGConstructDescendants(procId : ClassBound := 3, PcgsAutomorphisms, CustomiseOutput := rec(group := [,,1], autgroup := [,1]));;