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

560962 views
LogTo("t-groups.log");
RequirePackage("carat");
names := [];
GROUPS := [];
R := CaratReadBravaisFile("ordnung.16/(2)^1(4)^2(8)^2/group.1138");
P1 := Group(R.generators);
Append(names,["ordnung.16/(2)^1(4)^2(8)^2/words.group.1138"]);
Append(GROUPS,[P1]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(32)^1/group.1139");
P2 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(32)^1/words.group.1139"]);
Append(GROUPS,[P2]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^1/group.1140");
P3 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^1/words.group.1140"]);
Append(GROUPS,[P3]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^1/group.1141");
P4 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^1/words.group.1141"]);
Append(GROUPS,[P4]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^1/group.1142");
P5 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^1/words.group.1142"]);
Append(GROUPS,[P5]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^1/group.1143");
P6 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^1/words.group.1143"]);
Append(GROUPS,[P6]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^1/group.1144");
P7 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^1/words.group.1144"]);
Append(GROUPS,[P7]);
R := CaratReadBravaisFile("ordnung.16/(2)^2(4)^2(8)^1/group.1145");
P8 := Group(R.generators);
Append(names,["ordnung.16/(2)^2(4)^2(8)^1/words.group.1145"]);
Append(GROUPS,[P8]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1146");
P9 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1146"]);
Append(GROUPS,[P9]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1147");
P10 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1147"]);
Append(GROUPS,[P10]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1148");
P11 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1148"]);
Append(GROUPS,[P11]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1149");
P12 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1149"]);
Append(GROUPS,[P12]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1150");
P13 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1150"]);
Append(GROUPS,[P13]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1151");
P14 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1151"]);
Append(GROUPS,[P14]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1152");
P15 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1152"]);
Append(GROUPS,[P15]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1153");
P16 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1153"]);
Append(GROUPS,[P16]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1154");
P17 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1154"]);
Append(GROUPS,[P17]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1155");
P18 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1155"]);
Append(GROUPS,[P18]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1156");
P19 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1156"]);
Append(GROUPS,[P19]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1157");
P20 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1157"]);
Append(GROUPS,[P20]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1158");
P21 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1158"]);
Append(GROUPS,[P21]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(4)^2(32)^1/group.1159");
P22 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(4)^2(32)^1/words.group.1159"]);
Append(GROUPS,[P22]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^2(32)^1/group.1160");
P23 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^2(32)^1/words.group.1160"]);
Append(GROUPS,[P23]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^2(32)^1/group.1161");
P24 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^2(32)^1/words.group.1161"]);
Append(GROUPS,[P24]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1162");
P25 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1162"]);
Append(GROUPS,[P25]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1163");
P26 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1163"]);
Append(GROUPS,[P26]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1164");
P27 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1164"]);
Append(GROUPS,[P27]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1165");
P28 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1165"]);
Append(GROUPS,[P28]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1166");
P29 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1166"]);
Append(GROUPS,[P29]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1167");
P30 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1167"]);
Append(GROUPS,[P30]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1168");
P31 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1168"]);
Append(GROUPS,[P31]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1169");
P32 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1169"]);
Append(GROUPS,[P32]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1170");
P33 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1170"]);
Append(GROUPS,[P33]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1171");
P34 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1171"]);
Append(GROUPS,[P34]);
R := CaratReadBravaisFile("ordnung.16/(2)^4(8)^3/group.1172");
P35 := Group(R.generators);
Append(names,["ordnung.16/(2)^4(8)^3/words.group.1172"]);
Append(GROUPS,[P35]);
R := CaratReadBravaisFile("ordnung.32/(2)^2(4)^2(8)^1/group.1173");
P36 := Group(R.generators);
Append(names,["ordnung.32/(2)^2(4)^2(8)^1/words.group.1173"]);
Append(GROUPS,[P36]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(32)^1/group.1174");
P37 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(32)^1/words.group.1174"]);
Append(GROUPS,[P37]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(32)^1/group.1175");
P38 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(32)^1/words.group.1175"]);
Append(GROUPS,[P38]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1176");
P39 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1176"]);
Append(GROUPS,[P39]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1177");
P40 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1177"]);
Append(GROUPS,[P40]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1178");
P41 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1178"]);
Append(GROUPS,[P41]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1179");
P42 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1179"]);
Append(GROUPS,[P42]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1180");
P43 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1180"]);
Append(GROUPS,[P43]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1181");
P44 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1181"]);
Append(GROUPS,[P44]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1182");
P45 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1182"]);
Append(GROUPS,[P45]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1183");
P46 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1183"]);
Append(GROUPS,[P46]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(4)^2(8)^1/group.1184");
P47 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(4)^2(8)^1/words.group.1184"]);
Append(GROUPS,[P47]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^3/group.1185");
P48 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(8)^3/words.group.1185"]);
Append(GROUPS,[P48]);
R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^3/group.1186");
P49 := Group(R.generators);
Append(names,["ordnung.32/(2)^4(8)^3/words.group.1186"]);
Append(GROUPS,[P49]);
R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^2(8)^1/group.1187");
P50 := Group(R.generators);
Append(names,["ordnung.64/(2)^4(4)^2(8)^1/words.group.1187"]);
Append(GROUPS,[P50]);
R := CaratReadBravaisFile("ordnung.8/(2)^1(4)^2(8)^2/min.228");
P51 := Group(R.generators);
Append(names,["ordnung.8/(2)^1(4)^2(8)^2/words.min.228"]);
Append(GROUPS,[P51]);
R := CaratReadBravaisFile("ordnung.8/(2)^1(4)^2(8)^2/min.229");
P52 := Group(R.generators);
Append(names,["ordnung.8/(2)^1(4)^2(8)^2/words.min.229"]);
Append(GROUPS,[P52]);
R := CaratReadBravaisFile("ordnung.8/(2)^1(4)^2(8)^2/min.230");
P53 := Group(R.generators);
Append(names,["ordnung.8/(2)^1(4)^2(8)^2/words.min.230"]);
Append(GROUPS,[P53]);
R := CaratReadBravaisFile("ordnung.8/(2)^2(4)^2(32)^1/min.231");
P54 := Group(R.generators);
Append(names,["ordnung.8/(2)^2(4)^2(32)^1/words.min.231"]);
Append(GROUPS,[P54]);
R := CaratReadBravaisFile("ordnung.8/(2)^2(4)^2(32)^1/min.232");
P55 := Group(R.generators);
Append(names,["ordnung.8/(2)^2(4)^2(32)^1/words.min.232"]);
Append(GROUPS,[P55]);
R := CaratReadBravaisFile("ordnung.8/(2)^2(4)^2(32)^1/min.233");
P56 := Group(R.generators);
Append(names,["ordnung.8/(2)^2(4)^2(32)^1/words.min.233"]);
Append(GROUPS,[P56]);
R := CaratReadBravaisFile("ordnung.8/(2)^2(4)^2(32)^1/min.234");
P57 := Group(R.generators);
Append(names,["ordnung.8/(2)^2(4)^2(32)^1/words.min.234"]);
Append(GROUPS,[P57]);
R := CaratReadBravaisFile("ordnung.8/(2)^4(8)^2(32)^1/min.235");
P58 := Group(R.generators);
Append(names,["ordnung.8/(2)^4(8)^2(32)^1/words.min.235"]);
Append(GROUPS,[P58]);
R := CaratReadBravaisFile("ordnung.8/(2)^4(8)^2(32)^1/min.236");
P59 := Group(R.generators);
Append(names,["ordnung.8/(2)^4(8)^2(32)^1/words.min.236"]);
Append(GROUPS,[P59]);
R := CaratReadBravaisFile("ordnung.8/(2)^4(8)^2(32)^1/min.237");
P60 := Group(R.generators);
Append(names,["ordnung.8/(2)^4(8)^2(32)^1/words.min.237"]);
Append(GROUPS,[P60]);
R := CaratReadBravaisFile("ordnung.8/(2)^4(8)^2(32)^1/min.238");
P61 := Group(R.generators);
Append(names,["ordnung.8/(2)^4(8)^2(32)^1/words.min.238"]);
Append(GROUPS,[P61]);
R := CaratReadBravaisFile("ordnung.8/(2)^4(8)^2(32)^1/min.239");
P62 := Group(R.generators);
Append(names,["ordnung.8/(2)^4(8)^2(32)^1/words.min.239"]);
Append(GROUPS,[P62]);
R := CaratReadBravaisFile("ordnung.8/(2)^4(8)^2(32)^1/min.240");
P63 := Group(R.generators);
Append(names,["ordnung.8/(2)^4(8)^2(32)^1/words.min.240"]);
Append(GROUPS,[P63]);
R := CaratReadBravaisFile("ordnung.8/(2)^4(8)^2(32)^1/min.241");
P64 := Group(R.generators);
Append(names,["ordnung.8/(2)^4(8)^2(32)^1/words.min.241"]);
Append(GROUPS,[P64]);
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();