Edit on GitHub

Saving and loading

Objects of type Polyhedron can be saved to a file and loaded from a file in the following way:

julia> square = cube(2)A polyhedron in ambient dimension 2
julia> save("square.poly", square)734
julia> s = load("square.poly")A polyhedron in ambient dimension 2
julia> s == squaretrue

The file is in JSON format and contains all previously gathered data belonging to the underlying polymake object. In particular, this file can now be read by both polymake and Oscar.