isl_convex_hull: fix construction of initial facet
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 19 Sep 2008 13:18:00 +0000 (15:18 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 12 Oct 2008 10:12:03 +0000 (12:12 +0200)
commit68e04042020251ddce8d39d6eeb92030955f96ff
treecd36c6488a26cee8965f5a4fd7494d9c83a43c27
parentd31290af7effc0a0aba34004b43bddab856e5065
isl_convex_hull: fix construction of initial facet

We need to find a bound on a constraint over the intersection
of the current hyperplane with the set, but instead we were
looking at intersections with smaller-dimensional spaces.
isl_convex_hull.c
isl_test.c
test_inputs/convex8.polylib [new file with mode: 0644]