add isl_tab_mark_rational
[isl.git] / test_inputs / convex0.polylib
blobcbc4d3b6cebef2a537f388bf3c843f6bc0369ec4
1 2 3
2 1 1 0
3 1 -1 1
5 2 3
6 1 1 -1
7 1 -1 2
9 2 3
10 1 1 0
11 1 -1 2