Basic Constructors for polyhedra

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.