Canonical_polyhedron loading ...