add isl_pw_qpolynomial_min