isl_qpolynomial_as_polynomial_on_domain: use isl_local_space_lift_basic_set
commit174c7f36562a1bc0eb2508555f2f2512605403c3
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 19 Mar 2013 16:07:23 +0000 (19 17:07 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 25 Aug 2018 11:49:23 +0000 (25 13:49 +0200)
tree4507967a8917be67f922cbf39f337b02df6cc36c
parent1f50db3d38c5f5b4acfc81f97bda7d5d089faaad
isl_qpolynomial_as_polynomial_on_domain: use isl_local_space_lift_basic_set

This removes some code duplication.

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