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 = P
o1 : Polyhedron