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

i1 : R = matrix {{1,1,2,2},{2,3,1,3},{3,2,3,1}};

              3        4
o1 : Matrix ZZ  <--- ZZ

i2 : V = matrix {{1,-1},{0,0},{0,0}};

              3        2
o2 : Matrix ZZ  <--- ZZ

i3 : C = posHull R

o3 = {ambient dimension => 3           }
      dimension of lineality space => 0
      dimension of the cone => 3
      number of facets => 4
      number of rays => 4

o3 : Cone

i4 : halfspaces C

o4 = | -2 1  1  |
     | 1  -1 1  |
     | 1  1  -1 |
     | 5  -1 -1 |

              4        3
o4 : Matrix QQ  <--- QQ

i5 : P = convexHull(V,R)

o5 = {ambient dimension => 3           }
      dimension of lineality space => 0
      dimension of polyhedron => 3
      number of facets => 6
      number of rays => 4
      number of vertices => 2

o5 : Polyhedron

i6 : halfspaces P

o6 = (| 0  1  -3 |, | 0 |)
      | 2  -1 -1 |  | 2 |
      | -1 1  -1 |  | 1 |
      | 0  -3 1  |  | 0 |
      | -1 -1 1  |  | 1 |
      | -5 1  1  |  | 5 |

o6 : Sequence

i7 :