[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |

__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).

This document was generated on