Closure operation

Function: poly_t* poly_closure (const poly_t* poly)

Function: poly_t* poly_closure_lazy (const poly_t* poly)

If polka_strict is true, these functions compute the closure (in the topological sense) of the argument polyhedron, i.e., the smallest polyhedron with loose constraints only containing the argument. If polka_strict is false, they return a copy of the argument polyhedron. The parameter polyhedron may be minimized.

The two functions differ by their strict/lazy implementation.