-- -*- M2-comint -*- {* hash: -661610929 *}

i1 : P = convexHull(matrix{{1,1,-1,-1},{1,-1,1,-1},{1,1,1,1}},matrix {{0},{0},{-1}})

o1 = {ambient dimension => 3           }
      dimension of lineality space => 0
      dimension of polyhedron => 3
      number of facets => 5
      number of rays => 1
      number of vertices => 4

o1 : Polyhedron

i2 : dualFaceLattice(2,P)

o2 = {{0}, {1}, {2}, {3}, {4}}

o2 : List

i3 : V = halfspaces P

o3 = (| -1 0  0 |, | 1 |)
      | 1  0  0 |  | 1 |
      | 0  -1 0 |  | 1 |
      | 0  1  0 |  | 1 |
      | 0  0  1 |  | 1 |

o3 : Sequence

i4 : faceLattice P

o4 = {{({0}, {}), ({1}, {}), ({2}, {}), ({3}, {})}, {({0}, {0}), ({2}, {0}),
     ------------------------------------------------------------------------
     ({0, 2}, {}), ({1}, {0}), ({3}, {0}), ({1, 3}, {}), ({0, 1}, {}), ({2,
     ------------------------------------------------------------------------
     3}, {})}, {({0, 2}, {0}), ({1, 3}, {0}), ({0, 1}, {0}), ({2, 3}, {0}),
     ------------------------------------------------------------------------
     ({0, 1, 2, 3}, {})}, {({0, 1, 2, 3}, {0})}}

o4 : List

i5 :