Polyhedra provides an unified interface for Polyhedral Computation Libraries such as CDDLib.jl. These manipulation notably include the transformation from (resp. to) an inequality representation of a polyhedron to (resp. from) its generator representation (convex hull of points + conic hull of rays) and projection/elimination of a variable with e.g. Fourier-Motzkin.
Documentation can be found here.
It defines the abstract type
Polyhedron and splits the operations on this type in two categories:
Here is a list of the Polyhedral Computation Libraries implementing the interface of
Please let me know if you plan to write a new wrapper (or an implementation in pure Julia).
Since libraries (
qhull, ...) use different algorithms, there is no better library for every problem; here is a comparison.
4 days ago