Complex_polytope loading ...