-- -*- M2-comint -*- {* hash: 1401373599 *} 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 i3 :