g := GL(4,5); Size(g); x := PseudoRandom(g); Display(x); y := PseudoRandom(g);; z := x*y;; time; syl := SylowSubgroup(g,3); Size(syl); n := Normalizer(g,syl); Size(n); DisplayCompositionSeries(g); perm := Image(NiceMonomorphism(g)); LargestMovedPoint(perm); p := PGL(4,5); g := GL(10,7); Size(g); h := Group(GeneratorsOfGroup(g)); Size(h); x := PseudoRandom(g); y := PseudoRandom(g);; z := x*y;; time; x in h; g := AtlasGroup("M24",Dimension,45,Characteristic,7); GeneratorsOfGroup(g); h := Group(GeneratorsOfGroup(g)); Size(h); LoadPackage("genss"); S := StabilizerChain(h); x := PseudoRandom(GL(45,7)); SiftGroupElement(S,x); x := PseudoRandom(h); SiftGroupElement(S,x); sift := SiftGroupElementSLP(S,x); Display(sift.slp); StrongGenerators(S); x = ResultOfStraightLineProgram(sift.slp,StrongGenerators(S));