-- -*- M2-comint -*- hash: 16925203901566366247

i1 : P = stdSimplex 2

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

o1 : Polyhedron

i2 : hyperplanes P

o2 = (| 1 1 1 |, | 1 |)

o2 : Sequence

i3 : C = posHull matrix {{1,2,4},{2,3,5},{3,4,6}}

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

o3 : Cone

i4 : hyperplanes C

o4 = | 1 -2 1 |

              1       3
o4 : Matrix ZZ  <-- ZZ

i5 : 
