isl_basic_map_lexmin: turn off equality detection on non-parametric problems
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 20 Mar 2011 15:40:41 +0000 (16:40 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 11 Apr 2011 19:31:41 +0000 (21:31 +0200)
commitd85e17126dcf9e1353a70406fbb66979674e04cd
tree63d7ed0b467faf826a0d73d0aac891835aa8b505
parent7fd9a297ac46dde1f8d6241a4e83efb290969c49
isl_basic_map_lexmin: turn off equality detection on non-parametric problems

Detecting equalities can be quite expensive and has mostly been shown
effective on parametric problems.  For non-parametric problems, we
are effectively computing several solutions as a preprocessing step
to computing a single solution, albeit a special one.
Until we obtain more evidence that this is useful,
it seems prudent to turn off this equality detection on non-parametric
problems.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab_pip.c