1HAP_GCOMPLEX_SETUP:=[false];
2if IsBound(x) then HAP_GCOMPLEX_SETUP[2]:=x;fi;
3x:=(-1+Sqrt(-43))/2;
4
5HAP_GCOMPLEX_LIST := [
6[
7rec( TheMatrixStab := Group([
8[[ 1, 0 ],[ 0, 1]]
9,
10[[ -1, 0 ],[ 0, -1]]
11,
12[[ 1, 1 ],[ -1, 0]]
13,
14[[ -1, -1 ],[ 1, 0]]
15,
16[[ 0, 1 ],[ -1, -1]]
17,
18[[ 0, -1 ],[ 1, 1]]
19]),
20TheRotSubgroup := Group([
21[[ 1, 0 ],[ 0, 1]]
22,
23[[ -1, 0 ],[ 0, -1]]
24,
25[[ 1, 1 ],[ -1, 0]]
26,
27[[ -1, -1 ],[ 1, 0]]
28,
29[[ 0, 1 ],[ -1, -1]]
30,
31[[ 0, -1 ],[ 1, 1]]
32]),
33BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
34),
35rec( TheMatrixStab := Group([
36[[ 1, 0 ],[ 0, 1]]
37,
38[[ -1, 0 ],[ 0, -1]]
39,
40[[ x + 2, x - 4 ],[ -2, -x - 1]]
41,
42[[ -x - 2, -x + 4 ],[ 2, x + 1]]
43,
44[[ x + 1, x - 4 ],[ -2, -x - 2]]
45,
46[[ -x - 1, -x + 4 ],[ 2, x + 2]]
47,
48[[ x + 2, x - 2 ],[ -3, -x - 2]]
49,
50[[ -x - 2, -x + 2 ],[ 3, x + 2]]
51,
52[[ x - 3, -x - 6 ],[ -x - 2, -x + 3]]
53,
54[[ -x + 3, x + 6 ],[ x + 2, x - 3]]
55,
56[[ 5, 2*x + 4 ],[ x - 1, -5]]
57,
58[[ -5, -2*x - 4 ],[ -x + 1, 5]]
59]),
60TheRotSubgroup := Group([
61[[ 1, 0 ],[ 0, 1]]
62,
63[[ -1, 0 ],[ 0, -1]]
64,
65[[ x + 2, x - 4 ],[ -2, -x - 1]]
66,
67[[ -x - 2, -x + 4 ],[ 2, x + 1]]
68,
69[[ x + 1, x - 4 ],[ -2, -x - 2]]
70,
71[[ -x - 1, -x + 4 ],[ 2, x + 2]]
72,
73[[ x + 2, x - 2 ],[ -3, -x - 2]]
74,
75[[ -x - 2, -x + 2 ],[ 3, x + 2]]
76,
77[[ x - 3, -x - 6 ],[ -x - 2, -x + 3]]
78,
79[[ -x + 3, x + 6 ],[ x + 2, x - 3]]
80,
81[[ 5, 2*x + 4 ],[ x - 1, -5]]
82,
83[[ -5, -2*x - 4 ],[ -x + 1, 5]]
84]),
85BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
86),
87rec( TheMatrixStab := Group([
88[[ 1, 0 ],[ 0, 1]]
89,
90[[ -1, 0 ],[ 0, -1]]
91,
92[[ x - 1, -3 ],[ -x - 3, -x + 1]]
93,
94[[ -x + 1, 3 ],[ x + 3, x - 1]]
95,
96[[ x + 2, x - 2 ],[ -3, -x - 2]]
97,
98[[ -x - 2, -x + 2 ],[ 3, x + 2]]
99,
100[[ 4, x + 3 ],[ x - 2, -4]]
101,
102[[ -4, -x - 3 ],[ -x + 2, 4]]
103,
104[[ x + 3, x - 1 ],[ -4, -x - 2]]
105,
106[[ -x - 3, -x + 1 ],[ 4, x + 2]]
107,
108[[ -3, -x - 2 ],[ -x + 1, 4]]
109,
110[[ 3, x + 2 ],[ x - 1, -4]]
111,
112[[ 0, -1 ],[ 1, 1]]
113,
114[[ 0, 1 ],[ -1, -1]]
115,
116[[ -x + 2, 4 ],[ x + 2, x - 1]]
117,
118[[ x - 2, -4 ],[ -x - 2, -x + 1]]
119,
120[[ x + 2, x - 1 ],[ -4, -x - 3]]
121,
122[[ -x - 2, -x + 1 ],[ 4, x + 3]]
123,
124[[ x - 1, -4 ],[ -x - 2, -x + 2]]
125,
126[[ -x + 1, 4 ],[ x + 2, x - 2]]
127,
128[[ 1, 1 ],[ -1, 0]]
129,
130[[ -1, -1 ],[ 1, 0]]
131,
132[[ 4, x + 2 ],[ x - 1, -3]]
133,
134[[ -4, -x - 2 ],[ -x + 1, 3]]
135]),
136TheRotSubgroup := Group([
137[[ 1, 0 ],[ 0, 1]]
138,
139[[ -1, 0 ],[ 0, -1]]
140,
141[[ x - 1, -3 ],[ -x - 3, -x + 1]]
142,
143[[ -x + 1, 3 ],[ x + 3, x - 1]]
144,
145[[ x + 2, x - 2 ],[ -3, -x - 2]]
146,
147[[ -x - 2, -x + 2 ],[ 3, x + 2]]
148,
149[[ 4, x + 3 ],[ x - 2, -4]]
150,
151[[ -4, -x - 3 ],[ -x + 2, 4]]
152,
153[[ x + 3, x - 1 ],[ -4, -x - 2]]
154,
155[[ -x - 3, -x + 1 ],[ 4, x + 2]]
156,
157[[ -3, -x - 2 ],[ -x + 1, 4]]
158,
159[[ 3, x + 2 ],[ x - 1, -4]]
160,
161[[ 0, -1 ],[ 1, 1]]
162,
163[[ 0, 1 ],[ -1, -1]]
164,
165[[ -x + 2, 4 ],[ x + 2, x - 1]]
166,
167[[ x - 2, -4 ],[ -x - 2, -x + 1]]
168,
169[[ x + 2, x - 1 ],[ -4, -x - 3]]
170,
171[[ -x - 2, -x + 1 ],[ 4, x + 3]]
172,
173[[ x - 1, -4 ],[ -x - 2, -x + 2]]
174,
175[[ -x + 1, 4 ],[ x + 2, x - 2]]
176,
177[[ 1, 1 ],[ -1, 0]]
178,
179[[ -1, -1 ],[ 1, 0]]
180,
181[[ 4, x + 2 ],[ x - 1, -3]]
182,
183[[ -4, -x - 2 ],[ -x + 1, 3]]
184]),
185BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
186),
187rec( TheMatrixStab := Group([
188[[ 1, 0 ],[ 0, 1]]
189,
190[[ -1, 0 ],[ 0, -1]]
191,
192[[ x - 3, -x - 6 ],[ -x - 2, -x + 3]]
193,
194[[ -x + 3, x + 6 ],[ x + 2, x - 3]]
195]),
196TheRotSubgroup := Group([
197[[ 1, 0 ],[ 0, 1]]
198,
199[[ -1, 0 ],[ 0, -1]]
200,
201[[ x - 3, -x - 6 ],[ -x - 2, -x + 3]]
202,
203[[ -x + 3, x + 6 ],[ x + 2, x - 3]]
204]),
205BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
206),
207rec( TheMatrixStab := Group([
208[[ 1, 0 ],[ 0, 1]]
209,
210[[ -1, 0 ],[ 0, -1]]
211,
212[[ 4, x + 2 ],[ x - 1, -3]]
213,
214[[ -4, -x - 2 ],[ -x + 1, 3]]
215,
216[[ 3, x + 2 ],[ x - 1, -4]]
217,
218[[ -3, -x - 2 ],[ -x + 1, 4]]
219]),
220TheRotSubgroup := Group([
221[[ 1, 0 ],[ 0, 1]]
222,
223[[ -1, 0 ],[ 0, -1]]
224,
225[[ 4, x + 2 ],[ x - 1, -3]]
226,
227[[ -4, -x - 2 ],[ -x + 1, 3]]
228,
229[[ 3, x + 2 ],[ x - 1, -4]]
230,
231[[ -3, -x - 2 ],[ -x + 1, 4]]
232]),
233BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
234),
235rec( TheMatrixStab := Group([
236[[ 1, 0 ],[ 0, 1]]
237,
238[[ -1, 0 ],[ 0, -1]]
239,
240[[ 0, 1 ],[ -1, 0]]
241,
242[[ 0, -1 ],[ 1, 0]]
243]),
244TheRotSubgroup := Group([
245[[ 1, 0 ],[ 0, 1]]
246,
247[[ -1, 0 ],[ 0, -1]]
248,
249[[ 0, 1 ],[ -1, 0]]
250,
251[[ 0, -1 ],[ 1, 0]]
252]),
253BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
254),
255rec( TheMatrixStab := Group([
256[[ 1, 0 ],[ 0, 1]]
257,
258[[ -1, 0 ],[ 0, -1]]
259,
260[[ x + 1, -5 ],[ -2, -x]]
261,
262[[ -x - 1, 5 ],[ 2, x]]
263,
264[[ x, -5 ],[ -2, -x - 1]]
265,
266[[ -x, 5 ],[ 2, x + 1]]
267,
268[[ 2*x + 1, -14 ],[ -3, -2*x - 1]]
269,
270[[ -2*x - 1, 14 ],[ 3, 2*x + 1]]
271,
272[[ x - 6, -4*x - 9 ],[ -x - 2, -x + 6]]
273,
274[[ -x + 6, 4*x + 9 ],[ x + 2, x - 6]]
275,
276[[ x + 7, 4*x - 5 ],[ x - 1, -x - 7]]
277,
278[[ -x - 7, -4*x + 5 ],[ -x + 1, x + 7]]
279]),
280TheRotSubgroup := Group([
281[[ 1, 0 ],[ 0, 1]]
282,
283[[ -1, 0 ],[ 0, -1]]
284,
285[[ x + 1, -5 ],[ -2, -x]]
286,
287[[ -x - 1, 5 ],[ 2, x]]
288,
289[[ x, -5 ],[ -2, -x - 1]]
290,
291[[ -x, 5 ],[ 2, x + 1]]
292,
293[[ 2*x + 1, -14 ],[ -3, -2*x - 1]]
294,
295[[ -2*x - 1, 14 ],[ 3, 2*x + 1]]
296,
297[[ x - 6, -4*x - 9 ],[ -x - 2, -x + 6]]
298,
299[[ -x + 6, 4*x + 9 ],[ x + 2, x - 6]]
300,
301[[ x + 7, 4*x - 5 ],[ x - 1, -x - 7]]
302,
303[[ -x - 7, -4*x + 5 ],[ -x + 1, x + 7]]
304]),
305BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
306),
307rec( TheMatrixStab := Group([
308[[ 1, 0 ],[ 0, 1]]
309,
310[[ -1, 0 ],[ 0, -1]]
311,
312[[ 2*x - 7, -6*x - 20 ],[ -x - 3, -2*x + 7]]
313,
314[[ -2*x + 7, 6*x + 20 ],[ x + 3, 2*x - 7]]
315,
316[[ 2*x + 1, -14 ],[ -3, -2*x - 1]]
317,
318[[ -2*x - 1, 14 ],[ 3, 2*x + 1]]
319,
320[[ 2*x + 9, 6*x - 14 ],[ x - 2, -2*x - 9]]
321,
322[[ -2*x - 9, -6*x + 14 ],[ -x + 2, 2*x + 9]]
323,
324[[ 3*x + 2, -24 ],[ -4, -3*x - 1]]
325,
326[[ -3*x - 2, 24 ],[ 4, 3*x + 1]]
327,
328[[ -x - 8, -6*x + 4 ],[ -x + 1, x + 9]]
329,
330[[ x + 8, 6*x - 4 ],[ x - 1, -x - 9]]
331,
332[[ -x, 10 ],[ 1, x + 1]]
333,
334[[ x, -10 ],[ -1, -x - 1]]
335,
336[[ -x + 8, 6*x + 10 ],[ x + 2, x - 7]]
337,
338[[ x - 8, -6*x - 10 ],[ -x - 2, -x + 7]]
339,
340[[ 3*x + 1, -24 ],[ -4, -3*x - 2]]
341,
342[[ -3*x - 1, 24 ],[ 4, 3*x + 2]]
343,
344[[ x - 7, -6*x - 10 ],[ -x - 2, -x + 8]]
345,
346[[ -x + 7, 6*x + 10 ],[ x + 2, x - 8]]
347,
348[[ x + 1, -10 ],[ -1, -x]]
349,
350[[ -x - 1, 10 ],[ 1, x]]
351,
352[[ x + 9, 6*x - 4 ],[ x - 1, -x - 8]]
353,
354[[ -x - 9, -6*x + 4 ],[ -x + 1, x + 8]]
355]),
356TheRotSubgroup := Group([
357[[ 1, 0 ],[ 0, 1]]
358,
359[[ -1, 0 ],[ 0, -1]]
360,
361[[ 2*x - 7, -6*x - 20 ],[ -x - 3, -2*x + 7]]
362,
363[[ -2*x + 7, 6*x + 20 ],[ x + 3, 2*x - 7]]
364,
365[[ 2*x + 1, -14 ],[ -3, -2*x - 1]]
366,
367[[ -2*x - 1, 14 ],[ 3, 2*x + 1]]
368,
369[[ 2*x + 9, 6*x - 14 ],[ x - 2, -2*x - 9]]
370,
371[[ -2*x - 9, -6*x + 14 ],[ -x + 2, 2*x + 9]]
372,
373[[ 3*x + 2, -24 ],[ -4, -3*x - 1]]
374,
375[[ -3*x - 2, 24 ],[ 4, 3*x + 1]]
376,
377[[ -x - 8, -6*x + 4 ],[ -x + 1, x + 9]]
378,
379[[ x + 8, 6*x - 4 ],[ x - 1, -x - 9]]
380,
381[[ -x, 10 ],[ 1, x + 1]]
382,
383[[ x, -10 ],[ -1, -x - 1]]
384,
385[[ -x + 8, 6*x + 10 ],[ x + 2, x - 7]]
386,
387[[ x - 8, -6*x - 10 ],[ -x - 2, -x + 7]]
388,
389[[ 3*x + 1, -24 ],[ -4, -3*x - 2]]
390,
391[[ -3*x - 1, 24 ],[ 4, 3*x + 2]]
392,
393[[ x - 7, -6*x - 10 ],[ -x - 2, -x + 8]]
394,
395[[ -x + 7, 6*x + 10 ],[ x + 2, x - 8]]
396,
397[[ x + 1, -10 ],[ -1, -x]]
398,
399[[ -x - 1, 10 ],[ 1, x]]
400,
401[[ x + 9, 6*x - 4 ],[ x - 1, -x - 8]]
402,
403[[ -x - 9, -6*x + 4 ],[ -x + 1, x + 8]]
404]),
405BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
406),
407rec( TheMatrixStab := Group([
408[[ 1, 0 ],[ 0, 1]]
409,
410[[ -1, 0 ],[ 0, -1]]
411,
412[[ 0, 1 ],[ -1, 0]]
413,
414[[ 0, -1 ],[ 1, 0]]
415]),
416TheRotSubgroup := Group([
417[[ 1, 0 ],[ 0, 1]]
418,
419[[ -1, 0 ],[ 0, -1]]
420,
421[[ 0, 1 ],[ -1, 0]]
422,
423[[ 0, -1 ],[ 1, 0]]
424]),
425BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
426),
427rec( TheMatrixStab := Group([
428[[ 1, 0 ],[ 0, 1]]
429,
430[[ -1, 0 ],[ 0, -1]]
431,
432[[ x + 1, -5 ],[ -2, -x]]
433,
434[[ -x - 1, 5 ],[ 2, x]]
435,
436[[ x, -5 ],[ -2, -x - 1]]
437,
438[[ -x, 5 ],[ 2, x + 1]]
439]),
440TheRotSubgroup := Group([
441[[ 1, 0 ],[ 0, 1]]
442,
443[[ -1, 0 ],[ 0, -1]]
444,
445[[ x + 1, -5 ],[ -2, -x]]
446,
447[[ -x - 1, 5 ],[ 2, x]]
448,
449[[ x, -5 ],[ -2, -x - 1]]
450,
451[[ -x, 5 ],[ 2, x + 1]]
452]),
453BoundaryImage := rec( ListIFace:=[], ListSign:=[], ListElt:=[])
454),
455],
456[
457rec( TheMatrixStab := Group([
458[[ -1, -1 ],[ 1, 0]]
459,
460[[ -1, 0 ],[ 0, -1]]
461,
462[[ 0, -1 ],[ 1, 1]]
463,
464[[ 0, 1 ],[ -1, -1]]
465,
466[[ 1, 0 ],[ 0, 1]]
467,
468[[ 1, 1 ],[ -1, 0]]
469]),
470TheRotSubgroup := Group([
471[[ -1, -1 ],[ 1, 0]]
472,
473[[ -1, 0 ],[ 0, -1]]
474,
475[[ 0, -1 ],[ 1, 1]]
476,
477[[ 0, 1 ],[ -1, -1]]
478,
479[[ 1, 0 ],[ 0, 1]]
480,
481[[ 1, 1 ],[ -1, 0]]
482]),
483BoundaryImage := rec(
484ListIFace:=[ 1, 3],
485 ListSign := [-1,1],
486ListElt := [IdentityMat(2), IdentityMat(2)])
487),
488rec( TheMatrixStab := Group([
489[[ -1, 0 ],[ 0, -1]]
490,
491[[ 1, 0 ],[ 0, 1]]
492]),
493TheRotSubgroup := Group([
494[[ -1, 0 ],[ 0, -1]]
495,
496[[ 1, 0 ],[ 0, 1]]
497]),
498BoundaryImage := rec(
499ListIFace:=[ 6, 1],
500 ListSign := [-1,1],
501ListElt := [IdentityMat(2), IdentityMat(2)])
502),
503rec( TheMatrixStab := Group([
504[[ -1, 0 ],[ 0, -1]]
505,
506[[ -x - 2, -x + 2 ],[ 3, x + 2]]
507,
508[[ 1, 0 ],[ 0, 1]]
509,
510[[ x + 2, x - 2 ],[ -3, -x - 2]]
511]),
512TheRotSubgroup := Group([
513[[ -1, 0 ],[ 0, -1]]
514,
515[[ -x - 2, -x + 2 ],[ 3, x + 2]]
516,
517[[ 1, 0 ],[ 0, 1]]
518,
519[[ x + 2, x - 2 ],[ -3, -x - 2]]
520]),
521BoundaryImage := rec(
522ListIFace:=[ 3, 2],
523 ListSign := [-1,1],
524ListElt := [IdentityMat(2), IdentityMat(2)])
525),
526rec( TheMatrixStab := Group([
527[[ -1, 0 ],[ 0, -1]]
528,
529[[ x - 3, -x - 6 ],[ -x - 2, -x + 3]]
530,
531[[ 1, 0 ],[ 0, 1]]
532,
533[[ -x + 3, x + 6 ],[ x + 2, x - 3]]
534]),
535TheRotSubgroup := Group([
536[[ -1, 0 ],[ 0, -1]]
537,
538[[ x - 3, -x - 6 ],[ -x - 2, -x + 3]]
539,
540[[ 1, 0 ],[ 0, 1]]
541,
542[[ -x + 3, x + 6 ],[ x + 2, x - 3]]
543]),
544BoundaryImage := rec(
545ListIFace:=[ 2, 4],
546 ListSign := [-1,1],
547ListElt := [IdentityMat(2), IdentityMat(2)])
548),
549rec( TheMatrixStab := Group([
550[[ -x - 1, -x + 4 ],[ 2, x + 2]]
551,
552[[ -1, 0 ],[ 0, -1]]
553,
554[[ -x - 2, -x + 4 ],[ 2, x + 1]]
555,
556[[ 1, 0 ],[ 0, 1]]
557,
558[[ x + 1, x - 4 ],[ -2, -x - 2]]
559,
560[[ x + 2, x - 4 ],[ -2, -x - 1]]
561]),
562TheRotSubgroup := Group([
563[[ -x - 1, -x + 4 ],[ 2, x + 2]]
564,
565[[ -1, 0 ],[ 0, -1]]
566,
567[[ -x - 2, -x + 4 ],[ 2, x + 1]]
568,
569[[ 1, 0 ],[ 0, 1]]
570,
571[[ x + 1, x - 4 ],[ -2, -x - 2]]
572,
573[[ x + 2, x - 4 ],[ -2, -x - 1]]
574]),
575BoundaryImage := rec(
576ListIFace:=[ 5, 2],
577 ListSign := [-1,1],
578ListElt := [[[ -2*x - 3, -x + 6 ],[ 3, x + 1]], IdentityMat(2)])
579),
580rec( TheMatrixStab := Group([
581[[ -1, 0 ],[ 0, -1]]
582,
583[[ -3, -x - 2 ],[ -x + 1, 4]]
584,
585[[ -4, -x - 2 ],[ -x + 1, 3]]
586,
587[[ 1, 0 ],[ 0, 1]]
588,
589[[ 3, x + 2 ],[ x - 1, -4]]
590,
591[[ 4, x + 2 ],[ x - 1, -3]]
592]),
593TheRotSubgroup := Group([
594[[ -1, 0 ],[ 0, -1]]
595,
596[[ -3, -x - 2 ],[ -x + 1, 4]]
597,
598[[ -4, -x - 2 ],[ -x + 1, 3]]
599,
600[[ 1, 0 ],[ 0, 1]]
601,
602[[ 3, x + 2 ],[ x - 1, -4]]
603,
604[[ 4, x + 2 ],[ x - 1, -3]]
605]),
606BoundaryImage := rec(
607ListIFace:=[ 3, 5],
608 ListSign := [-1,1],
609ListElt := [IdentityMat(2), IdentityMat(2)])
610),
611rec( TheMatrixStab := Group([
612[[ -1, 0 ],[ 0, -1]]
613,
614[[ 1, 0 ],[ 0, 1]]
615]),
616TheRotSubgroup := Group([
617[[ -1, 0 ],[ 0, -1]]
618,
619[[ 1, 0 ],[ 0, 1]]
620]),
621BoundaryImage := rec(
622ListIFace:=[ 5, 4],
623 ListSign := [-1,1],
624ListElt := [IdentityMat(2), IdentityMat(2)])
625),
626rec( TheMatrixStab := Group([
627[[ -1, 0 ],[ 0, -1]]
628,
629[[ 1, 0 ],[ 0, 1]]
630]),
631TheRotSubgroup := Group([
632[[ -1, 0 ],[ 0, -1]]
633,
634[[ 1, 0 ],[ 0, 1]]
635]),
636BoundaryImage := rec(
637ListIFace:=[ 10, 4],
638 ListSign := [-1,1],
639ListElt := [IdentityMat(2), IdentityMat(2)])
640),
641rec( TheMatrixStab := Group([
642[[ -x - 1, -x + 9 ],[ 1, x + 1]]
643,
644[[ -1, 0 ],[ 0, -1]]
645,
646[[ 1, 0 ],[ 0, 1]]
647,
648[[ x + 1, x - 9 ],[ -1, -x - 1]]
649]),
650TheRotSubgroup := Group([
651[[ -x - 1, -x + 9 ],[ 1, x + 1]]
652,
653[[ -1, 0 ],[ 0, -1]]
654,
655[[ 1, 0 ],[ 0, 1]]
656,
657[[ x + 1, x - 9 ],[ -1, -x - 1]]
658]),
659BoundaryImage := rec(
660ListIFace:=[ 6, 4],
661 ListSign := [-1,1],
662ListElt := [[[ -x - 1, -1 ],[ 1, 0]], [[ -2*x - 3, -x + 6 ],[ 3, x + 1]]])
663),
664rec( TheMatrixStab := Group([
665[[ -1, 0 ],[ 0, -1]]
666,
667[[ 1, 0 ],[ 0, 1]]
668]),
669TheRotSubgroup := Group([
670[[ -1, 0 ],[ 0, -1]]
671,
672[[ 1, 0 ],[ 0, 1]]
673]),
674BoundaryImage := rec(
675ListIFace:=[ 9, 5],
676 ListSign := [-1,1],
677ListElt := [IdentityMat(2), IdentityMat(2)])
678),
679rec( TheMatrixStab := Group([
680[[ -1, 0 ],[ 0, -1]]
681,
682[[ 0, -1 ],[ 1, 0]]
683,
684[[ 0, 1 ],[ -1, 0]]
685,
686[[ 1, 0 ],[ 0, 1]]
687]),
688TheRotSubgroup := Group([
689[[ -1, 0 ],[ 0, -1]]
690,
691[[ 0, -1 ],[ 1, 0]]
692,
693[[ 0, 1 ],[ -1, 0]]
694,
695[[ 1, 0 ],[ 0, 1]]
696]),
697BoundaryImage := rec(
698ListIFace:=[ 6, 9],
699 ListSign := [-1,1],
700ListElt := [IdentityMat(2), IdentityMat(2)])
701),
702rec( TheMatrixStab := Group([
703[[ -x - 1, 10 ],[ 1, x]]
704,
705[[ -1, 0 ],[ 0, -1]]
706,
707[[ -x, 10 ],[ 1, x + 1]]
708,
709[[ x, -10 ],[ -1, -x - 1]]
710,
711[[ 1, 0 ],[ 0, 1]]
712,
713[[ x + 1, -10 ],[ -1, -x]]
714]),
715TheRotSubgroup := Group([
716[[ -x - 1, 10 ],[ 1, x]]
717,
718[[ -1, 0 ],[ 0, -1]]
719,
720[[ -x, 10 ],[ 1, x + 1]]
721,
722[[ x, -10 ],[ -1, -x - 1]]
723,
724[[ 1, 0 ],[ 0, 1]]
725,
726[[ x + 1, -10 ],[ -1, -x]]
727]),
728BoundaryImage := rec(
729ListIFace:=[ 1, 8],
730 ListSign := [-1,1],
731ListElt := [[[ -x - 1, -1 ],[ 1, 0]], IdentityMat(2)])
732),
733rec( TheMatrixStab := Group([
734[[ -2*x - 1, 14 ],[ 3, 2*x + 1]]
735,
736[[ -1, 0 ],[ 0, -1]]
737,
738[[ 1, 0 ],[ 0, 1]]
739,
740[[ 2*x + 1, -14 ],[ -3, -2*x - 1]]
741]),
742TheRotSubgroup := Group([
743[[ -2*x - 1, 14 ],[ 3, 2*x + 1]]
744,
745[[ -1, 0 ],[ 0, -1]]
746,
747[[ 1, 0 ],[ 0, 1]]
748,
749[[ 2*x + 1, -14 ],[ -3, -2*x - 1]]
750]),
751BoundaryImage := rec(
752ListIFace:=[ 7, 8],
753 ListSign := [-1,1],
754ListElt := [IdentityMat(2), IdentityMat(2)])
755),
756rec( TheMatrixStab := Group([
757[[ -1, 0 ],[ 0, -1]]
758,
759[[ x - 6, -4*x - 9 ],[ -x - 2, -x + 6]]
760,
761[[ 1, 0 ],[ 0, 1]]
762,
763[[ -x + 6, 4*x + 9 ],[ x + 2, x - 6]]
764]),
765TheRotSubgroup := Group([
766[[ -1, 0 ],[ 0, -1]]
767,
768[[ x - 6, -4*x - 9 ],[ -x - 2, -x + 6]]
769,
770[[ 1, 0 ],[ 0, 1]]
771,
772[[ -x + 6, 4*x + 9 ],[ x + 2, x - 6]]
773]),
774BoundaryImage := rec(
775ListIFace:=[ 7, 9],
776 ListSign := [-1,1],
777ListElt := [IdentityMat(2), [[ -2*x - 2, 7 ],[ 3, x]]])
778),
779rec( TheMatrixStab := Group([
780[[ -x - 1, 5 ],[ 2, x]]
781,
782[[ -1, 0 ],[ 0, -1]]
783,
784[[ -x, 5 ],[ 2, x + 1]]
785,
786[[ x, -5 ],[ -2, -x - 1]]
787,
788[[ 1, 0 ],[ 0, 1]]
789,
790[[ x + 1, -5 ],[ -2, -x]]
791]),
792TheRotSubgroup := Group([
793[[ -x - 1, 5 ],[ 2, x]]
794,
795[[ -1, 0 ],[ 0, -1]]
796,
797[[ -x, 5 ],[ 2, x + 1]]
798,
799[[ x, -5 ],[ -2, -x - 1]]
800,
801[[ 1, 0 ],[ 0, 1]]
802,
803[[ x + 1, -5 ],[ -2, -x]]
804]),
805BoundaryImage := rec(
806ListIFace:=[ 7, 10],
807 ListSign := [-1,1],
808ListElt := [IdentityMat(2), IdentityMat(2)])
809),
810rec( TheMatrixStab := Group([
811[[ -1, 0 ],[ 0, -1]]
812,
813[[ -x - 8, -6*x + 4 ],[ -x + 1, x + 9]]
814,
815[[ -x - 9, -6*x + 4 ],[ -x + 1, x + 8]]
816,
817[[ 1, 0 ],[ 0, 1]]
818,
819[[ x + 8, 6*x - 4 ],[ x - 1, -x - 9]]
820,
821[[ x + 9, 6*x - 4 ],[ x - 1, -x - 8]]
822]),
823TheRotSubgroup := Group([
824[[ -1, 0 ],[ 0, -1]]
825,
826[[ -x - 8, -6*x + 4 ],[ -x + 1, x + 9]]
827,
828[[ -x - 9, -6*x + 4 ],[ -x + 1, x + 8]]
829,
830[[ 1, 0 ],[ 0, 1]]
831,
832[[ x + 8, 6*x - 4 ],[ x - 1, -x - 9]]
833,
834[[ x + 9, 6*x - 4 ],[ x - 1, -x - 8]]
835]),
836BoundaryImage := rec(
837ListIFace:=[ 8, 10],
838 ListSign := [-1,1],
839ListElt := [IdentityMat(2), [[ -2*x - 2, 7 ],[ 3, x]]])
840),
841rec( TheMatrixStab := Group([
842[[ -1, 0 ],[ 0, -1]]
843,
844[[ 1, 0 ],[ 0, 1]]
845]),
846TheRotSubgroup := Group([
847[[ -1, 0 ],[ 0, -1]]
848,
849[[ 1, 0 ],[ 0, 1]]
850]),
851BoundaryImage := rec(
852ListIFace:=[ 9, 10],
853 ListSign := [-1,1],
854ListElt := [IdentityMat(2), IdentityMat(2)])
855),
856],
857[
858rec( TheMatrixStab := Group([-IdentityMat(2)]),
859TheRotSubgroup := Group([-IdentityMat(2)]),
860BoundaryImage := rec(
861ListIFace:=[
86210
863,
8646
865,
8661
867,
8682
869,
87011
871], ListSign := [
872-1
873,
8741
875,
8761
877,
8781
879,
880-1
881 ],
882ListElt := [
883IdentityMat(2)
884,
885IdentityMat(2)
886,
887IdentityMat(2)
888,
889IdentityMat(2)
890,
891IdentityMat(2)
892]))
893,
894rec( TheMatrixStab := Group([-IdentityMat(2)]),
895TheRotSubgroup := Group([-IdentityMat(2)]),
896BoundaryImage := rec(
897ListIFace:=[
89812
899,
90016
901,
9028
903,
9049
905,
9062
907], ListSign := [
9081
909,
9101
911,
9121
913,
914-1
915,
9161
917 ],
918ListElt := [
919IdentityMat(2)
920,
921IdentityMat(2)
922,
923[[ -8, -3*x - 3 ],[ -x, 4]]
924,
925IdentityMat(2)
926,
927[[ -x - 1, -1 ],[ 1, 0]]
928]))
929,
930rec( TheMatrixStab := Group([-IdentityMat(2)]),
931TheRotSubgroup := Group([-IdentityMat(2)]),
932BoundaryImage := rec(
933ListIFace:=[
93415
935,
9368
937,
93814
939,
9404
941,
94210
943,
9445
945], ListSign := [
9461
947,
9481
949,
950-1
951,
952-1
953,
954-1
955,
956-1
957 ],
958ListElt := [
959IdentityMat(2)
960,
961IdentityMat(2)
962,
963IdentityMat(2)
964,
965IdentityMat(2)
966,
967[[ -7, -2*x - 2 ],[ -x, 3]]
968,
969IdentityMat(2)
970]))
971,
972rec( TheMatrixStab := Group([-IdentityMat(2)]),
973TheRotSubgroup := Group([-IdentityMat(2)]),
974BoundaryImage := rec(
975ListIFace:=[
97610
977,
9788
979,
98017
981,
9827
983], ListSign := [
9841
985,
986-1
987,
988-1
989,
9901
991 ],
992ListElt := [
993IdentityMat(2)
994,
995IdentityMat(2)
996,
997IdentityMat(2)
998,
999IdentityMat(2)
1000]))
1001,
1002rec( TheMatrixStab := Group([-IdentityMat(2)]),
1003TheRotSubgroup := Group([-IdentityMat(2)]),
1004BoundaryImage := rec(
1005ListIFace:=[
100616
1007,
100814
1009,
101017
1011,
101213
1013], ListSign := [
1014-1
1015,
10161
1017,
10181
1019,
1020-1
1021 ],
1022ListElt := [
1023IdentityMat(2)
1024,
1025IdentityMat(2)
1026,
1027[[ -2*x - 2, 7 ],[ 3, x]]
1028,
1029IdentityMat(2)
1030]))
1031,
1032rec( TheMatrixStab := Group([-IdentityMat(2)]),
1033TheRotSubgroup := Group([-IdentityMat(2)]),
1034BoundaryImage := rec(
1035ListIFace:=[
10366
1037,
10384
1039,
10407
1041,
10423
1043], ListSign := [
1044-1
1045,
10461
1047,
1048-1
1049,
10501
1051 ],
1052ListElt := [
1053IdentityMat(2)
1054,
1055IdentityMat(2)
1056,
1057IdentityMat(2)
1058,
1059IdentityMat(2)
1060]))
1061,
1062rec( TheMatrixStab := Group([-IdentityMat(2)]),
1063TheRotSubgroup := Group([-IdentityMat(2)]),
1064BoundaryImage := rec(
1065ListIFace:=[
10668
1067,
106810
1069,
107017
1071,
10727
1073], ListSign := [
1074-1
1075,
10761
1077,
1078-1
1079,
10801
1081 ],
1082ListElt := [
1083[[ -8, -3*x - 3 ],[ -x, 4]]
1084,
1085[[ -7, -2*x - 2 ],[ -x, 3]]
1086,
1087[[ -2*x - 2, 7 ],[ 3, x]]
1088,
1089[[ -2*x - 3, -x + 6 ],[ 3, x + 1]]
1090]))
1091],
1092];
1093
1094if IsBound(HAP_GCOMPLEX_SETUP[2]) then
1095x:= HAP_GCOMPLEX_SETUP[2];
1096else Unbind(x); fi;
1097