polytope:quotientspace