| commit | 097eee1932c6659dea35092ab54e6a5ec94d6c2f | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 6 Aug 2010 09:34:26 +0000 (6 11:34 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 6 Aug 2010 13:40:09 +0000 (6 15:40 +0200) | ||
| tree | 8750412c415a565a6f7a00507f299e535589304b | treesnapshot (tar.gz zip) |
| parent | 20273cff26b9164b6761634a93514b0e19dd6322 | commitdiff |
isl_pw_qpolynomial_intersect_domain: simplify polynomials using equalities
We now use any equalities we find in the intersected domain.
Perhaps we should check if the intersection had any effect
on the equalities first.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
We now use any equalities we find in the intersected domain.
Perhaps we should check if the intersection had any effect
on the equalities first.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_fold.c | diffblobblamehistory | |
| isl_polynomial.c | diffblobblamehistory | |
| isl_polynomial_private.h | diffblobblamehistory | |
| isl_pw_templ.c | diffblobblamehistory |