documentation:polytope:quotientspace