canonical polyhedron