Abstract_polytope loading ...