isl_basic_set_sample: don't project out lineality space up front
commit0d8527cd6bd7a67197d67b8cec0aec2defe87cb3
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 16 Jul 2009 09:00:32 +0000 (16 11:00 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 16 Jul 2009 09:11:43 +0000 (16 11:11 +0200)
treeb8e3de81a8bb1df00666174aa191efd6ba4f0d17
parent23f8b7afb398534a3e59ca5ad0286014abcebd79
isl_basic_set_sample: don't project out lineality space up front

For the pip based sampler, projecting out the lineality space
is part of isl_basic_set_skew_to_positive_orthant, so there is
no need for a separate projection step before the skewing.

For the gbr based sampler, there is no need to project out the lineality
space.  The lineality space will simply be part of the recession cone,
which is handled more efficiently than the projection.
In particular, for systems with many variables, the unimodular transformation
used in the projection may have very large coefficients, which in turn
leads to constraints with large coefficients.  Since there is no need
to do this projection, it is best to avoid it.
isl_sample.c