isl_qpolynomial_is_equal: also compare spaces and divs
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 23 Jun 2011 06:59:26 +0000 (08:59 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 23 Jun 2011 06:59:26 +0000 (08:59 +0200)
commit72b82fadc9c81c43d3e34f93fd7f84d7b8c1348b
tree467000d38f91f969133bf5ccfc7ed8121cdbe93e
parenta3d6ea6f5f774649b2ce8672cb5d31f527a4a06d
isl_qpolynomial_is_equal: also compare spaces and divs

Before, isl_qpolynomial_is_equal would only consider the "shape"
of the polynomial, meaning that two polynomial living in different
spaces could be considered equal.  Worse, expressions in terms
of different integer divisions could also be considered equal.
We now take into account both space and divs so that we no longer
produce false positives.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_polynomial.c
isl_test.c