Access functions for polyhedra

Among the functions below, the first three don't imply any computation. The obtention of a saturation matrix, as the four last functions, needs minimal form and performs minimization if necessary.

Function: const matrix_t* poly_constraints (const poly_t* po)

Return the matrix of constraints of the polyhedron, which is referenced by it, when this matrix is available, or else the null pointer. Don't modify the matrix neither free it, as it is pointed by po. The obtained set of constraints may not be minimal.

Function: const matrix_t* poly_frames (const poly_t* po)

Return the matrix of generators of the polyhedron, if available, else the null pointer. The same remarks as above holds.

Function: const satmat_t* poly_satC (const poly_t* po)

Return the saturation matrix, whose rows are indexed by generators and columns by constraints. The same remarks as above holds.

Function: const satmat_t* poly_satF (const poly_t* po)

Return the saturation matrix, whose rows are indexed by constraints and columns by generators. The same remarks as above holds.

Function: int poly_dimension (const poly_t* po)

Return the (affine) dimension of the polyhedron (i.e., without taking into accound the additional columns of vectors and matrices).

Function: int poly_nbequations (const poly_t* po)

Return the dimension of the equality space, i.e. the number of linearly independant equations satisfied by the polyhedron. Require minimization.

Function: int poly_nblines (const poly_t* po)

Return the dimension of the lineality space, i.e. the number of linearly independant lines included in the polyhedron. Require minimization.

Function: int poly_nbconstraints (const poly_t* po)

Return the number of constraints in minimal form.

Function: int poly_nbframes (const poly_t* po)

Return the number of generators in minimal form.