nvar = isl_set_dim(dom, isl_dim_set);
opt = isl_qpolynomial_drop_dims(opt, isl_dim_set, 0, nvar);
if (vpb->exact && bounded)
- ok = isl_qpolynomial_is_equal(opt, bound);
+ ok = isl_qpolynomial_plain_is_equal(opt, bound);
else if (sign > 0)
ok = isl_qpolynomial_le_cst(opt, bound);
else