adapted category names
removed function equal_polytopes (the same functionality is already contained in equal_polyhedra in the core)