/* Group 17635968.c downloaded from the LMFDB on 02 November 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< 24 | (1,16,5,9,11,23,2,17,4,8,12,22,3,18,6,7,10,24)(13,21)(14,20)(15,19), (1,10,9,4,21,23,2,11,7,6,19,24,3,12,8,5,20,22)(13,17,14,16,15,18) >; /* Booleans */ RF := recformat< Agroup, Zgroup, abelian, almost_simple, cyclic, metabelian, metacyclic, monomial, nilpotent, perfect, quasisimple, rational, solvable, supersolvable : BoolElt >; booleans_17635968_c := rec< RF | Agroup := false, Zgroup := false, abelian := false, almost_simple := false, cyclic := false, metabelian := false, metacyclic := false, monomial := false, nilpotent := false, perfect := false, quasisimple := false, rational := false, solvable := false, supersolvable := false>;