add isl_qpolynomial_as_polynomial_on_domain