CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
#############################################################################
##
#W  col10.z                GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 1449 ] :=
[ 174639040119, 19310436111, 367325007, 11263 ]; 

PROPERTIES_SMALL_GROUPS[ 1449 ] := rec(
isNilpotent := [ 2, 4 ], 
isAbelian := [ 2, 4 ], 
lgLength := rec( lgLength := [ 3, 4 ], pos := [ [ 3, -4 ], [ 1, -2 ] ] ),
frattFacs := rec( frattFacs := [ 3, 5 ], pos := [ 1, 2 ] ) );

SMALL_GROUP_LIB[ 1450 ] :=
[ 1993665111000839, 12329803901855, 2967765992679147047, 9127644063,
8516675999, 963783719, 12348065331615, 1373711926023, 17904788877820319, 2463
]; 

PROPERTIES_SMALL_GROUPS[ 1450 ] := rec(
isNilpotent := [ 4, 10 ], 
isAbelian := [ 4, 10 ], 
lgLength := rec( lgLength := [ 3, 4 ], pos := [ [ 5, 8, -10 ], [ 1, -4, 6, -7
] ] ),
frattFacs := rec( frattFacs := [ 3, 5, 7, 9 ], pos := [ 1, 2, 3, 4 ] ) );

SMALL_GROUP_LIB[ 1452 ] :=
[ 3461436224309091, 45516592547450501099, 66090506603421719300199,
2973696900199, 606914586728903200199, 10365121350619900, 31326119546400199,
2383885200991, 45485789632944800199, 1639200199, 264802993339883230640100199,
335355696234019398501099, 58796115712101099, 21428646501909,
31323922451301099, 2383884909901, 31114430073709019, 45482335966025700199,
594739300199, 246707089253647145288452476900199,
139232721542094941240492901099, 261344867274407673226028800199,
335355917136811440000199, 230961223302163200199, 66039988384847276901099,
95890489564831192035300199, 21572921600199, 26183334400919,
417985250963200199, 31323922544000199, 45482283232624000199, 40493670400199,
7138528019900, 286129529295691210099, 14758400199, 21572832000199, 1651200991
, 21428652800919, 31323922454400199, 199 ]; 

PROPERTIES_SMALL_GROUPS[ 1452 ] := rec(
isNilpotent := [ 4, 10, 19, 40 ], 
isSupersolvable := [ 1, -5, 7, -10, 14, -19, 27, -31, 35, -40 ], 
isAbelian := [ 4, 10, 19, 40 ], 
lgLength := rec( lgLength := [ 3, 4, 5 ], pos := [ [ 22, -24, 27, 29, -34, 36
, -37, 39, -40 ], [ 5, -13, 15, -16, 18, -21, 25, -26, 28, 35, 38 ], [ 1, -4,
14, 17 ] ] ),
frattFacs := rec( frattFacs := [ 5, 9, 13, 17, 22, 26, 30, 34, 38, 42, 23, 27
, 31, 35, 39, 43, 47, 51, 55 ], pos := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11,
12, 13, 14, 15, 16, 17, 18, 19 ] ) );

SMALL_GROUP_LIB[ 1456 ] :=
[ 48368150692475218152197, 106393979405625629730059,
155412610937733081369342023, 604851133931331711047,
154851561659191005927302411, 225464376752704961895260418119,
628254536729568912433223, 628254536729568909447239,
914738605478802138161147975, 914738605063953033839468615,
914738605063953033836482631, 1331859408973116166932897263687,
1332984336372436828520444608583, 1331859409576721898779647107143,
1332984336976042560366818218055, 1940825193758268022585787905695815,
1940825193758268022585787902709831, 1331859409576721613855811657799,
1939187300343706670038522514436167, 1332984337580062856393958740039,
1940825195516571104605717612523591, 2825841482112038240885167202556506183,
1939187300343707084887626928681031, 1940825194637117553590201012514887,
628254951293749482270791, 628254536729568996040775, 628254951293749571850311,
914739209913662345964073031, 914738605478517214409306183,
914739209083964137135583303, 914739209498813241549828167,
73072787943049380299, 106393920060061132636619, 154909633836877569776009675,
154909633836918273181073867, 225548426866553043492017230283,
73072787943046394315, 106393920060061129650635, 73132011397396877771,
106393979283515480134091, 106480267897233643065803, 73072787943121043915,
183032732590510974794375627, 266495658651784008151919243723,
266495658651784008151922229707, 388017678996997515898041385570763,
73132011397486457291, 33219883658704841285, 48368118737171297987141,
70424027312551062573017669, 70424027312572979791129157,
102537383767106277530055703109, 33219883658701855301, 48368118737171295001157
, 33251773211036154437, 48368150626723629300293, 48414613726418024725061,
33219883658776504901, 98547165864364589342706245,
143484673498514852148086594117, 143484673498514852148089580101,
208913684613837624737674845715013, 33251773211125733957,
106739430588321942822983, 155412610522314129376763975,
226280761524095385641403506759, 226280761524095670565238956103,
329464788779083296624131950571591, 106739430588321939836999,
155412610522314129373777991, 106739845152502512660551,
155412610936878309946601543, 155413214957174337087123527,
106739430588322026430535, 1864540655736567077269250261063,
2714771194752441664780732222525511, 2714771194752441664780732225511495,
3952706859559555063921022815497941063, 106739845152502602240071,
415418952094101575, 829983132762476615, 1208870575187049492551,
415418952100073543, 604435714979336147015, 880058401294679760715847,
1281365032285333772102651975, 1865667487007446252217620033607,
155412052965118003682783303, 155412052965118003772362823,
226279949116797229344357003335, 155412052965118003688755271,
226279949116797229344273395783, 226279949116797229344362975303,
329463605914056351341226910347335, 154851561599846028405985739,
225463873689315493423421542859, 106354094546820006465995,
154851561599846028477649355, 106354094546820024381899,
154851561599846028495565259, 106354094546820096045515,
225464376752289543114403541063, 328276132551333160207219691679815,
154851907110373702231437383, 225464376752289543114487148615,
154851907110373702237409351, 225464376752289543114493120583,
154851907110373702321016903, 915511220035729202600828999,
914738605063668110099570759, 1332984336372021979415940784199,
914738605063668110096584775, 1332984336372021979415937798215,
1331859408972701032904743120967, 1940825193757664002289760672608327,
628254536444645166563399, 915511220035729202690408519,
1332984336372021979415845232711, 431493500123460550727,
628785178595788986925127, 628254536444645262114887,
915511220035729202785960007, 431493500123454578759, 628254536444645256142919,
915511220035729202779988039, 431493500123451592775, 628785178595788977967175,
628254536444645068025927, 431493500123544158279, 628254536444645160591431,
628254536444645157605447, 914738605063668109995061319, 431857952153388712007,
431493500123639709767, 628785178595789166084167, 106393920019357808186075,
50187299984917211, 73072747239817495259, 73072747239811523291,
59298603702682331, 125709294320888097743579, 125709294320887918584539,
183032732531246813670630107, 50187299975959259, 50187300164076251,
48368118715254160479797, 22815825594828341, 33219861741659899445,
33219861741653927477, 31927129312593461, 67683493016784450037301,
67683493016784270878261, 98547165832453116422088245, 22815825585870389,
22815825773987381, 155412610522029205633880135, 73310048091915042887,
106739430303398292504647, 106739430303398286532679, 604070646144555810887,
1280591109708895570956853319, 1280591109708895570777694279,
1864540655736152228164746436679, 73310048091906084935, 73310048092094201927,
284923838435399, 284923931000903, 604435430055494725703, 415134028357189703,
502804107755146319074571, 106739047366557472493639, 46485912430225514304,
73045396116929876699, 106354331806968884072519, 296355243969478727,
34442871570503, 15656684617865, 50350114357641287, 71 ]; 

PROPERTIES_SMALL_GROUPS[ 1456 ] := rec(
isNilpotent := [ 4, 80, -87, 166, -169, 179 ], 
isSupersolvable := [ 1, -169, 171, 173, -179 ], 
isAbelian := [ 4, 80, 83, 166, 179 ], 
lgLength := rec( lgLength := [ 3, 4, 5, 6 ], pos := [ [ 175, -179 ], [ 25,
-31, 39, -42, 47, 55, -58, 63, 71, -74, 79, -82, 88, -90, 97, -98, 101, 104,
-105, 108, -174 ], [ 7, -24, 32, -38, 43, -46, 48, -54, 59, -62, 64, -70, 75,
-78, 83, -87, 91, -96, 99, -100, 102, -103, 106, -107 ], [ 1, -6 ] ] ),
frattFacs := rec( frattFacs := [ 5, 9, 13, 17, 22, 26, 30, 34, 38, 42, 46,
131, 139, 143, 147, 151, 155, 159, 163 ], pos := [ 1, 2, 3, 4, 5, 6, 31, 47,
63, 79, 87, 94, 101, 108, 135, 145, 155, 165, 169 ] ) );

SMALL_GROUP_LIB[ 1460 ] :=
[ 60335918788035, 1427306207530247, 2086803748438216991, 5022213083423,
2082922609385426183, 88008867695406531, 4448220926112108816961823,
4448220927578587190071583, 9379919771155705172255, 3041069936347233718559,
4400414617633055, 977778376991, 42138211323, 1429315485106463, 287 ]; 

PROPERTIES_SMALL_GROUPS[ 1460 ] := rec(
isNilpotent := [ 4, 15 ], 
isAbelian := [ 4, 15 ], 
lgLength := rec( lgLength := [ 3, 4 ], pos := [ [ 11, -15 ], [ 1, -10 ] ] ),
frattFacs := rec( frattFacs := [ 3, 5, 7, 9 ], pos := [ 1, 2, 3, 4 ] ) );

SMALL_GROUP_LIB[ 1464 ] :=
[ 1840508553947730941016059, 1257216054198883416059, 27362047765923144001,
1612194265011197016059, 2360253546238726224000119, 3417914948688000119,
3454807886882610448176216059, 2694504521841190734672003659,
1257177976231852803659, 1840508553172977734403659, 1257177976231075203659,
1257177976242739203659, 2359923595436659709016059,
3454928144856870031440000119, 1666769771798035200119, 1666769771797257600119,
2440150947513422928000119, 1666769771808921600119, 2440150947513434592000119,
2440150947513433814400119, 3572380987161251140022400119, 224600144198403659,
224600155084803659, 481378899353562345603659, 58764786124881813952104000,
87094818808777374986259363540, 2360251266851572560003659, 1101224630188803659
, 1612193487869203203659, 1101224629411203659, 1101224641075203659,
40057981861268304212401, 18689972141012401, 27362009555424212401,
18689971363412401, 18689983027412401, 3455411188282352789328000119,
1612195042210732800119, 2360253543907281580800119, 1612195042209955200119,
1612195042221619200119, 2331457084800119, 2331468748800119,
5000416560901353600119, 2359841452797259324803659, 2360251044589640457600119,
80033952394617766347600, 117169710628909531392428400, 224577946828800119,
3334747989333197016059, 484710233311306137816059, 1611969674420592003659,
2359923596213858467200119, 1138502847283200119, 159252480000119,
55968885965228400, 331086225818419416059, 751771238400119, 12839731203541,
1101224678400000119, 119 ]; 

PROPERTIES_SMALL_GROUPS[ 1464 ] := rec(
isNilpotent := [ 6, 42, -44, 61 ], 
isSupersolvable := [ 1, -24, 27, -46, 49, 52, -55, 58, -61 ], 
isAbelian := [ 6, 42, 61 ], 
lgLength := rec( lgLength := [ 3, 4, 5 ], pos := [ [ 49, 54, -55, 58, -61 ],
[ 8, -12, 15, -48, 50, -53, 56, -57 ], [ 1, -7, 13, -14 ] ] ),
frattFacs := rec( frattFacs := [ 4, 7, 10, 13, 16, 19, 23, 26, 29, 32, 35, 38
, 41, 44, 47, 50, 53, 56 ], pos := [ 1, 2, 3, 4, 5, 6, 7, 12, 13, 14, 21, 24,
25, 26, 31, 36, 41, 44 ] ) );