bernstein: add piecewise_lst::is_equal
[barvinok.git] / bernstein / examples / linearExample.out
blob3da43504f8b3e5cf7a1fdc87e0edeb5be9045ae4
2 ===============================================
4 Domain: 
5          M + L  >= 0
6          N - M - L  >= 0
7          L  >= 0
8           1 >= 0
10 -----------------------------------------------
11 Coefficients: 
13         34/7*L-1/7*M
14         75/28*N+61/28*L-79/28*M
15         Minimum coefficient(s): {34/7*L-1/7*M}
16         Maximum coefficient(s): {75/28*N+61/28*L-79/28*M}
19 ===============================================
21 Domain: 
22          M + L  >= 0
23          - N + M + L  >= 0
24          L  >= 0
25           1 >= 0
27 -----------------------------------------------
28 Coefficients: 
30         -1/7*N+5*L
31         34/7*N-5*M
32         Minimum coefficient(s): {34/7*N-5*M}
33         Maximum coefficient(s): {-1/7*N+5*L}
36 ===============================================