| commit | 7a7b4d71158065756a0a11c8386c429f8c394f96 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 1 Feb 2012 14:54:30 +0000 (1 15:54 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 2 Feb 2012 13:45:07 +0000 (2 14:45 +0100) | ||
| tree | 338e14b94f26af1891578a4412fe5e23322725ad | treesnapshot (tar.gz zip) |
| parent | 7b583e0633f5e2c31d35af6c64bacd3bff223998 | commitdiff |
summate.c: sum_base: check for and remove equalities
Equalities in the input are removed in barvinok_sum_over_polytope,
but the substitutions in sum_step_polynomial may have reintroduced equalities,
(in particular, one of the floor expressions may be equal to one of
the variables), so we need to check for them again.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Equalities in the input are removed in barvinok_sum_over_polytope,
but the substitutions in sum_step_polynomial may have reintroduced equalities,
(in particular, one of the floor expressions may be equal to one of
the variables), so we need to check for them again.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| summate.c | diffblobblamehistory | |
| tests/iscc/sum3 | [new file with mode: 0644] | blob |