repo.or.cz
/
isl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
add isl_basic_set_lexmax
[isl.git]
/
test_inputs
/
convex1.polylib
blob
b563d8de7fff5e83bd068dacd8c06e8256bf761b
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