isl_map_simplify.c: better_div_constraint: use isl_basic_map_offset
[isl.git] / test_inputs / exist.pip
blob3e026e5b8fc014c5c2884583b354aed947afb136
1 [n] -> { : n mod 2 = 0 }
3 -1
5 [n] -> { [i] : n <= i }