| commit | cba6ad660a7e6f8f57a199e9fee1902a920b0ddb | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 17 Nov 2010 15:03:15 +0000 (17 16:03 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 17 Nov 2010 16:07:15 +0000 (17 17:07 +0100) | ||
| tree | 1f3f834caea5a4c71656bcbdd8374cf830ea8e46 | treesnapshot (tar.gz zip) |
| parent | 2f6650b1994587ea19e315d18a01a034b5a55a88 | commitdiff |
isl_tab_basic_map_partial_lexopt: add all equalities before pivoting
During the construction of the initial tableau in tab_for_lexmin,
restore_lexmin would get called after the addition of each equality.
However, restore_lexmin performs some pivoting operations that could
invalidate the assumptions of last_var_col_or_int_par_col during
the addition of the next equality.
We therefore postpone the call to restore_lexmin until after
all equalities have been added.
Problem reported by Tobias Grosser <grosser@fim.uni-passau.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
During the construction of the initial tableau in tab_for_lexmin,
restore_lexmin would get called after the addition of each equality.
However, restore_lexmin performs some pivoting operations that could
invalidate the assumptions of last_var_col_or_int_par_col during
the addition of the next equality.
We therefore postpone the call to restore_lexmin until after
all equalities have been added.
Problem reported by Tobias Grosser <grosser@fim.uni-passau.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab_pip.c | diffblobblamehistory | |
| pip_test.sh | diffblobblamehistory | |
| test_inputs/tobi.pip | [new file with mode: 0644] | blob |