source: git/doc/elementsInTermsOfGeneratorsG25.sing

spielwiese
Last change on this file was dfa25b, checked in by Janko Boehm <boehm@…>, 7 years ago
Example and GAP files for GIT-fan
  • Property mode set to 100644
File size: 3.6 KB
Line 
1list generatorsG = permutationFromIntvec(intvec( 1, 3, 2, 4, 6, 5, 7, 8, 10, 9 )),
2permutationFromIntvec(intvec( 5, 7, 1, 6, 9, 2, 8, 4, 10, 3 ));
3list elementsInTermsOfGenerators = "",
4"(x2^-1*x1^-1)^3",
5"x1^-1",
6"(x2^-1*x1^-1)^3*x1^-1",
7"x1*(x1*x2)^3",
8"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*(x1*x2)^2*(x1^-1*x2^-1)^2*x2^-1",
9"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2",
10"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*(x2^-1*x1^-1)^3",
11"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*x1^-1",
12"x2*(x2*x1)^2*x1*x2",
13"x2^-1*x1^-1*(x1^-1*x2^-1)^2*x2^-1",
14"(x1*x2)^2*(x1^-1*x2^-1)^2*x2^-1",
15"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*(x1*x2)^2",
16"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-3*x1^-1",
17"x1*(x2^-1*x1^-1)^2*x2^2*x1*x2^-2*(x1*x2)^2",
18"x2^2*(x1*x2*x1)^2*x2*x1*x2",
19"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-1*(x2^-1*x1^-1)^2",
20"x2*(x2*x1)^2",
21"(x1*x2)^2",
22"x2^-1*x1^-1",
23"x1*(x1*x2)^2",
24"x2^-1*(x1^-1*x2^-1*x1^-1)^2*x2^-3",
25"x1^-1*x2^-1*x1^-1",
26"x2^-1*x1^-1*x2^-1*(x1^-1*x2^-1*x1^-1)^2",
27"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*(x1*x2)^2*x1^-1",
28"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-3*x1^-2",
29"x2^-1*x1^-1*(x1^-1*x2^-1)^2*x2^-2",
30"(x1*x2*x1)^2*x2",
31"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*x1*x2^-1",
32"x2^2*x1*x2",
33"(x1*x2)^2*x1^-1",
34"x2^-1",
35"(x2*x1)^2",
36"x2^-1*(x2^-1*x1^-1)^2*x2^2*x1*x2^-2*(x1*x2)^2",
37"x1*x2^-1",
38"(x2^-1*x1^-1)^2*x2^-2",
39"x2^-1*x1^-1*x2^-1*(x1^-1*x2^-1*x1^-1)^2*x2^-2",
40"(x1^-1*x2^-1)^2*x2^-1",
41"x2^-1*(x1^-1*x2^-1*x1^-1)^2",
42"x1*x2*x1^-1*x2^-1*x1^-1",
43"x2^-1*x1^-1*x2^-2",
44"x1*x2*x1*x2^-1",
45"(x2*x1)^2*x1*x2^3*x1*x2^-2*(x1*x2)^2",
46"x2^-1*(x1*x2)^3",
47"x2*(x1*x2*x1)^2*x2*x1*x2",
48"x2^-1*x1*x2^3*x1*x2^-2*(x1*x2)^2",
49"x1*x2^-1*(x1*x2)^3",
50"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*x1*x2*x1*x2^-1",
51"(x2^-1*x1^-1)^2",
52"x1*x2",
53"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*(x2^-1*x1^-1)^2",
54"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*x1*x2",
55"x1*(x2^-1*x1^-1)^2",
56"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-3*x1^-1*(x1^-1*x2^-1)^2",
57"x2",
58"(x2^-1*x1^-1)^3*x2",
59"(x1*x2)^2*(x1^-1*x2^-1)^2",
60"x2^-1*x1^-1*(x1^-1*x2^-1)^2",
61"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-1",
62"x2^2*(x1*x2*x1)^2*x2",
63"(x2^-1*x1^-1)^2*x1^-1",
64"x1*x2*x1^-1",
65"(x2*x1)^2*(x2^-1*x1^-1)^2",
66"x2*x1*x2^-2*(x1*x2)^2",
67"(x1^-1*x2^-1)^2",
68"x2^-1*x1^-1*x2^-1*(x1^-1*x2^-1*x1^-1)^2*x2^-1",
69"x2*x1^-1",
70"(x2^-1*x1^-1)^3*x2*x1^-1",
71"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-1*(x2^-1*x1^-1)^2*x2^-1",
72"x2^-1*(x2^-1*x1^-1)^2",
73"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-1*x1^-1",
74"x1*x2^-1*(x2^-1*x1^-1)^2",
75"x2^3*(x1*x2*x1)^2*x2",
76"(x1*x2*x1)^2*x2*x1*x2",
77"(x2*x1)^2*x1*x2",
78"x2^-1*(x1^-1*x2^-1*x1^-1)^2*x2^-2",
79"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*(x1*x2)^2*x2",
80"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-3*x1^-1*x2",
81"x2*(x2*x1)^2*x2",
82"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-3*x1^-1*x2*x1^-1",
83"(x1*x2)^2*x2",
84"x2^-1*x1^-1*x2",
85"(x1*x2)^2*x2*x1^-1",
86"x2^-1*x1^-1*x2*x1^-1",
87"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-3*x1^-1*x2^-1*(x1^-1*x2^-1*x1^-1)^2*x2^-3",
88"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-1*(x2^-1*x1^-1)^2*x2^-3",
89"x2^-1*x1^-1*x2^-1*(x1^-1*x2^-1*x1^-1)^2*x2^-3",
90"x2^-1*(x1*x2)^2",
91"x2^3*(x1*x2*x1)^2*x2*x1*x2",
92"x1*x2*x1*(x2^-1*x1^-1)^2",
93"x2^-1*(x1^-1*x2^-1*x1^-1)^2*x2^-1",
94"x1*x2*(x1^-1*x2^-1)^2",
95"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-3*x1^-1*x2^2",
96"x2*(x1^-1*x2^-1)^2*x1^-1",
97"x2^-1*x1^-1*x2^2",
98"(x1*x2)^2*x2^2",
99"x2^2*(x2*x1)^2*x2^2*x1*x2^-2*(x1*x2)^2",
100"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-3*x1^-2*x2^-1*x1^-1",
101"(x1*x2)^2*x1^-1*x2^-1*x1^-1",
102"x2^-2*x1^-1",
103"(x2^-1*x1^-1)^2*x2",
104"x1*x2^2",
105"(x2*x1)^2*x2^-1*x1^-1",
106"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*x1*x2^2",
107"(x2^-1*x1^-1)^3*x2^2",
108"x2^2",
109"x1*x2^-2*x1^-1",
110"(x2^-1*x1^-1)^2*x2^2*x1^-1",
111"x2^-2*x1*x2^3*x1*x2^-2*(x1*x2)^2",
112"x2^-2*(x1*x2)^3",
113"(x1*x2)^2*x1*x2^-1",
114"x2^-2",
115"x2^-2*x1*x2",
116"x1*x2^2*x1^-1",
117"x2^-2*(x2^-1*x1^-1)^2",
118"x1*x2^-2*(x1*x2)^2",
119"(x2^-1*x1^-1)^2*x2^2*x1^-1*x2^-2*x1*x2^3",
120"x2^-3*x1^-1",
121"x1*x2^3",
122"(x2^-1*x1^-1)^2*x2^2";
Note: See TracBrowser for help on using the repository browser.