CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

Views: 418386
HAP_GCOMPLEX_SETUP:=[false]; 
HAP_GCOMPLEX_LIST:=[[rec(TheMatrixStab:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -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, -1, 0 ], [ 0, 1, 0, -1 ] ], 
  [ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ], 
  [ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -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, -1, 0 ], [ 0, 1, 0, -1 ] ], 
  [ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ], 
  [ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[  ],ListSign:=[  ],ListElt:=[  ])),rec(TheMatrixStab:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 0, -1, -5, 1 ], [ 6, -1, -6, -4 ], [ -1, 0, 0, 1 ], [ 0, -1, -6, 1 ] ], 
  [ [ 0, 1, 5, -1 ], [ -6, 1, 6, 4 ], [ 1, 0, 0, -1 ], [ 0, 1, 6, -1 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 0, -1, -5, 1 ], [ 6, -1, -6, -4 ], [ -1, 0, 0, 1 ], [ 0, -1, -6, 1 ] ], 
  [ [ 0, 1, 5, -1 ], [ -6, 1, 6, 4 ], [ 1, 0, 0, -1 ], [ 0, 1, 6, -1 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[  ],ListSign:=[  ],ListElt:=[  ]))],[rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 2 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ], 
  [ [ 0, 1, 5, -1 ], [ -6, 1, 6, 4 ], [ 1, 0, 0, -1 ], [ 0, 1, 6, -1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -3, 0, 1, 1 ], [ 0, -3, -6, 2 ], [ -2, 1, 3, 0 ], [ -6, -1, 0, 3 ] ], 
  [ [ -2, 1, 3, 0 ], [ -6, -1, 0, 3 ], [ 1, 1, 2, -1 ], [ -6, 2, 6, 1 ] ], 
  [ [ -1, -1, -2, 1 ], [ 6, -2, -6, -1 ], [ -3, 0, 1, 1 ], [ 0, -3, -6, 2 ] ],
  [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -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, -1, 0 ], [ 0, 1, 0, -1 ] ], 
  [ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ], 
  [ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 1, 1, 2, -1 ], [ -6, 2, 6, 1 ], [ 3, 0, -1, -1 ], [ 0, 3, 6, -2 ] ], 
  [ [ 2, -1, -3, 0 ], [ 6, 1, 0, -3 ], [ -1, -1, -2, 1 ], [ 6, -2, -6, -1 ] ],
  [ [ 3, 0, -1, -1 ], [ 0, 3, 6, -2 ], [ 2, -1, -3, 0 ], [ 6, 1, 0, -3 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -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, -1, 0 ], [ 0, 1, 0, -1 ] ], 
  [ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ], 
  [ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 1 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ], 
  [ [ -1, -1, -2, 1 ], [ 6, -2, -6, -1 ], [ -3, 0, 1, 1 ], [ 0, -3, -6, 2 ] ] 
 ])),rec(TheMatrixStab:=Group([ [ [ -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 ] ] ]),TheRotSubgroup:=Group([ [ [ -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 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 2 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ], 
  [ [ -1, 0, 1, 1 ], [ 0, -1, -6, 2 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 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, 1, 0 ], [ 0, -1, 0, 1 ], [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ] ], 
  [ [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 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, 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, 0 ], [ 0, 1, 0, 0 ] ], 
  [ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ], 
  [ [ 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, 0, -1, 0 ], [ 0, 1, 0, -1 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -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, -1, 0 ], [ 0, 1, 0, -1 ] ], 
  [ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ], 
  [ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 1 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -4, -1, -3, 3 ], [ 6, -5, -18, 0 ], [ -3, 1, 4, 1 ], [ -6, -2, -6, 5 ] ]
    , [ [ -3, 2, 8, 0 ], [ -12, -1, 0, 8 ], [ 2, 1, 3, -2 ], [ -6, 3, 12, 1 ] 
     ], [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ]
    , 
  [ [ 0, -1, -5, 1 ], [ 6, -1, -6, -4 ], [ -1, 0, 0, 1 ], [ 0, -1, -6, 1 ] ], 
  [ [ 0, 1, 5, -1 ], [ -6, 1, 6, 4 ], [ 1, 0, 0, -1 ], [ 0, 1, 6, -1 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 3, -2, -8, 0 ], [ 12, 1, 0, -8 ], [ -2, -1, -3, 2 ], [ 6, -3, -12, -1 ] 
     ], 
  [ [ 4, 1, 3, -3 ], [ -6, 5, 18, 0 ], [ 3, -1, -4, -1 ], [ 6, 2, 6, -5 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 0, -1, -5, 1 ], [ 6, -1, -6, -4 ], [ -1, 0, 0, 1 ], [ 0, -1, -6, 1 ] ], 
  [ [ 0, 1, 5, -1 ], [ -6, 1, 6, 4 ], [ 1, 0, 0, -1 ], [ 0, 1, 6, -1 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 2, 2 ],ListSign:=[ -1, 1 ],ListElt:=[ [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 3, -2, -8, 0 ], [ 12, 1, 0, -8 ], [ -2, -1, -3, 2 ], [ 6, -3, -12, -1 ] 
     ] ]))],[rec(TheMatrixStab:=Group([ [ [ -1, -2, -6, 2 ], [ 12, -3, -12, -4 ], [ -4, 0, 1, 2 ], 
      [ 0, -4, -12, 3 ] ], 
  [ [ -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, 2, 6, -2 ], [ -12, 3, 12, 4 ], [ 4, 0, -1, -2 ], [ 0, 4, 12, -3 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, -2, -6, 2 ], [ 12, -3, -12, -4 ], [ -4, 0, 1, 2 ], 
      [ 0, -4, -12, 3 ] ], 
  [ [ -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, 2, 6, -2 ], [ -12, 3, 12, 4 ], [ 4, 0, -1, -2 ], [ 0, 4, 12, -3 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 5, 2, 3, 3, 2, 1, 5 ],ListSign:=[ 1, 1, 1, -1, -1, -1, 1, 1 ],ListElt:=[ [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 0, 1, 5, -1 ], [ -6, 1, 6, 4 ], [ 1, 0, 0, -1 ], [ 0, 1, 6, -1 ] ], 
  [ [ -2, 1, 3, 0 ], [ -6, -1, 0, 3 ], [ 1, 1, 2, -1 ], [ -6, 2, 6, 1 ] ], 
  [ [ -3, 2, 7, -1 ], [ -12, -1, 6, 6 ], [ 2, 1, 1, -2 ], [ -6, 3, 12, -1 ] ],
  [ [ 3, 0, -1, -1 ], [ 0, 3, 6, -2 ], [ 2, -1, -3, 0 ], [ 6, 1, 0, -3 ] ], 
  [ [ -6, 2, 7, 0 ], [ -12, -4, 0, 7 ], [ 1, 2, 3, -2 ], [ -12, 3, 12, 1 ] ], 
  [ [ 1, 2, 6, -2 ], [ -12, 3, 12, 4 ], [ 4, 0, -1, -2 ], [ 0, 4, 12, -3 ] ], 
  [ [ 6, -1, -5, -3 ], [ 6, 5, 18, -8 ], [ 1, -2, -8, 1 ], [ 12, -1, -6, -7 ] 
     ] ])),rec(TheMatrixStab:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -1, 0, 1, 1 ], [ 0, -1, -6, 2 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 1, 0, -1, -1 ], [ 0, 1, 6, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -1, 0, 1, 1 ], [ 0, -1, -6, 2 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 1, 0, -1, -1 ], [ 0, 1, 6, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 3, 1, 3 ],ListSign:=[ 1, -1, 1, -1 ],ListElt:=[ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, -1, -1 ], [ 0, 1, 6, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, -1, -1 ], [ 0, 1, 6, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -1, 0, 0, 1 ], [ 0, -1, -6, 1 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 1, 0, 0, -1 ], [ 0, 1, 6, -1 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -1, 0, 0, 1 ], [ 0, -1, -6, 1 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 1, 0, 0, -1 ], [ 0, 1, 6, -1 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 1, 3, 1, 3 ],ListSign:=[ 1, -1, 1, -1 ],ListElt:=[ [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 0, -1, -1, 1 ], [ 6, -1, -6, 0 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ], 
  [ [ 1, 0, 0, -1 ], [ 0, 1, 6, -1 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ] ])),rec(TheMatrixStab:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 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, 2, 0 ], [ 0, -1, 0, 2 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ], 
  [ [ -1, 0, 2, 0 ], [ 0, -1, 0, 2 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 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, 0 ], [ 0, 1, 0, 0 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ] ]),TheRotSubgroup:=Group([ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -1, 0, 2, 0 ], [ 0, -1, 0, 2 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ], 
  [ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 0, 0, 1, 0 ], [ 0, 0, 0, 1 ] ] ]),BoundaryImage:=rec(ListIFace:=[ 3, 3, 4, 4, 3, 3 ],ListSign:=[ 1, -1, 1, 1, 1, -1 ],ListElt:=[ [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ], 
  [ [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ], [ 1, 0, -1, 0 ], [ 0, 1, 0, -1 ] ], 
  [ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ 1, 0, -2, 0 ], [ 0, 1, 0, -2 ], [ 0, 0, -1, 0 ], [ 0, 0, 0, -1 ] ], 
  [ [ -1, 0, 0, 0 ], [ 0, -1, 0, 0 ], [ -1, 0, 1, 0 ], [ 0, -1, 0, 1 ] ] ]))]];