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

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 : faceLattice(1,P)

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

o2 : List

i3 : V = vertices P

o3 = | -1 1  -1 1 |
     | -1 -1 1  1 |
     | 1  1  1  1 |

              3        4
o3 : Matrix QQ  <--- QQ

i4 : R = rays P

o4 = | 0  |
     | 0  |
     | -1 |

              3        1
o4 : Matrix QQ  <--- QQ

i5 : faceLattice P

o5 = {{({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})}}

o5 : List

i6 :