Ideal_polyhedron loading ...