add isl_qpolynomial_neginfty