Description
vertexFacetMatrix computes the matrix
M where the columns are indexed by the facets and the rows are indexed by the vertices of
P and has 1 as an entry if the corresponding facet contains this vertex and 0 otherwise.
i1 : P = cyclicPolytope(3,5)
o1 = {ambient dimension => 3 }
dimension of lineality space => 0
dimension of polyhedron => 3
number of facets => 6
number of rays => 0
number of vertices => 5
o1 : Polyhedron

i2 : vertexFacetMatrix P
o2 =  0 1 2 3 4 5 6 
 1 1 1 1 0 0 1 
 2 1 0 0 0 1 1 
 3 1 1 0 1 1 0 
 4 0 1 1 1 0 0 
 5 0 0 1 1 1 1 
6 7
o2 : Matrix ZZ < ZZ
