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)^4(4)^4/group.1188");
P1 := Group(R.generators);
Append(names,["ordnung.128/(2)^4(4)^4/words.group.1188"]);
Append(GROUPS,[P1]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^4(8)^1/min.242");
P2 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^4(8)^1/words.min.242"]);
Append(GROUPS,[P2]);
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^4(8)^1/min.243");
P3 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^4(8)^1/words.min.243"]);
Append(GROUPS,[P3]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^2/group.1189");
P4 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^2/words.group.1189"]);
Append(GROUPS,[P4]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^2/group.1190");
P5 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^2/words.group.1190"]);
Append(GROUPS,[P5]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^2/group.1191");
P6 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^2/words.group.1191"]);
Append(GROUPS,[P6]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^2/group.1192");
P7 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^2/words.group.1192"]);
Append(GROUPS,[P7]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^2/group.1193");
P8 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^2/words.group.1193"]);
Append(GROUPS,[P8]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^2/group.1194");
P9 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^2/words.group.1194"]);
Append(GROUPS,[P9]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(8)^4/group.1195");
P10 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(8)^4/words.group.1195"]);
Append(GROUPS,[P10]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(16)^4/group.1196");
P11 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(16)^4/words.group.1196"]);
Append(GROUPS,[P11]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(16)^2/group.1197");
P12 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(16)^2/words.group.1197"]);
Append(GROUPS,[P12]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(16)^2/group.1198");
P13 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(16)^2/words.group.1198"]);
Append(GROUPS,[P13]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(16)^2/group.1199");
P14 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(16)^2/words.group.1199"]);
Append(GROUPS,[P14]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(16)^2/group.1200");
P15 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(16)^2/words.group.1200"]);
Append(GROUPS,[P15]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(16)^2/group.1201");
P16 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(16)^2/words.group.1201"]);
Append(GROUPS,[P16]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(16)^2/group.1202");
P17 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(16)^2/words.group.1202"]);
Append(GROUPS,[P17]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/group.1203");
P18 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.group.1203"]);
Append(GROUPS,[P18]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/group.1204");
P19 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.group.1204"]);
Append(GROUPS,[P19]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/group.1205");
P20 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.group.1205"]);
Append(GROUPS,[P20]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/group.1206");
P21 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.group.1206"]);
Append(GROUPS,[P21]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/group.1207");
P22 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.group.1207"]);
Append(GROUPS,[P22]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/group.1208");
P23 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.group.1208"]);
Append(GROUPS,[P23]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/min.244");
P24 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.min.244"]);
Append(GROUPS,[P24]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/min.245");
P25 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.min.245"]);
Append(GROUPS,[P25]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/min.246");
P26 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.min.246"]);
Append(GROUPS,[P26]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^4/min.247");
P27 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^4/words.min.247"]);
Append(GROUPS,[P27]);
R := CaratReadBravaisFile("ordnung.32/(2)^1(4)^4(8)^1/group.1209");
P28 := Group(R.generators);
Append(names,["ordnung.32/(2)^1(4)^4(8)^1/words.group.1209"]);
Append(GROUPS,[P28]);
R := CaratReadBravaisFile("ordnung.32/(2)^2(4)^2(8)^2/group.1210");
P29 := Group(R.generators);
Append(names,["ordnung.32/(2)^2(4)^2(8)^2/words.group.1210"]);
Append(GROUPS,[P29]);
R := CaratReadBravaisFile("ordnung.32/(2)^2(4)^2(8)^2/group.1211");
P30 := Group(R.generators);
Append(names,["ordnung.32/(2)^2(4)^2(8)^2/words.group.1211"]);
Append(GROUPS,[P30]);
R := CaratReadBravaisFile("ordnung.32/(2)^2(4)^4/group.1212");
P31 := Group(R.generators);
Append(names,["ordnung.32/(2)^2(4)^4/words.group.1212"]);
Append(GROUPS,[P31]);
R := CaratReadBravaisFile("ordnung.32/(2)^2(4)^4/group.1213");
P32 := Group(R.generators);
Append(names,["ordnung.32/(2)^2(4)^4/words.group.1213"]);
Append(GROUPS,[P32]);
R := CaratReadBravaisFile("ordnung.32/(2)^2(4)^4/group.1214");
P33 := Group(R.generators);
Append(names,["ordnung.32/(2)^2(4)^4/words.group.1214"]);
Append(GROUPS,[P33]);
R := CaratReadBravaisFile("ordnung.32/(2)^2(4)^4/group.1215");
P34 := Group(R.generators);
Append(names,["ordnung.32/(2)^2(4)^4/words.group.1215"]);
Append(GROUPS,[P34]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(16)^2/group.1216");
P35 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(16)^2/words.group.1216"]);
Append(GROUPS,[P35]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1217");
P36 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1217"]);
Append(GROUPS,[P36]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1218");
P37 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1218"]);
Append(GROUPS,[P37]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1219");
P38 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1219"]);
Append(GROUPS,[P38]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1220");
P39 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1220"]);
Append(GROUPS,[P39]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1221");
P40 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1221"]);
Append(GROUPS,[P40]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1222");
P41 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1222"]);
Append(GROUPS,[P41]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1223");
P42 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1223"]);
Append(GROUPS,[P42]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1224");
P43 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1224"]);
Append(GROUPS,[P43]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1225");
P44 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1225"]);
Append(GROUPS,[P44]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1226");
P45 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1226"]);
Append(GROUPS,[P45]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1227");
P46 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1227"]);
Append(GROUPS,[P46]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1228");
P47 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1228"]);
Append(GROUPS,[P47]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1229");
P48 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1229"]);
Append(GROUPS,[P48]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1230");
P49 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1230"]);
Append(GROUPS,[P49]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1231");
P50 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1231"]);
Append(GROUPS,[P50]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1232");
P51 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1232"]);
Append(GROUPS,[P51]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1233");
P52 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1233"]);
Append(GROUPS,[P52]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1234");
P53 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1234"]);
Append(GROUPS,[P53]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1235");
P54 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1235"]);
Append(GROUPS,[P54]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1236");
P55 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1236"]);
Append(GROUPS,[P55]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1237");
P56 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1237"]);
Append(GROUPS,[P56]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1238");
P57 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1238"]);
Append(GROUPS,[P57]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1239");
P58 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1239"]);
Append(GROUPS,[P58]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1240");
P59 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1240"]);
Append(GROUPS,[P59]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^2/group.1241");
P60 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^2/words.group.1241"]);
Append(GROUPS,[P60]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^4/group.1242");
P61 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(8)^4/words.group.1242"]);
Append(GROUPS,[P61]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^4/group.1243");
P62 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(8)^4/words.group.1243"]);
Append(GROUPS,[P62]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^4/group.1244");
P63 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(8)^4/words.group.1244"]);
Append(GROUPS,[P63]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^4/group.1245");
P64 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(8)^4/words.group.1245"]);
Append(GROUPS,[P64]);
R := CaratReadBravaisFile("ordnung.64/(2)^2(4)^4/group.1246");
P65 := Group(R.generators);
Append(names,["ordnung.64/(2)^2(4)^4/words.group.1246"]);
Append(GROUPS,[P65]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^2(8)^2/group.1247");
P66 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^2(8)^2/words.group.1247"]);
Append(GROUPS,[P66]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^2(8)^2/group.1248");
P67 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^2(8)^2/words.group.1248"]);
Append(GROUPS,[P67]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^2(8)^2/group.1249");
P68 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^2(8)^2/words.group.1249"]);
Append(GROUPS,[P68]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^2(8)^2/group.1250");
P69 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^2(8)^2/words.group.1250"]);
Append(GROUPS,[P69]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^2(8)^2/group.1251");
P70 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^2(8)^2/words.group.1251"]);
Append(GROUPS,[P70]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^4/group.1252");
P71 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^4/words.group.1252"]);
Append(GROUPS,[P71]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^4/group.1253");
P72 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^4/words.group.1253"]);
Append(GROUPS,[P72]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^4/group.1254");
P73 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^4/words.group.1254"]);
Append(GROUPS,[P73]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^4/group.1255");
P74 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^4/words.group.1255"]);
Append(GROUPS,[P74]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^4/group.1256");
P75 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^4/words.group.1256"]);
Append(GROUPS,[P75]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^4/group.1257");
P76 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^4/words.group.1257"]);
Append(GROUPS,[P76]);
R := CaratReadBravaisFile("ordnung.8/(2)^2(8)^4/min.248");
P77 := Group(R.generators);
Append(names,["ordnung.8/(2)^2(8)^4/words.min.248"]);
Append(GROUPS,[P77]);
R := CaratReadBravaisFile("ordnung.8/(2)^4(16)^4/min.249");
P78 := Group(R.generators);
Append(names,["ordnung.8/(2)^4(16)^4/words.min.249"]);
Append(GROUPS,[P78]);
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();