isl_map_convex_hull: handle unbounded, but pointed, case using wrapping
commit6371ed7518d04dee5ccc1a3860bee122a3f1c6e0
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 13 Apr 2009 21:11:19 +0000 (13 23:11 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 6 May 2009 10:42:18 +0000 (6 12:42 +0200)
treef8f1d14bba46837945d63051b947babc224a425d
parentb3acbdec6ee87a2c00278f47556b7de0653a7687
isl_map_convex_hull: handle unbounded, but pointed, case using wrapping

The case where the convex hull may be unbounded (but still pointed)
cannot be handled directly using wrapping.  However, by changing
the homogeneous direction, we can in such cases always transform
the input polyhedra to polytopes, compute the hull and then transform back.

Since we already handle the case where the convex hull may not be
pointed, we can now handle all cases using wrapping.
The convex_hull_pair_elim function is therefore no longer used.
We leave it in, because we may want to allow the user to choose
in future which convex hull algorithm to use.
isl_convex_hull.c
isl_test.c
test_inputs/convex14.polylib [new file with mode: 0644]