i1 : P = convexHull matrix{{1,0},{0,1}}
o1 = {ambient dimension => 2 }
dimension of lineality space => 0
dimension of polyhedron => 1
number of facets => 2
number of rays => 0
number of vertices => 2
o1 : Polyhedron
|
i2 : ambDim P o2 = 2 |