isl_val_is_nan: use isl_bool_ok
[isl.git] / test_inputs / convex2.polylib
blob0bfd737291c95658200494ed257a7a1e093574ad
1 # {i,j,N | 1<=i<=N; 0<=j<=N-1; 2<=N}
2 6 5
3 1  1  0  0 -1
4 1 -1  0  1  0
5 1  0  1  0  0
6 1  0 -1  1 -1 
7 1  0  0  1 -2
8 1  0  0  0  1
9 # {i,j,N | 1<=i<=N; 1<=j<=N; 2<=N}
10 6 5
11 1  1  0  0 -1
12 1 -1  0  1  0
13 1  0  1  0 -1
14 1  0 -1  1  0
15 1  0  0  1 -2
16 1  0  0  0  1
17 # {i,j,N | 1<=i<=N; 0<=j<=N; 2<=N}
18 6 5
19    1    0    0    1   -2
20    1   -1    0    1    0
21    1    0   -1    1    0
22    1    1    0    0   -1
23    1    0    1    0    0
24    1    0    0    0    1