Blame isl-0.14/test_inputs/convex2.polylib

Packit fb9d21
# {i,j,N | 1<=i<=N; 0<=j<=N-1; 2<=N}
Packit fb9d21
6 5
Packit fb9d21
1  1  0  0 -1
Packit fb9d21
1 -1  0  1  0
Packit fb9d21
1  0  1  0  0
Packit fb9d21
1  0 -1  1 -1 
Packit fb9d21
1  0  0  1 -2
Packit fb9d21
1  0  0  0  1
Packit fb9d21
# {i,j,N | 1<=i<=N; 1<=j<=N; 2<=N}
Packit fb9d21
6 5
Packit fb9d21
1  1  0  0 -1
Packit fb9d21
1 -1  0  1  0
Packit fb9d21
1  0  1  0 -1
Packit fb9d21
1  0 -1  1  0
Packit fb9d21
1  0  0  1 -2
Packit fb9d21
1  0  0  0  1
Packit fb9d21
# {i,j,N | 1<=i<=N; 0<=j<=N; 2<=N}
Packit fb9d21
6 5
Packit fb9d21
   1    0    0    1   -2
Packit fb9d21
   1   -1    0    1    0
Packit fb9d21
   1    0   -1    1    0
Packit fb9d21
   1    1    0    0   -1
Packit fb9d21
   1    0    1    0    0
Packit fb9d21
   1    0    0    0    1