-- -*- M2-comint -*- {* hash: 1507073790 *} i1 : P = convexHull transpose matrix {{0,0,0},{1,0,0},{0,1,0},{1,1,3}} o1 = {ambient dimension => 3 } dimension of lineality space => 0 dimension of polyhedron => 3 number of facets => 4 number of rays => 0 number of vertices => 4 o1 : Polyhedron i2 : toSublattice P o2 = {ambient dimension => 3 } dimension of lineality space => 0 dimension of polyhedron => 3 number of facets => 4 number of rays => 0 number of vertices => 4 o2 : Polyhedron i3 :