Regular_polytope loading ...