| commit | 93c3a33b16a896b32fd09396f149be0bdab71665 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 8 Aug 2009 18:02:40 +0000 (8 20:02 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 9 Aug 2009 14:19:41 +0000 (9 16:19 +0200) | ||
| tree | fcc8e75ed7fb7b19c18fa624172229efaa50d455 | treesnapshot (tar.gz zip) |
| parent | d3d6bf7df81fc6a6edd6cd6b4dafdf6994ca4c03 | commitdiff |
isl_tab_add_valid_eq: keep track of whether equality is negated
This is important during generalized basis reduction, because
this procedure requires the dual variables of some of the
equalities added to the tableau. If the original equality get
negated then the dual of the original equality will be the
opposite of the dual of the equality that was actually added.
Without this fix, gbr could in some cases make completely
inappropriate decisions.
This is important during generalized basis reduction, because
this procedure requires the dual variables of some of the
equalities added to the tableau. If the original equality get
negated then the dual of the original equality will be the
opposite of the dual of the equality that was actually added.
Without this fix, gbr could in some cases make completely
inappropriate decisions.
| isl_tab.c | diffblobblamehistory | |
| isl_tab.h | diffblobblamehistory |