3 int main(int argc, char **argv)
11 map = isl_map_read_from_file(ctx, stdin, -1);
12 map = isl_map_transitive_closure(map, &exact);
14 printf("# NOT exact\n");
15 isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);
17 map = isl_map_compute_divs(map);
18 map = isl_map_coalesce(map);
19 printf("# coalesced\n");
20 isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);