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

i1 : C = posHull matrix {{1,0,0},{0,1,0},{0,0,1}}

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

o1 : Cone

i2 : P = coneToPolyhedron C

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

o2 : Polyhedron

i3 : P === C

o3 = false

i4 :