Constructors for OCaml polyhedra

Function: empty : int -> t

Function: universe : int -> t

Return respectively the empty and the universe polyhedron of the given dimension.

Function: of_constraints : Matrix.t -> t

Function: of_frames : Matrix.t -> t

Makes a non-minimized polyhedron from respectively a constraint matrix and a geenrator matrix. There is no sharing of values, unlike in the C functions.

Function: minimize : t -> unit

Minimizes in place the polyhedron.

Function: canonicalize : t -> unit

Canonicalizes in place the polyhedron (see C function).