isl_schedule: explicitly keep track of isl_ctx

[isl.git] / test_inputs / convex12.polylib

3 5
1   0    0    1    1
1   0    1    0    1
1  -1   -1    0   -2

3 5
1   0    0    1    2
1   1   -1    0    0
1   1    0    0   -1

1 5
1   0    0    1    2