polytope:objects:polytope:properties:combinatorics:n_vertices