Simplicial_polytope loading ...