| commit | 068f79c6bd9d4b3d57624d23f8eff8863cf1a49b | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 12 Oct 2009 20:25:22 +0000 (12 22:25 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 12 Oct 2009 20:25:23 +0000 (12 22:25 +0200) | ||
| tree | 1e2315003f4f9948eb245e4b40985fab0b7c1407 | treesnapshot (tar.gz zip) |
| parent | 4c44c6245cf0234a9af5e1cf971d2a26b40e4243 | commitdiff |
isl_tab_pip.c: propagate some equalities from gbr context to main tableau
If a new equality in the context can be used to eliminate
a parameter in the main tableau, we perform the elimination
as this allows us to more easily determine the signs of rows
and it may avoid the introduction of some redundant integer
divisions.
If a new equality in the context can be used to eliminate
a parameter in the main tableau, we perform the elimination
as this allows us to more easily determine the signs of rows
and it may avoid the introduction of some redundant integer
divisions.
| isl_tab_pip.c | diffblobblamehistory |