Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

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

561019 views
LogTo("t-groups.log");
RequirePackage("carat");
names := [];
GROUPS := [];
R := CaratReadBravaisFile("ordnung.128/(2)^6(4)^2(8)^1/group.1258");
P1 := Group(R.generators);
Append(names,["ordnung.128/(2)^6(4)^2(8)^1/words.group.1258"]);
Append(GROUPS,[P1]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^2(8)^2/group.1259");
P2 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^2(8)^2/words.group.1259"]);
Append(GROUPS,[P2]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^6(8)^2/group.1260");
P3 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^6(8)^2/words.group.1260"]);
Append(GROUPS,[P3]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^6(8)^2/group.1261");
P4 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^6(8)^2/words.group.1261"]);
Append(GROUPS,[P4]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^6(8)^2/group.1262");
P5 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^6(8)^2/words.group.1262"]);
Append(GROUPS,[P5]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^6(8)^2/group.1263");
P6 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^6(8)^2/words.group.1263"]);
Append(GROUPS,[P6]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^6(8)^2/min.250");
P7 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^6(8)^2/words.min.250"]);
Append(GROUPS,[P7]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^6(8)^2/min.251");
P8 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^6(8)^2/words.min.251"]);
Append(GROUPS,[P8]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^6(8)^2/min.252");
P9 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^6(8)^2/words.min.252"]);
Append(GROUPS,[P9]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^1/group.1264");
P10 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^1/words.group.1264"]);
Append(GROUPS,[P10]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^1/group.1265");
P11 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^1/words.group.1265"]);
Append(GROUPS,[P11]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^1/group.1266");
P12 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^1/words.group.1266"]);
Append(GROUPS,[P12]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1267");
P13 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1267"]);
Append(GROUPS,[P13]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1268");
P14 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1268"]);
Append(GROUPS,[P14]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1269");
P15 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1269"]);
Append(GROUPS,[P15]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1270");
P16 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1270"]);
Append(GROUPS,[P16]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/min.253");
P17 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.min.253"]);
Append(GROUPS,[P17]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/min.254");
P18 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.min.254"]);
Append(GROUPS,[P18]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/min.255");
P19 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.min.255"]);
Append(GROUPS,[P19]);
R := CaratReadBravaisFile("ordnung.32/(2)^1(4)^6(8)^2/group.1271");
P20 := Group(R.generators);
Append(names,["ordnung.32/(2)^1(4)^6(8)^2/words.group.1271"]);
Append(GROUPS,[P20]);
R := CaratReadBravaisFile("ordnung.32/(2)^1(4)^6(8)^2/group.1272");
P21 := Group(R.generators);
Append(names,["ordnung.32/(2)^1(4)^6(8)^2/words.group.1272"]);
Append(GROUPS,[P21]);
R := CaratReadBravaisFile("ordnung.32/(2)^2(4)^2(8)^1/group.1273");
P22 := Group(R.generators);
Append(names,["ordnung.32/(2)^2(4)^2(8)^1/words.group.1273"]);
Append(GROUPS,[P22]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1274");
P23 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1274"]);
Append(GROUPS,[P23]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1275");
P24 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1275"]);
Append(GROUPS,[P24]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1276");
P25 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1276"]);
Append(GROUPS,[P25]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1277");
P26 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1277"]);
Append(GROUPS,[P26]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1278");
P27 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1278"]);
Append(GROUPS,[P27]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1279");
P28 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1279"]);
Append(GROUPS,[P28]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1280");
P29 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1280"]);
Append(GROUPS,[P29]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1281");
P30 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1281"]);
Append(GROUPS,[P30]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1282");
P31 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1282"]);
Append(GROUPS,[P31]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1283");
P32 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1283"]);
Append(GROUPS,[P32]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1284");
P33 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1284"]);
Append(GROUPS,[P33]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1285");
P34 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1285"]);
Append(GROUPS,[P34]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1286");
P35 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1286"]);
Append(GROUPS,[P35]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1287");
P36 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1287"]);
Append(GROUPS,[P36]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1288");
P37 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1288"]);
Append(GROUPS,[P37]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1289");
P38 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1289"]);
Append(GROUPS,[P38]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1290");
P39 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1290"]);
Append(GROUPS,[P39]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1291");
P40 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1291"]);
Append(GROUPS,[P40]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1292");
P41 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1292"]);
Append(GROUPS,[P41]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1293");
P42 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1293"]);
Append(GROUPS,[P42]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1294");
P43 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1294"]);
Append(GROUPS,[P43]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^4(8)^1/group.1295");
P44 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^4(8)^1/words.group.1295"]);
Append(GROUPS,[P44]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^3/group.1296");
P45 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(8)^3/words.group.1296"]);
Append(GROUPS,[P45]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^3/group.1297");
P46 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(8)^3/words.group.1297"]);
Append(GROUPS,[P46]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^2(8)^1/group.1298");
P47 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^2(8)^1/words.group.1298"]);
Append(GROUPS,[P47]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^4(8)^1/group.1299");
P48 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^4(8)^1/words.group.1299"]);
Append(GROUPS,[P48]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^4(8)^1/group.1300");
P49 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^4(8)^1/words.group.1300"]);
Append(GROUPS,[P49]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^4(8)^1/group.1301");
P50 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^4(8)^1/words.group.1301"]);
Append(GROUPS,[P50]);
R := CaratReadBravaisFile("ordnung.64/(2)^6(4)^2(8)^1/group.1302");
P51 := Group(R.generators);
Append(names,["ordnung.64/(2)^6(4)^2(8)^1/words.group.1302"]);
Append(GROUPS,[P51]);
R := CaratReadBravaisFile("ordnung.64/(2)^6(4)^2(8)^1/group.1303");
P52 := Group(R.generators);
Append(names,["ordnung.64/(2)^6(4)^2(8)^1/words.group.1303"]);
Append(GROUPS,[P52]);
R := CaratReadBravaisFile("ordnung.64/(2)^6(4)^2(8)^1/group.1304");
P53 := Group(R.generators);
Append(names,["ordnung.64/(2)^6(4)^2(8)^1/words.group.1304"]);
Append(GROUPS,[P53]);
R := CaratReadBravaisFile("ordnung.64/(2)^6(4)^2(8)^1/group.1305");
P54 := Group(R.generators);
Append(names,["ordnung.64/(2)^6(4)^2(8)^1/words.group.1305"]);
Append(GROUPS,[P54]);
R := CaratReadBravaisFile("ordnung.64/(2)^6(4)^2(8)^1/group.1306");
P55 := Group(R.generators);
Append(names,["ordnung.64/(2)^6(4)^2(8)^1/words.group.1306"]);
Append(GROUPS,[P55]);
R := CaratReadBravaisFile("ordnung.64/(2)^6(4)^2(8)^1/group.1307");
P56 := Group(R.generators);
Append(names,["ordnung.64/(2)^6(4)^2(8)^1/words.group.1307"]);
Append(GROUPS,[P56]);
R := CaratReadBravaisFile("ordnung.8/(2)^1(4)^2(8)^2/min.256");
P57 := Group(R.generators);
Append(names,["ordnung.8/(2)^1(4)^2(8)^2/words.min.256"]);
Append(GROUPS,[P57]);
R := CaratReadBravaisFile("ordnung.8/(2)^1(4)^2(8)^2/min.257");
P58 := Group(R.generators);
Append(names,["ordnung.8/(2)^1(4)^2(8)^2/words.min.257"]);
Append(GROUPS,[P58]);
R := CaratReadBravaisFile("ordnung.8/(2)^1(4)^2(8)^2/min.258");
P59 := Group(R.generators);
Append(names,["ordnung.8/(2)^1(4)^2(8)^2/words.min.258"]);
Append(GROUPS,[P59]);
Print(GROUPS,"\n");
Print(names,"\n");
Size(GROUPS);
Size(names);
Read("../../TGROUPS.GAP");
for i in [1..Size(GROUPS)] do
   SubgroupWords(GROUPS[i], names[i]);
od;
LogTo();