Quelle perf0.grp Sprache: unbekannt

#############################################################################
##
##  This file is part of GAP, a system for computational discrete algebra.
##  This file's authors include Volkmar Felsch, Alexander Hulpke.
##
##  Copyright of GAP belongs to its developers, whose names are too numerous
##  to list here. Please refer to the COPYRIGHT file for details.
##
##  SPDX-License-Identifier: GPL-2.0-or-later
##
##  Data is based on Holt/Plesken: Perfect Groups, OUP 1989 and
##  Hulpke: The perfect groups of order up to 10^6
##

##  The  1097  nontrivial
##  perfect groups of the library  have been ordered by increasing
##  size,  and each library group  G  is charcterized by the pair  [size, n],
##  where size is the group size of G  and n is its number within the list of
##  library groups of that size.  We denote this pair as the 'size number' of
##  G.  Another number  associated with  G  is the Holt-Plesken number  which
##  consists of a triple [k,i,j]  which means that, in the Holt-Plesken book,
##  G occurs under the number  (i,j) in class k.  As G may occur in more than
##  one of these classes it may have more than one such Holt-Plesken numbers.
##
##  489 of the library groups  are given by  explixit presentations  on file.
##  The essential information about each ot these group  is available in form
##  of a function which allows to construct the group as a finitely presented
##  group.  The list  of all  these functions  has been broken  into 12 parts
##  which are provided  in 12 separate  secondary files.  Whenever a group is
##  needed  and the associated function  is not available,  the corresponding
##  part of the list will be loaded into the list PERFFun.
##
##  The record  PERFRec  provides certain reference lists and some additional
##  information. It contains the following components:
##
##  The  following  components of  PERFRec  are  general  lists  of different
##  lengths.
##
##     PERFRec.covered
##        is a list  which in its n-th entry  provides the  number of perfect
##        group sizes covered by the first n function files.  It is needed by
##        subroutine PERFLoad.
##
##     PERFRec.notKnown
##        is a list of all sizes less than 10^6  for which the perfect groups
##        have  not  yet   been  determined.   It  is  needed  by  subroutine
##        NumberPerfectGroups.
##
##     PERFRec.sizeNumberSimpleGroup
##        is an ordered list of the  'size numbers'  of all nonabelian simple
##        groups which occur as composition factor of any library group.
##
##     PERFRec.nameSimpleGroup
##        is a list  which contains  one or two names  (as text strings)  for
##        each simple group in the preceding list.
##
##     PERFRec.numberSimpleGroup
##        is a list which,  for each simple group name in the preceding list,
##        contains  the number  of the  respective group  with respect to the
##        list PERFRec.sizeNumberSimpleGroup.
##
##     PERFRec.sizes
##        is an ordered list of all occurring group sizes.
##
##  The remaining lists are all parallel to the preceding
##  list  of all  occurring  group sizes.  We assume  in the  following  that
##  PERFRec.sizes[i] = s(i).
##
##     PERFRec.number[i]
##        is the number of perfect groups of size s(i).
##
##  PERFGRP is the actual storage of groups. It is a list whose i-th entry
##  is a list of all perfect groups of size s(i). (The list might be longer
##  than number[i], then this group is just used as intermediate storage.)
##  Each group is represented either by 'fail' if no information is
##  available or by a list l giving information about this group.
##  We list the entries of 'l':
##
##   l[1] (source) information on how to construct the group. It is of one of
##   the following forms:
##      [1,namesgens,wordfunc,subgrpindices] where namesgens is a list of
##      characters giving names for the generators,
##      wordfunc is a function that gets |namesgens| free generators as
##      arguments and returns a list [relators,subgrpgens], where relators
##      are defining relators and subgrpgens is a list whose entries are
##      lists of subgroup generators. (It is a function to allow storage
##      of *terms* in unexpanded form.)
##      subgrpindices is a list that gives the indices of the subgroups
##      defined in wordfunc.
##      A further component 'auxiliaryGens' might be added.
##
##      [2,<size1>,<n1>,<size2>,<n2>], if G is given as a direct product,
##
##      [3,<size1>,<n1>,<size2>,<n2>,<string1>,<string2>...], if G is given
##         as a central product,
##
##      [4,<size1>,<n1>,<size2>,<n2>,<size0>]  or
##
##      [4,<size1>,<n1>,<size2>,<n2>,<size0>,<n1'>,<n2'>], if G is given as
##         a subdirect product.
##
##   The entries 2.. might be missing if the group is not actually a library
##   group but only used as part of some construction.
##
##   l[2] (description)
##      is a descriptive name as given in the Holt-Plesken book.
##
##   l[3] (hpNumber)
##      is either a class
##      number k or a list [k,i,j] or [k,i,j,k2,...,kn]. The triple [k,i,j]
##      means that the respective group  is listed in the k-th class of the
##      Holt-Plesken book under the number (i,j).  If the group also occurs
##      in some  additional  classes,  then  their  numbers  are  given  as
##      k2, ..., kn.
##
##   l[4] (centre)
##      gives the size of the groups centre, a negative index indicating the
##      group is simple or quasisimple
##
##   l[5] (simpleFactors)
##      is the 'size number'
##      (if there is only one) or a list of the 'size numbers' (if there is
##      more than one) of its nonabelian composition factors.
##
##   l[6] (orbitSize)
##      is a list of
##      the orbit sizes  of the  faithful  permutation representation  of G
##      which  is offered  by the  library  or,  if that  representation is
##      transitive,  i. e.,  if there is  only one orbit,  just the size of
##      that orbit.
##

PERFRec := MakeImmutable(rec(

length:=453,

covered:=[38,59,70,71,80,113,151,158,201,249,295,331,331,331,331,331,
331,331,331,331,331,331,331,354,370,380,381,395,420,434,435,450,451,453],

notKnown := [],

nameSimpleGroup := [
"A(5)","A(6)","A(7)","A(8)","A(9)","A5","A6","A7","A8","A9","J(1)",
"J(2)","J1","J2","L(2,101)","L(2,103)","L(2,107)","L(2,109)",
"L(2,11)","L(2,113)","L(2,121)","L(2,125)","L(2,13)","L(2,16)",
"L(2,17)","L(2,19)","L(2,23)","L(2,25)","L(2,27)","L(2,29)",
"L(2,31)","L(2,32)","L(2,37)","L(2,4)","L(2,41)","L(2,43)",
"L(2,47)","L(2,49)","L(2,5)","L(2,53)","L(2,59)","L(2,61)",
"L(2,64)","L(2,67)","L(2,7)","L(2,71)","L(2,73)","L(2,79)",
"L(2,8)","L(2,81)","L(2,83)","L(2,89)","L(2,9)","L(2,97)","L(3,2)",
"L(3,3)","L(3,4)","L(3,5)","L2(101)","L2(103)","L2(107)","L2(109)",
"L2(11)","L2(113)","L2(121)","L2(125)","L2(13)","L2(16)","L2(17)",
"L2(19)","L2(23)","L2(25)","L2(27)","L2(29)","L2(31)","L2(32)",
"L2(37)","L2(4)","L2(41)","L2(43)","L2(47)","L2(49)","L2(5)",
"L2(53)","L2(59)","L2(61)","L2(64)","L2(67)","L2(7)","L2(71)",
"L2(73)","L2(79)","L2(8)","L2(81)","L2(83)","L2(89)","L2(9)",
"L2(97)","L3(2)","L3(3)","L3(4)","L3(5)","M(11)","M(12)","M(22)",
"M11","M12","M22","S(4,4)","Sp4(4)","Sz(8)","U(3,3)","U(3,4)",
"U(3,5)","U(4,2)","U3(3)","U3(4)","U3(5)","U4(2)",
"PSL(2,127)", "PSL(2,131)", "PSL(2,137)", "PSL(2,139)", "PSp(6,2)",
  "PSL(2,149)", "PSL(2,151)", "A10", "PSL(3,7)", "PSL(2,157)"],

numberSimpleGroup := [
1,3,8,19,38,1,3,8,19,38,36,50,36,50,48,49,51,52,5,53,54,55,6,10,7,9,
13,14,16,17,18,24,21,1,25,26,27,28,1,30,32,33,41,35,2,37,39,40,4,42,
43,44,3,47,2,11,20,45,48,49,51,52,5,53,54,55,6,10,7,9,13,14,16,17,18,
24,21,1,25,26,27,28,1,30,32,33,41,35,2,37,39,40,4,42,43,44,3,47,2,11,
20,45,15,31,46,15,31,46,56,56,23,12,29,34,22,12,29,34,22,
57, 58, 59, 60, 61, 62, 63, 64, 65, 66],

sizeNumberSimpleGroup := [
[60,1],[168,1],[360,1],[504,1],[660,1],[1092,1],[2448,1],[2520,1],
[3420,1],[4080,1],[5616,1],[6048,1],[6072,1],[7800,1],[7920,1],
[9828,1],[12180,1],[14880,1],[20160,4],[20160,5],[25308,1],[25920,1],
[29120,1],[32736,1],[34440,1],[39732,1],[51888,1],[58800,1],[62400,1],
[74412,1],[95040,1],[102660,1],[113460,1],[126000,1],[150348,1],
[175560,1],[178920,1],[181440,1],[194472,1],[246480,1],[262080,1],
[265680,1],[285852,1],[352440,1],[372000,1],[443520,1],[456288,1],
[515100,1],[546312,1],[604800,1],[612468,1],[647460,1],[721392,1],
[885720,1],[976500,1],[979200,1],
[ 1024128, 1 ], [ 1123980, 1 ], [ 1285608, 1 ], [ 1342740, 1 ],
[ 1451520, 1 ], [ 1653900, 1 ], [ 1721400, 1 ], [ 1814400, 1 ],
[ 1876896, 1 ], [ 1934868, 1 ]],

sizes := [
1,60,120,168,336,360,504,660,720,960,1080,1092,1320,1344,1920,2160,
2184,2448,2520,2688,3000,3420,3600,3840,4080,4860,4896,5040,5376,
5616,5760,6048,6072,6840,7200,7500,7560,7680,7800,7920,9720,9828,
10080,10752,11520,12144,12180,14400,14520,14580,14880,15000,15120,
15360,15600,16464,17280,19656,20160,21504,21600,23040,24360,25308,
25920,28224,29120,29160,29760,30240,30720,32256,32736,34440,34560,
37500,39600,39732,40320,43008,43200,43320,43740,46080,48000,50616,
51840,51888,56448,57600,57624,58240,58320,58800,60480,61440,62400,
64512,64800,65520,68880,69120,74412,75000,77760,79200,79464,79860,
80640,84672,86016,86400,87480,92160,95040,96000,100920,102660,103776,
110880,112896,113460,115200,115248,115320,116480,117600,120000,120960,
122472,122880,126000,129024,129600,131040,131712,138240,144060,146880,
148824,150348,151200,151632,155520,158400,159720,160380,161280,169344,
172032,174960,175560,178920,180000,181440,183456,184320,187500,190080,
192000,194472,201720,205200,205320,216000,221760,223608,225792,226920,
230400,232320,233280,237600,240000,241920,243000,244800,244944,245760,
246480,254016,258048,259200,262080,262440,263424,265680,276480,285852,
288120,291600,293760,300696,302400,311040,320760,322560,332640,336960,
344064,345600,352440,357840,360000,362880,363000,364320,366912,367416,
368640,369096,372000,375000,378000,384000,387072,388800,388944,393120,
393660,410400,411264,411540,417720,423360,432000,435600,443520,446520,
447216,450000,451584,453600,456288,460800,460992,464640,466560,468000,
475200,480000,483840,489600,491520,492960,504000,515100,516096,518400,
524880,531360,544320,546312,550368,552960,571704,574560,583200,587520,
589680,600000,604800,604920,607500,612468,622080,626688,633600,645120,
647460,665280,673920,675840,677376,685440,688128,691200,693120,699840,
704880,712800,720720,721392,725760,728640,729000,730800,733824,734832,
737280,748920,768000,774144,777600,786240,787320,806736,816480,820800,
822528,823080,846720,864000,871200,874800,878460,881280,885720,887040,
892800,900000,903168,907200,912576,921600,921984,929280,933120,936000,
937500,943488,950400,950520,960000,962280,967680,976500,979200,979776,
983040,987840,
1008000, 1008420, 1016064, 1020096, 1024128, 1030200, 1036800, 1044480,
1048320, 1053696, 1080000, 1083000, 1088640, 1092624, 1100736, 1102248,
1105920, 1123980, 1125000, 1149120, 1166400, 1176120, 1179360, 1180980,
1192464, 1200000, 1209600, 1215000, 1224120, 1224936, 1231200, 1233792,
1244160, 1253376, 1260000, 1267200, 1270080, 1277760, 1285608, 1290240,
1294920, 1296000, 1310400, 1330560, 1342740, 1350000, 1351680, 1354752,
1370880, 1376256, 1382400, 1386240, 1399680, 1414944, 1425600, 1425720,
1441440, 1442784, 1451520, 1457280, 1461600, 1463340, 1467648, 1468800,
1474560, 1512000, 1518480, 1536000, 1548288, 1555200, 1572480,
1574640, 1592136, 1614720, 1615680, 1632960, 1645056, 1651104, 1653900,
1658880, 1663200, 1693440, 1713660, 1721400, 1723680, 1728000, 1728720,
1742400, 1747200, 1749600, 1756920, 1762560, 1771440, 1774080, 1785600,
1787460, 1788864, 1800000, 1806336, 1814400, 1815000, 1822500, 1837080,
1843200, 1843968, 1845120, 1858560, 1866240, 1872000, 1875000, 1876896,
1886976, 1920000, 1924560, 1934868, 1935360, 1953000, 1959552, 1964160,
1966080, 1975680, 1980000 ],

newlyAdded:=[61440,86016,122880,172032,245760,344064,368640,491520,
            688128,737280,983040],

number:=[ 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 7, 1, 1, 1, 1, 3, 1, 1,
  1, 7, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 5, 1, 1, 3, 1, 1, 9, 4, 1, 1,
  1, 1, 1, 1, 3, 1, 7, 1, 1, 1, 1, 5, 22, 1, 3, 1, 1, 1, 1, 1, 4, 1, 1, 37,
  2, 1, 1, 4, 1, 1, 1, 4, 25, 3, 1, 1, 1, 3, 1, 1, 1, 2, 2, 2, 1, 2, 1, 3,
  98, 1, 4, 1, 1, 1, 4, 1, 4, 4, 3, 1, 1, 6, 1, 52, 1, 8, 2, 1, 3, 1, 1, 1,
  1, 1, 1, 15, 3, 1, 1, 1, 4, 5, 2, 258, 1, 6, 4, 3, 2, 2, 1, 1, 1, 1, 1, 1,
  18, 1, 3, 1, 12, 1, 154, 8, 1, 1, 1, 3, 1, 19, 1, 1, 2, 1, 1, 1, 1, 1, 3, 1,
  2, 1, 26, 3, 3, 1, 17, 5, 3, 1, 2, 582, 1, 1, 4, 3, 2, 7, 1, 1, 2, 1, 3, 2,
  3, 1, 3, 18, 1, 27, 1, 1, 291, 3, 1, 1, 1, 6, 1, 1, 3, 3, 46, 1, 1, 11, 1, 1,
  2, 2, 1, 1, 4, 3, 1, 1, 1, 1, 3, 1, 2, 1, 1, 3, 8, 1, 1, 25, 4, 3, 18, 1,
  4, 17, 6, 1, 1004, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 19, 1, 1, 7, 1, 1, 2, 3, 1,
  4, 1, 12, 1, 2, 41, 1, 1, 1, 3, 2, 1, 508, 23, 3, 2, 1, 1, 1, 1, 2, 3, 3, 1,
  1, 3, 54, 1, 13, 2, 5, 3, 16, 2, 2, 1, 3, 2, 3, 3, 3, 1, 3, 1, 1, 3, 1, 7,
  6, 4, 1, 23, 8, 2, 21, 3, 8, 1, 2, 1, 12, 1, 20, 1, 1, 4, 1880, 1,
  1, 1, 1, 1, 1, 1, 3, 4, 2, 9, 1, 1, 1, 1, 1, 3, 49, 1, 1, 3, 4, 3, 4, 14,
  1, 17, 8, 9, 1, 1, 1, 1, 15, 4, 2, 15, 2, 2, 1, 88, 1, 1, 1, 2, 1, 1, 8, 3,
  1, 1639, 38, 3, 21, 1, 3, 1, 3, 1, 3, 1, 3, 1, 2, 1, 26, 1, 1, 33, 1,  3,
  1, 4, 1, 3, 1, 7, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 2, 1, 8, 8, 3, 1, 9, 3,
  1, 4, 3, 13, 6, 3, 2, 1, 113, 3, 3, 1, 13, 1, 22, 1, 1, 15, 2, 1, 26, 1, 6,
  1, 7344, 1, 1],

));

IsSSortedList( PERFRec.covered );
IsSSortedList( PERFRec.notKnown );
IsSSortedList( PERFRec.nameSimpleGroup );
IsSSortedList( PERFRec.sizeNumberSimpleGroup );
IsSSortedList( PERFRec.sizes );

Quelle perf0.grp Sprache: unbekannt

[ Dauer der Verarbeitung: 0.22 Sekunden (vorverarbeitet) ]