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

__Function:__poly_t***poly_empty***(int*`dim`)- Creates an empty polyhedron of
affine dimension
`dim`, in minimized form.

__Function:__poly_t***poly_universe***(int*`dim`)- Creates an universe polyhedron of affine dimension
`dim`, in minimized form.

__Function:__poly_t***poly_of_constraints***(matrix_t**`mat`)- Creates a polyhedron defined by the constraints stored in
`mat`. The matrix`mat`will be referenced by the result, so don't touch it any more after the call. The dimension of the polyhedron is equal to the number of columns of the matrix minus`polka_dec`

. The returned polyhedron is not in a minimal form.It's the user responsability to put in the matrix the constraint

*\xi >= 0*or the constraints*\xi >= \epsilon >= 0*, if they are not implied by the other constraints. If you are not sure of what you are doing, use rather`poly_universe`

and`poly_add_constraints`

.

__Function:__poly_t***poly_of_frames***(matrix_t**`mat`)- ²Creates a polyhedron defined by the generators stored in
`mat`. The same remarks as above holds. The defined polyhedra have to be included in*\xi >= 0*or*\xi >= \epsilon >= 0*. If you are not sure of what you are doing, use rather`poly_empty`

and`poly_add_frames`

.

This document was generated on