isl_qpolynomial_lift: use isl_qpolynomial_domain_dim
commit16ed2a5779fad039581ce9d99c00f132cafa3a57
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 17 Aug 2018 08:58:59 +0000 (17 10:58 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 2 Sep 2018 15:14:53 +0000 (2 17:14 +0200)
tree2cda916e330a9f91c5f92938eee31527655ccb1a
parent5051835ffc86d33836b12c6a4bf7da92cdcf4efa
isl_qpolynomial_lift: use isl_qpolynomial_domain_dim

This reduces the dependence on the internal representation.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_polynomial.c