-- -*- M2-comint -*- {* hash: -864251990 *}

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

i3 :