sample: remove lineality and skew into positive orthant
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 22 Aug 2008 14:31:44 +0000 (16:31 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 25 Aug 2008 08:24:29 +0000 (10:24 +0200)
commit14578ca228e38f9d45688cbf2c14bc855500f9a8
treef024f854b8c3a06f27ce44202de304119fcf01d9
parent07463aa4448ef62ce9994c36411d23dbfdca294d
sample: remove lineality and skew into positive orthant

These changes are needed if we want isl_basic_set_sample
to always return an actual point.  Without them, the lexmin
may be unbounded and we effectively get a ray.
isl_convex_hull.c
isl_equalities.c
isl_mat.c
isl_mat.h
isl_sample.c
isl_sample_piplib.c