# Vincent's example (irisa)
#--------------------------
# 0 <= j <= P
# 0 <= i <= P-j
#--------------------------
4 5
1 0 1 0 0     # j >= 0
1 0 -1 0 10   # j <= 10
1 1 0 0 0     # i >= 0
1 -1 -1 1 0   # -i - j + P >= 0

#--------------------------
# Context: one parameter P>=0
1 3
1 1 0

