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

__Function:__void**poly_free***(poly_t**`po`)- Frees the polyhedron and finalize referenced elements.

__Function:__poly_t***poly_copy***(const poly_t**`po`)- Makes a copy of the polyhedron. Referenced elements are recursively duplicated.

__Function:__void**poly_print***(const poly_t**`po`)- Prints the polyhedron on standard output.

__Function:__void**poly_minimize***(const poly_t**`po`)- Computes the minimal representation of the polyhedron. Once minimized, both constraints and generators are available, as such as the saturation matrix and the dimension of equality and lineality spaces.

__Function:__void**poly_canonicalize***(const poly_t**`po`)- If
`polka_strict`

is false, same effect as`poly_minimize`

, but ensures also normalization of equalities and lines spaces (with Gauss elimination). Otherwise, normalizes the strict constraints of`po`and performs minimization on the new set of constraints (also with normalization of equalities and lines spaces). This allows to remove constraints which are redundant considering the special meaning of the epsilon dimension.

This document was generated on