isl_qpolynomial_substitute_equalities: ignore constant when removing factors
commitb5a81dc919f7d9ebfad838bc627fcec01bc0dc77
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 3 Nov 2010 15:19:08 +0000 (3 16:19 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 4 Nov 2010 21:21:04 +0000 (4 22:21 +0100)
tree3a82d83e24d6ba7525151b665ad125400cfa9b5e
parent00dcc097ba0a04c65c4615671795645d8a9e2587
isl_qpolynomial_substitute_equalities: ignore constant when removing factors

The constant term of the affine expression inside an integer division
should not be taking to account when trying to remove common factors
between numerator and denominator.  For example, [(1 + 2 x)/4]
should be simplified to [x/2].

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