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

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.

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

This document was generated on