projective polytope