-- -*- M2-comint -*- {* hash: 238106564 *} i1 : P = intersection(matrix{{1,-1},{0,-1},{-1,-1},{0,1}}, matrix{{0},{-1},{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 : vertices P o2 = | -1 1 | | 1 1 | 2 2 o2 : Matrix QQ <--- QQ i3 :