barvinok_enumerate_e: avoid infinite loop when presented with incorrect input
[barvinok.git] / bernstein / examples / linearExample.matrix
blob25d08edc7e859652965c98c10fa4a1d5cef052fd
1 6 8
2 #  i  j  k  N M L cst
3 1  1  0  0  0 0 0  0    # i >= 0
4 1 -1  0  1  1 0 0  0    # -i + k + N >= 0
5 1  0  1  1  0 1 0  0    #  j + k + M >= 0
6 1  1 -1  0  0 0 1  0    #  i - k + L >= 0
7 1  0  0  0  0 0 1  0    #  L >= 0
8 1  0  0  0  0 1 1  0    #  M + L >= 0
10 0 5
12 i j k N M L
14 1/7*k+5*j+1/2*i
18 4 5
19    1    0    1    1    0 
20    1    1   -1   -1    0 
21    1    0    0    1    0 
22    1    0    0    0    1 
24 { 34/7*L-1/7*M, 75/28*N+61/28*L-79/28*M }
25 {34/7*L-1/7*M}
26 {75/28*N+61/28*L-79/28*M}
28 4 5
29    1    0    1    1    0 
30    1   -1    1    1    0 
31    1    0    0    1    0 
32    1    0    0    0    1 
34 { -1/7*N+5*L, 34/7*N-5*M }
35 {34/7*N-5*M}
36 {-1/7*N+5*L}