Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418386HAP_GCOMPLEX_SETUP:=[false];
HAP_GCOMPLEX_LIST:=[[rec(TheMatrixStab:=Group([ [ [ -2, 0, 1, 1 ], [ 0, -2, -2, 1 ], [ -1, 1, 1, 0 ], [ -2, -1, 0, 1 ] ],
[ [ -2, 0, 1, 1 ], [ 0, -2, -2, 1 ], [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ] ],
[ [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ], [ -2, 0, 1, 1 ], [ 0, -2, -2, 1 ] ],
[ [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ], [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ] ],
[ [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ], [ -2, 0, 1, 1 ], [ 0, -2, -2, 1 ] ],
[ [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ -1, 1, 1, 0 ], [ -2, -1, 0, 1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ], [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ] ],
[ [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ], [ 0, 1, 1, 0 ], [ -2, 0, 0, 1 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ] ],
[ [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ], [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ] ],
[ [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ -1, 1, 1, 0 ], [ -2, -1, 0, 1 ], [ 0, 1, 1, 0 ], [ -2, 0, 0, 1 ] ],
[ [ -1, 1, 1, 0 ], [ -2, -1, 0, 1 ], [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ] ],
[ [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ], [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ] ],
[ [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ], [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ] ],
[ [ 0, -1, -1, 0 ], [ 2, 0, 0, -1 ], [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ] ],
[ [ 0, -1, -1, 0 ], [ 2, 0, 0, -1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ], [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ] ],
[ [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ], [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ] ],
[ [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ], [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ] ],
[ [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ], [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ] ],
[ [ 0, 1, 1, 0 ], [ -2, 0, 0, 1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 0, 1, 1, 0 ], [ -2, 0, 0, 1 ], [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ] ],
[ [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ], [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ] ],
[ [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ], [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ] ],
[ [ 1, -1, -1, 0 ], [ 2, 1, 0, -1 ], [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ] ],
[ [ 1, -1, -1, 0 ], [ 2, 1, 0, -1 ], [ 0, -1, -1, 0 ], [ 2, 0, 0, -1 ] ],
[ [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ], [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ], [ 0, -1, -1, 0 ], [ 2, 0, 0, -1 ] ],
[ [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ], [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 1, -1, -1, 0 ], [ 2, 1, 0, -1 ] ],
[ [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ], [ 2, 0, -1, -1 ], [ 0, 2, 2, -1 ] ],
[ [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ], [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ] ],
[ [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ], [ 2, 0, -1, -1 ], [ 0, 2, 2, -1 ] ],
[ [ 2, 0, -1, -1 ], [ 0, 2, 2, -1 ], [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ] ],
[ [ 2, 0, -1, -1 ], [ 0, 2, 2, -1 ], [ 1, -1, -1, 0 ], [ 2, 1, 0, -1 ] ] ]),TheRotSubgroup:=Group([ [ [ -2, 0, 1, 1 ], [ 0, -2, -2, 1 ], [ -1, 1, 1, 0 ], [ -2, -1, 0, 1 ] ],
[ [ -2, 0, 1, 1 ], [ 0, -2, -2, 1 ], [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ] ],
[ [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ], [ -2, 0, 1, 1 ], [ 0, -2, -2, 1 ] ],
[ [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ], [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ] ],
[ [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ], [ -2, 0, 1, 1 ], [ 0, -2, -2, 1 ] ],
[ [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ -1, 1, 1, 0 ], [ -2, -1, 0, 1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ], [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ] ],
[ [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ], [ 0, 1, 1, 0 ], [ -2, 0, 0, 1 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ] ],
[ [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ], [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ] ],
[ [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ -1, 1, 1, 0 ], [ -2, -1, 0, 1 ], [ 0, 1, 1, 0 ], [ -2, 0, 0, 1 ] ],
[ [ -1, 1, 1, 0 ], [ -2, -1, 0, 1 ], [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ] ],
[ [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ], [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ] ],
[ [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ], [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ] ],
[ [ 0, -1, -1, 0 ], [ 2, 0, 0, -1 ], [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ] ],
[ [ 0, -1, -1, 0 ], [ 2, 0, 0, -1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ],
[ [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ], [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ] ],
[ [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ], [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ] ],
[ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ] ],
[ [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ], [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ] ],
[ [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ], [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ] ],
[ [ 0, 1, 1, 0 ], [ -2, 0, 0, 1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 0, 1, 1, 0 ], [ -2, 0, 0, 1 ], [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ] ],
[ [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ], [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ] ],
[ [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ], [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ] ],
[ [ 1, -1, -1, 0 ], [ 2, 1, 0, -1 ], [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ] ],
[ [ 1, -1, -1, 0 ], [ 2, 1, 0, -1 ], [ 0, -1, -1, 0 ], [ 2, 0, 0, -1 ] ],
[ [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ], [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ] ],
[ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ],
[ [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ], [ 0, -1, -1, 0 ], [ 2, 0, 0, -1 ] ],
[ [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ], [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 1, -1, -1, 0 ], [ 2, 1, 0, -1 ] ],
[ [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ], [ 2, 0, -1, -1 ], [ 0, 2, 2, -1 ] ],
[ [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ], [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ] ],
[ [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ], [ 2, 0, -1, -1 ], [ 0, 2, 2, -1 ] ],
[ [ 2, 0, -1, -1 ], [ 0, 2, 2, -1 ], [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ] ],
[ [ 2, 0, -1, -1 ], [ 0, 2, 2, -1 ], [ 1, -1, -1, 0 ], [ 2, 1, 0, -1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ ],ListSign:=[ ],ListElt:=[ ]))],[rec(TheMatrixStab:=Group([ [ [ -4, -1, 1, 2 ], [ 2, -4, -4, 1 ], [ -5, 2, 4, 1 ], [ -4, -5, -2, 4 ] ],
[ [ -3, 2, 3, 0 ], [ -4, -3, 0, 3 ], [ 0, 4, 3, -2 ], [ -8, 0, 4, 3 ] ],
[ [ -1, -3, -2, 2 ], [ 6, -1, -4, -2 ], [ -5, -2, 1, 3 ], [ 4, -5, -6, 1 ] ]
,
[ [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ], [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ], [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ] ],
[ [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ], [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ], [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ] ],
[ [ 1, 3, 2, -2 ], [ -6, 1, 4, 2 ], [ 5, 2, -1, -3 ], [ -4, 5, 6, -1 ] ],
[ [ 3, -2, -3, 0 ], [ 4, 3, 0, -3 ], [ 0, -4, -3, 2 ], [ 8, 0, -4, -3 ] ],
[ [ 4, 1, -1, -2 ], [ -2, 4, 4, -1 ], [ 5, -2, -4, -1 ], [ 4, 5, 2, -4 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ], [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ], [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ] ],
[ [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ], [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 1, 1, -1 ], [ -2, 1, 2, 1 ], [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 1 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ -3, 2, 4, 1 ], [ -4, -3, -2, 4 ], [ 0, 4, 5, -2 ], [ -8, 0, 4, 5 ] ],
[ [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ], [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -3, -1, 0, 2 ], [ 2, -3, -4, 0 ], [ -3, 2, 3, 1 ], [ -4, -3, -2, 3 ] ],
[ [ -3, 1, 2, 1 ], [ -2, -3, -2, 2 ], [ 0, 3, 3, -1 ], [ -6, 0, 2, 3 ] ],
[ [ -1, -2, -2, 1 ], [ 4, -1, -2, -2 ], [ -4, 0, 1, 2 ], [ 0, -4, -4, 1 ] ],
[ [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ], [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ] ],
[ [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ], [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ] ],
[ [ -1, 2, 2, 0 ], [ -4, -1, 0, 2 ], [ 3, 2, 1, -2 ], [ -4, 3, 4, 1 ] ],
[ [ 1, -2, -2, 0 ], [ 4, 1, 0, -2 ], [ -3, -2, -1, 2 ], [ 4, -3, -4, -1 ] ],
[ [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ], [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ] ],
[ [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ], [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ],
[ [ 1, 2, 2, -1 ], [ -4, 1, 2, 2 ], [ 4, 0, -1, -2 ], [ 0, 4, 4, -1 ] ],
[ [ 3, -1, -2, -1 ], [ 2, 3, 2, -2 ], [ 0, -3, -3, 1 ], [ 6, 0, -2, -3 ] ],
[ [ 3, 1, 0, -2 ], [ -2, 3, 4, 0 ], [ 3, -2, -3, -1 ], [ 4, 3, 2, -3 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, -1, 0, 1 ], [ 2, -1, -2, 0 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ -1, 0, 0, 1 ], [ 0, -1, -2, 0 ], [ -1, 0, 1, 1 ], [ 0, -1, -2, 1 ] ],
[ [ -1, 1, 2, 0 ], [ -2, -1, 0, 2 ], [ 0, 1, 1, -1 ], [ -2, 0, 2, 1 ] ],
[ [ 1, -1, -2, 0 ], [ 2, 1, 0, -2 ], [ 0, -1, -1, 1 ], [ 2, 0, -2, -1 ] ],
[ [ 1, 0, 0, -1 ], [ 0, 1, 2, 0 ], [ 1, 0, -1, -1 ], [ 0, 1, 2, -1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 1, 0, -1 ], [ -2, 1, 2, 0 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 1 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ -3, 1, 3, 1 ], [ -2, -3, -2, 3 ], [ 0, 3, 3, -2 ], [ -6, 0, 4, 3 ] ],
[ [ 0, -1, -1, 0 ], [ 2, 0, 0, -1 ], [ -1, -1, -1, 1 ], [ 2, -1, -2, -1 ] ]
]))],[rec(TheMatrixStab:=Group([ [ [ -5, 0, 2, 2 ], [ 0, -5, -4, 2 ], [ -4, 4, 5, 0 ], [ -8, -4, 0, 5 ] ],
[ [ -3, -1, 0, 2 ], [ 2, -3, -4, 0 ], [ -3, 2, 3, 1 ], [ -4, -3, -2, 3 ] ],
[ [ -1, -3, -2, 2 ], [ 6, -1, -4, -2 ], [ -5, -2, 1, 3 ], [ 4, -5, -6, 1 ] ]
, [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 1, 3, 2, -2 ], [ -6, 1, 4, 2 ], [ 5, 2, -1, -3 ], [ -4, 5, 6, -1 ] ],
[ [ 3, 1, 0, -2 ], [ -2, 3, 4, 0 ], [ 3, -2, -3, -1 ], [ 4, 3, 2, -3 ] ],
[ [ 5, 0, -2, -2 ], [ 0, 5, 4, -2 ], [ 4, -4, -5, 0 ], [ 8, 4, 0, -5 ] ] ]),TheRotSubgroup:=Group([ [ [ -5, 0, 2, 2 ], [ 0, -5, -4, 2 ], [ -4, 4, 5, 0 ], [ -8, -4, 0, 5 ] ],
[ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ],
[ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ],
[ [ 5, 0, -2, -2 ], [ 0, 5, 4, -2 ], [ 4, -4, -5, 0 ], [ 8, 4, 0, -5 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 2, 1, 2 ],ListSign:=[ 1, 1, 1, -1 ],ListElt:=[ [ [ -1, -3, -2, 2 ], [ 6, -1, -4, -2 ], [ -5, -2, 1, 3 ], [ 4, -5, -6, 1 ] ]
,
[ [ 1, -3, -4, 0 ], [ 6, 1, 0, -4 ], [ -4, -3, -3, 3 ], [ 6, -4, -6, -3 ] ],
[ [ 2, -1, -1, 0 ], [ 2, 2, 0, -1 ], [ -1, -2, 0, 1 ], [ 4, -1, -2, 0 ] ],
[ [ -1, -2, -2, 1 ], [ 4, -1, -2, -2 ], [ -4, 0, 1, 2 ], [ 0, -4, -4, 1 ] ]
]))]];