Conway_polyhedron_notation loading ...