/* Group 357082280755200.a downloaded from the LMFDB on 13 September 2025. */ /* Various presentations of this group are stored in this file: GPC is polycyclic presentation GPerm is permutation group GLZ, GLFp, GLZA, GLZq, GLFq if they exist are matrix groups Many characteristics of the group are stored as booleans in a record: Agroup, Zgroup, abelian, almost_simple,cyclic, metabelian, metacyclic, monomial, nilpotent, perfect, quasisimple, rational, solvable, supersolvable */ /* Constructions */ GPerm := PermutationGroup< 28 | (1,16,7,20,11,18,24,5,25,28,9,21,13,2,15,8,19,12,17,23,6,26,27,10,22,14)(3,4), (1,24,11,26,8,20,22,18,3,13)(2,23,12,25,7,19,21,17,4,14)(5,15,6,16)(9,10) >; /* Booleans */ RF := recformat< Agroup, Zgroup, abelian, almost_simple, cyclic, metabelian, metacyclic, monomial, nilpotent, perfect, quasisimple, rational, solvable, supersolvable : BoolElt >; booleans_357082280755200_a := rec< RF | Agroup := false, Zgroup := false, abelian := false, almost_simple := false, cyclic := false, metabelian := false, metacyclic := false, monomial := false, nilpotent := false, perfect := true, quasisimple := false, rational := false, solvable := false, supersolvable := false>;