| commit | f67ffdff6ca82424d7882d2587516b9ce44acfe9 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 20 Jun 2015 15:30:19 +0000 (20 17:30 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 29 Jul 2015 15:29:34 +0000 (29 17:29 +0200) | ||
| tree | 24aa165c21a15f8b6a305b5bd69e1b06286bba48 | treesnapshot (tar.gz zip) |
| parent | c85043a49c827750c0c9efc9b00d18c5d667627f | commitdiff |
isl_map_simplify.c uset_gist_full: detect equalities in the tableau
Since uset_gist currently performs a compression based on the equalities
in the intersection of the input and the context, there can not be
any equalities left, so there is no point in checking for equalities now.
However, in a future commit, uset_gist will only take into account
some equalities for the compression and then the tableau may indeed
contain hidden equalities.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Since uset_gist currently performs a compression based on the equalities
in the intersection of the input and the context, there can not be
any equalities left, so there is no point in checking for equalities now.
However, in a future commit, uset_gist will only take into account
some equalities for the compression and then the tableau may indeed
contain hidden equalities.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map_simplify.c | diffblobblamehistory |