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

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 QQ  <--- QQ

i5 :