This section shows how to install Julia, Polyhedra and a Polyhedra Manipulation Library of your choice.
The first step is to install Julia. Polyhedra supports Julia v1.0 but the latest version only supports Julia v1.3 or later. Download links and more detailed instructions are available on the Julia website.
Open a Julia console (e.g. enter
julia at the command line) and write
] add Polyhedra
To start using Polyhedra, you can now just write
julia> using Polyhedra
Polyhedra includes a default library supporting every operation but external libraries can also be used. See the next section on installing a library.
Many C libraries are available for manipulating Polyhedra. Some of them work with floating point arithmetic and some of them can do the computation exactly using rational arithmetic and multiple precision libraries such as GMP. Julia also natively supports rational arithmetic using multiple precision libraries and of course floating point arithmetic. That makes the use of both types of arithmetic very easy and transparent. A list of Polyhedra Manipulation Libraries is available in the JuliaPolyhedra website.