| commit | a3d6ea6f5f774649b2ce8672cb5d31f527a4a06d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 23 Jun 2011 06:50:45 +0000 (23 08:50 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 23 Jun 2011 06:50:45 +0000 (23 08:50 +0200) | ||
| tree | 8ad1855246b7a6afae1d08281ed2770e3add2339 | treesnapshot (tar.gz zip) |
| parent | f509c1376510422c0ca1302f33bcfd52ea342ad4 | commitdiff |
bound.c: verify_point: make sure spaces of compared qpolynomials are the same
The current isl_qpolynomial_is_equal doesn't care about the space
in which a qpolynomial lives and so we were allowed to be sloppy before.
Unfortunately, the current isl_qpolynomial_is_equal also completely
ignores the definitions of the integer divisions, so it will have to
be fixed. This means we can't be sloppy anymore.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The current isl_qpolynomial_is_equal doesn't care about the space
in which a qpolynomial lives and so we were allowed to be sloppy before.
Unfortunately, the current isl_qpolynomial_is_equal also completely
ignores the definitions of the integer divisions, so it will have to
be fixed. This means we can't be sloppy anymore.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| bound.c | diffblobblamehistory |