isl_polynomial.c: substitute_div: use isl_qpolynomial_domain_var_offset
commit651d6305f6af7d243f5091a2acded677b71b3f3d
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 17 Aug 2018 08:04:30 +0000 (17 10:04 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 2 Sep 2018 15:14:53 +0000 (2 17:14 +0200)
tree817b42ace1f8e6fbfcf0e974671695790d9f9030
parent325322ab14fc02120854988aedb43dd1e47397f1
isl_polynomial.c: substitute_div: use isl_qpolynomial_domain_var_offset

This reduces the dependence on the internal representation.

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