isl_qpolynomial_max: fix detection of inactive variables
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 27 Mar 2010 12:21:00 +0000 (13:21 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 30 Mar 2010 10:05:02 +0000 (12:05 +0200)
commit25c63bac44dba2780cb60208366e485f84cc4bad
tree5595cb1e8d09118b6f1f6a4041061c063484f7f4
parent740adccbd7f1d3bc9e6ac8e68311a247808d3f31
isl_qpolynomial_max: fix detection of inactive variables

Without this patch, some active set dimensions would be treated
as inactive and effectively be removed, resulting in an incorrect maximum.
isl_polynomial.c