polly/lib/External/isl/test_inputs/convex1.polylib

   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