isl_tab_pip.c: align_context_divs: use isl_basic_set_dim
[isl.git] / test_inputs / convex1.polylib
blobb563d8de7fff5e83bd068dacd8c06e8256bf761b
1 # {j,N | 0<=j<=N-1; 2<=N}
2 4 4
3 1   1  0   0
4 1  -1  1  -1
5 1   0  1  -2
6 1   0  0   1
7 # {j, N | 1<=j<=N; 1<=N}
8 4 4
9 1  1  0  -1
10 1 -1  1   0
11 1  0  1  -1
12 1  0  0   1
13 # {j,N | 0<=j<=N; 2<=j+N}
14 3 4
15    1    1    1   -2
16    1    1    0    0
17    1   -1    1    0