1 | G := Group( |
---|
2 | (17,21) (18,22) (19,23) (20,24) (35,40) (36,39) (37,38), |
---|
3 | (16,17) (22,25) (23,26) (24,27) (32,35) (33,36) (34,37), |
---|
4 | (17,18) (21,22) (26,28) (27,29) (31,32) (36,38) (37,39), |
---|
5 | (18,19) (22,23) (25,26) (29,30) (32,33) (35,36) (39,40), |
---|
6 | (19,20) (23,24) (26,27) (28,29) (33,34) (36,37) (38,39) |
---|
7 | );; |
---|
8 | Size(G); |
---|
9 | dimQ:=16; |
---|
10 | minidx:=SmallestMovedPoint(G); |
---|
11 | maxidx:=LargestMovedPoint(G); |
---|
12 | |
---|
13 | |
---|
14 | |
---|
15 | XZorbitsRepresentatives:=[];; |
---|
16 | for k in [dimQ..(maxidx-minidx)] do |
---|
17 | Print("Considering faces of cardinality ",k,"\n"); |
---|
18 | XZ := Combinations([minidx..maxidx],k);; |
---|
19 | Print(Size(XZ)); |
---|
20 | Bahnen := OrbitsDomain(G,XZ,OnSets);; |
---|
21 | for i in [1..Size(Bahnen)] do |
---|
22 | Print(i); |
---|
23 | Append(XZorbitsRepresentatives,[Bahnen[i][1]]); |
---|
24 | od; |
---|
25 | od; |
---|
26 | |
---|
27 | PrintTo("simplexOrbitRepresentatives.sing","list simplexOrbitRepresentatives = "); |
---|
28 | for k in [1..Size(XZorbitsRepresentatives)-1] do |
---|
29 | s:=String(XZorbitsRepresentatives[k]); |
---|
30 | s:=s{[2..Size(s)-1]}; |
---|
31 | AppendTo ("simplexOrbitRepresentatives.sing","intvec(",s,"),\n"); |
---|
32 | od; |
---|
33 | s:=String(XZorbitsRepresentatives[Size(XZorbitsRepresentatives)]); |
---|
34 | s:=s{[2..Size(s)-1]}; |
---|
35 | AppendTo ("simplexOrbitRepresentatives.sing","intvec(",s,");\n"); |
---|
36 | |
---|
37 | |
---|
38 | PrintTo("simplexSymmetryGroup.sing","list simplexSymmetryGroup = "); |
---|
39 | elementsG:=Elements(G); |
---|
40 | for i in [1..Size(elementsG)-1] do |
---|
41 | sigma:=elementsG[i]; |
---|
42 | l:=ListPerm(sigma,maxidx); |
---|
43 | l:=l{[minidx..maxidx]}; |
---|
44 | s:=String(l); |
---|
45 | s:=s{[2..Size(s)-1]}; |
---|
46 | AppendTo ("simplexSymmetryGroup.sing","permutationFromIntvec(intvec(",s,")),\n"); |
---|
47 | od; |
---|
48 | sigma:=elementsG[Size(elementsG)]; |
---|
49 | l:=ListPerm(sigma,maxidx); |
---|
50 | l:=l{[minidx..maxidx]}; |
---|
51 | s:=String(l); |
---|
52 | s:=s{[2..Size(s)-1]}; |
---|
53 | AppendTo ("simplexSymmetryGroup.sing","permutationFromIntvec(intvec(",s,"));\n"); |
---|
54 | |
---|
55 | |
---|
56 | PrintTo("elementsInTermsOfGenerators.sing","list generatorsG = "); |
---|
57 | L:=GeneratorsOfGroup(G); |
---|
58 | for i in [1..Size(L)-1] do |
---|
59 | sigma:=L[i]; |
---|
60 | l:=ListPerm(sigma,maxidx); |
---|
61 | l:=l{[minidx..maxidx]}; |
---|
62 | s:=String(l); |
---|
63 | s:=s{[2..Size(s)-1]}; |
---|
64 | AppendTo ("elementsInTermsOfGenerators.sing","permutationFromIntvec(intvec(",s,")),\n"); |
---|
65 | od; |
---|
66 | sigma:=L[Size(L)]; |
---|
67 | l:=ListPerm(sigma,maxidx); |
---|
68 | l:=l{[minidx..maxidx]}; |
---|
69 | s:=String(l); |
---|
70 | s:=s{[2..Size(s)-1]}; |
---|
71 | AppendTo ("elementsInTermsOfGenerators.sing","permutationFromIntvec(intvec(",s,"));\n"); |
---|
72 | |
---|
73 | AppendTo("elementsInTermsOfGenerators.sing","list elementsInTermsOfGenerators = "); |
---|
74 | hom:=EpimorphismFromFreeGroup(G); |
---|
75 | AppendTo ("elementsInTermsOfGenerators.sing","\"\",\n"); |
---|
76 | for i in [2..Size(elementsG)-1] do |
---|
77 | sigma:=elementsG[i]; |
---|
78 | l:=PreImagesRepresentative(hom,sigma); |
---|
79 | s:=String(l); |
---|
80 | AppendTo ("elementsInTermsOfGenerators.sing","\"",s,"\",\n"); |
---|
81 | od; |
---|
82 | sigma:=elementsG[Size(elementsG)]; |
---|
83 | l:=PreImagesRepresentative(hom,sigma); |
---|
84 | s:=String(l); |
---|
85 | AppendTo ("elementsInTermsOfGenerators.sing","\"",s,"\";\n"); |
---|
86 | |
---|
87 | |
---|