- res = isl_solve_lp(bmap, 1, bmap->ineq[i]+1, ctx->one, &opt, NULL);
+ res = isl_solve_lp(bmap, 1, bmap->ineq[i]+1, ctx->one,
+ &opt, rational ? &opt_denom : NULL);
isl_int_add(opt, opt, bmap->ineq[i][0]);
if (isl_int_is_zero(opt)) {
isl_basic_map_inequality_to_equality(bmap, i);
--i;
}
}
isl_int_add(opt, opt, bmap->ineq[i][0]);
if (isl_int_is_zero(opt)) {
isl_basic_map_inequality_to_equality(bmap, i);
--i;
}
}
bset = isl_basic_map_underlying_set(isl_basic_map_copy(bmap));
bset = isl_basic_set_remove_equalities(bset, NULL, &T2);
bset = isl_basic_map_underlying_set(isl_basic_map_copy(bmap));
bset = isl_basic_set_remove_equalities(bset, NULL, &T2);