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
#############################################################################
##
#W  col4.z                 GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 204 ] :=
[ 6947933953, 103249150223, 21064099889183, 33620464, 21028749246735,
4277295094235167, 116876378143, 13794025216, 505413663, 35651825,
103250133023, 31 ]; 

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

SMALL_GROUP_LIB[ 208 ] :=
[ 405875911603295243, 178093707863616, 84199750798033327115, 1951325512058891
, 405864781769705483, 84422156641025329163, 84422156694024554507,
17559808592400732312587, 1951325511810059, 405864781769456651,
1951325511312395, 405875752608605195, 405864781768958987, 1951325515044875,
99608431659956269067, 20718553785301445852171, 20718553785301446101003,
4309459187342731227878411, 1951325514796043, 856142080560, 1700056306224,
354462900693552, 856143573552, 177237569499696, 36865417387845168,
7668006789843644976, 1594945412260598745648, 84199739668960416779,
17513545840007998952459, 404806494252524555, 84199739668963402763,
404806494253022219, 84199739668963900427, 404806494256008203,
405864728774212619, 9380895731723, 1951272520298507, 1951272519800843,
11068779921419, 478886637522327563, 478886637515360267, 99608420636113913867,
9380894985227, 9380902699019, 4077112452, 4080844932, 177233491141764,
852069445764, 1946186624388107, 44877348875, 11 ]; 

PROPERTIES_SMALL_GROUPS[ 208 ] := rec(
isNilpotent := [ 2, 20, -27, 45, -48, 51 ], 
isAbelian := [ 2, 20, 23, 45, 51 ], 
lgLength := rec( lgLength := [ 2, 3, 4, 5 ], pos := [ [ 50, -51 ], [ 11, -14,
19, -22, 30, -31, 34, -49 ], [ 4, -10, 15, -18, 23, -29, 32, -33 ], [ 1, -3 ]
] ),
frattFacs := rec( frattFacs := [ 5, 9, 14, 18, 22, 51, 55, 59 ], pos := [ 1,
2, 3, 19, 27, 34, 44, 48 ] ) );

SMALL_GROUP_LIB[ 210 ] :=
[ 421562939, 153467195, 29973535547, 829499, 3359291, 2032197, 710726459,
705163, 701436791, 421417917, 149262777275, 59 ]; 

PROPERTIES_SMALL_GROUPS[ 210 ] := rec(
isNilpotent := [ 12 ], 
isAbelian := [ 12 ], 
lgLength := rec( lgLength := [ 4 ], pos := [ [ 1, -12 ] ] ),
frattFacs := rec( frattFacs := [ ], pos := [ ] ) );

SMALL_GROUP_LIB[ 216 ] :=
[ 6943541992240246220487, 685784004821973, 6974364470109941032696,
1499808718914112934964935, 32146027741836273287, 6943558883861625630343,
32146027741836273223, 32146105943795494407, 3175121683787, 28193977273611,
1315418334585425355, 148792994395374931, 685784004854229, 146767217235902803,
31702373179148518739, 31998594038353683143, 148138872226734279, 3160424841946
, 6276960551514, 1355765885502170, 640411811114423328535542172,
1362057342222748, 148824202500171271, 14696842759, 6943117270994597077191,
7131565632752355789511, 152853840944316999, 33016429645639860935,
33016507559030966855, 152853840944317063, 152854201654462983,
33016507559030966919, 1479263540836628821625031, 31705751475408519303,
31705751475408521223, 6848442318688097059015, 6848442318688097060999,
32288724398658053816, 6974369204126510771896, 32288724398658053752,
6974369204126510771832, 32288746315406405176, 32143998861428444363,
152177638474025419, 688856449991819, 148814809540906123, 3175121715595,
704526101285259, 31701718793034189003, 679477854126219, 146767216633759883,
6847717318768052980939, 146770246196315275, 31702394994295884939,
688856449991755, 3175121715531, 688957448834059, 3261692152075,
679477854126155, 679477854128139, 146770246196315211, 146770347195157515,
6911713141187294587591, 148141639049732743, 31998671949932849799,
31997996009598773447, 685828103757959, 148138870414796935, 148141639049732679
, 148141999759878663, 685828103757895, 685828103759879, 14696841549,
14697889869, 3145729048909, 43553655053, 14697891853, 3174585862413,
2032082909923789, 685739512694989, 148113472655198669, 3174920389209,
685827491414355, 148138872218378439, 14629733468,
138975360681987652375843102919, 322465254535911458532665351,
69972125047958294525946259655, 63547442898835398812,
2964901048765953792405788, 13726247666201523187996, 13726393744286558580764,
2964869495899934048450844, 2964869495887467905874076, 13726393744404127799324
, 35503867621567611923, 3950287436814468115, 6096132967399577,
164369757440032787, 32144061439784542279, 707656663319047, 146785886460887047
, 6305818083612, 1362056805417244, 6305818083484, 1362056805417116,
6305818148892, 3189147485191, 14696874503, 3145736437767, 679491886171143,
685840913195527, 3175130095623, 67109383, 75497479, 14571012615,
31996564866833891667, 20730854387464337285319, 9408193265803,
2032170285957323, 9408193267723, 2032170285959307, 438948782307313867,
2057103779201159, 2057103779201095, 444334418027774151, 2057103779203079,
444334418027776135, 444334418027776071, 95976234295719528647,
444334157108519047, 444334157108520967, 20730854434427992713415,
149484835184862776, 685739511679181, 14696874125, 3174719064205, 14696874061,
14696876045, 148138608279210187, 3175121731723, 685826887436427,
3175121731659, 3175121733643, 31997996009590417607, 685828095402119,
148138870406441095, 685828095402055, 685828095404039, 67108942, 67110926,
3145593784526, 701877802289202019676077281529158051,
1492831727010882911256915, 967273359933665699058606279, 95981597375214289031,
31995227828971653131, 20732017637464760051719, 967314632016603712576743559,
322458626810434058164422859, 208939960514703826854576842951, 28222835425287,
294201124553023516, 63547442898816528412, 13726247666145414674460,
28222834507801, 18288367695544339, 148132244773453899, 95976177719728726087,
43553947655, 9523620642823, 2057102571249671, 29193142300, 67141639,
14696890375, 3175121739783, 7 ]; 

PROPERTIES_SMALL_GROUPS[ 216 ] := rec(
isNilpotent := [ 2, 9, -11, 18, -20, 24, 73, -81, 85, 114, -116, 150, -152,
177 ], 
isSupersolvable := [ 1, -2, 4, -20, 23, -24, 26, -37, 43, -85, 101, -102, 108
, -116, 119, -133, 135, -152, 162, 170, -172, 174, -177 ], 
isAbelian := [ 2, 9, 18, 24, 73, 85, 114, 150, 177 ], 
lgLength := rec( lgLength := [ 2, 3, 4, 5, 6 ], pos := [ [ 162, 171, -172,
176, -177 ], [ 101, -102, 110, 112, -116, 124, -134, 145, -152, 156, 158,
-159, 161, 165, 169, -170, 173, -175 ], [ 23, -24, 26, -42, 49, -51, 59, -60,
63, -81, 84, -85, 87, -88, 92, -95, 99, -100, 103, -109, 111, 118, -123, 135,
-144, 153, 155, 157, 160, 163, -164, 166, -168 ], [ 3, -11, 14, 16, -22, 25,
43, -48, 52, -58, 61, -62, 82, -83, 86, 89, -91, 96, -98, 117, 154 ], [ 1, -2
, 12, -13, 15 ] ] ),
frattFacs := rec( frattFacs := [ 10, 19, 29, 38, 47, 30, 39, 48, 112, 121,
130, 139, 86, 95, 104, 113, 122, 131, 114, 123, 132, 141, 358, 367, 376, 385,
394, 403, 412, 421, 430, 439, 448, 457, 332, 341, 350, 359, 368, 377, 386,
395, 404, 413 ], pos := [ 1, 2, 3, 8, 11, 15, 17, 20, 21, 22, 23, 24, 25, 37,
42, 62, 72, 81, 82, 83, 84, 85, 86, 87, 88, 92, 95, 99, 100, 102, 107, 111,
113, 116, 117, 118, 123, 130, 133, 134, 139, 144, 149, 152 ] ) );

SMALL_GROUP_LIB[ 220 ] :=
[ 1992659530309, 3436810309, 3405130903, 10194250309, 2267725290039, 5130390,
9060160039, 17920039, 744578890903, 1801341415530039, 37218240039, 46400039,
15680093, 10307040039, 39 ]; 

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

SMALL_GROUP_LIB[ 224 ] :=
[ 619725958093328559557, 554812850654461584, 2766633729281914757,
619708620203977686917, 31095369553240112659558277, 31096231732338796621328261
, 6965362779925785570394416581, 2766633729281588165, 619708620203977360325,
623557634379844436933, 138814730696924241008261, 864945809123606545541,
193751693075421989772485, 193755542089597856849093, 193747861014899250923141,
43399520867337746259655877, 2766633729281868101, 619708620203977640261,
2766633729281774789, 623557787115458151365, 619708620203977546949,
138826260939219240604613, 138818562604711369129157, 138818562681421632519365,
31095358006120189878932933, 2783740118019050885, 619760093475628195205,
43400379197499307068487109, 193747861014899247750533,
43399520867337746256483269, 43399520867108642839224197,
9777057539449301965935182597, 2190060888836643640672193100101,
2190060888836643640672193146757, 490573639099408175510873956263365,
2783740118019004229, 2766633729282894533, 193747861014899250876485,
193747861014899202914117, 864945809123561709125, 43399520867108642839084229,
43399520867108642791121861, 43399520867108642839177541, 9829970169360120,
2476841336559864, 552336009319063800, 9829970170013304, 552357828889059960,
123728142766094550648, 27715103968699957342968, 123728142765998625912,
27715103968699861418232, 27715103968699862071416, 2201935332635857656,
125370388960387907832, 125370399918996963576, 28082959784954890102008,
2476841337213048, 552336009319716984, 6235404074453019464254008,
1396730512677476340413233272, 312867634839754700232974230776,
619725725565343777733, 139676909871291090457541, 139676892764902354441157,
12427405149914501, 2766632701914928517, 2766632701913435525,
623557633352477777285, 623557556984670920069, 627406571160537996677,
3861441581064720197, 864962991537643757381, 864980174294186537669,
17238577029601541, 3861365213259309317, 3861441923524192517,
3861441923524099205, 3861518633787489413, 864980097926381126789,
864962915169838346501, 1727159349688408898501, 193751710028390152539077,
193751692921658959989701, 193755559042566019615685, 3861441581064766853,
864945808096187864453, 864945808096186371461, 864962914827380413829,
864962991195187271045, 864980097926379820421, 864963067905450661253,
193751692845291154578821, 12351037343337221, 2766556334108351237,
2766556334106858245, 619725725907808008965, 619725726250264541957,
138818562603684001163141, 138818562680394264506693, 3861365213258189573,
864945731728379794181, 193747861014214291667717, 43399520867184325686732677,
866062610904524861957, 193998024842748192539141, 43455557564775729084860933,
193998024842748189739781, 43455557564775729083554565,
43455557564775729083461253, 9734044894509763448630698757,
43455557564775729080661893, 9734044894509763448629299077,
2180426056370187012626856660869, 12351037343197253, 2766556334108211269,
12351037343010629, 2766632701914881861, 623557556642214247109,
2766556334108024645, 2766556334107931333, 12351037345949957,
12351037344456965, 2783739090652344581, 2783739090652251269,
864945808096910565893, 43454450165594514237247109, 193747861013872551630917,
17238577029461573, 3861441581067519557, 1727159349688411697861,
17238577032400901, 3861441581067566213, 3861441581068965893,
864962914484925187205, 193747861013872551770885, 9733796837093171343053563781
, 43399520867107616139931973, 386875996378888528202693, 864945731728378067909
, 864962914484923880837, 193751692844948698045829, 3861365213258049605,
193993081096403394224645, 193747861013872551677573,
43454450165594514237200453, 12351037345809989, 12427405154113541,
11056453919604, 21966142013172, 4931422999079796, 4931422999173108,
4920464390117364, 1107104487389774964, 11056458258612, 2476743495894324,
554790639905438580, 2476743495987636, 554790590983216692,
124273092477024031860, 554790688827940404, 554779681296522804,
124270648707204600948, 11056454572788, 2465784884552436, 2465784930835188,
552335862755257524, 123723233260321186548, 27714004250315078930292,
123723233260321326516, 123720789490504694964, 27713456845875529345332,
2206867000911646608, 2766555991654664261, 55135526072837, 12350694892589573,
12350694892402949, 76955663499269, 3861364871523891461, 17238234578853893,
3861364871518292741, 864945731386644376325, 864945731385927460229,
17238234620844293, 3861364870807441925, 193747843830772832835461,
55135525746245, 55135531671557, 48922408542, 48923854878, 2465735961537246,
11007533097246, 2465736015144990, 123720778531742887326, 9852088426169400,
244635697157, 5 ]; 

PROPERTIES_SMALL_GROUPS[ 224 ] := rec(
isNilpotent := [ 2, 44, -62, 149, -172, 189, -194, 197 ], 
isSupersolvable := [ 1, -172, 174, -194, 196, -197 ], 
isAbelian := [ 2, 45, 58, 149, 164, 189, 197 ], 
lgLength := rec( lgLength := [ 2, 3, 4, 5, 6 ], pos := [ [ 196, -197 ], [ 37,
44, 63, -93, 117, -125, 129, -135, 139, -142, 147, -163, 174, -195 ], [ 8,
-16, 19, -31, 36, 38, -43, 45, -57, 94, -116, 126, -128, 136, -138, 143, -146
, 164, -173 ], [ 3, -7, 17, -18, 32, -35, 58, -62 ], [ 1, -2 ] ] ),
frattFacs := rec( frattFacs := [ 6, 11, 17, 22, 63, 68, 209, 214, 219 ],
pos := [ 1, 2, 43, 62, 148, 172, 173, 188, 194 ] ) );