bernstein: add piecewise_lst::is_equal
[barvinok.git] / bernstein / examples / philippe3vars3pars.out
blobf4ac6efd4b638e58ca8f10ffc1bfa000ad1ef9c9
2 ===============================================
4 Domain: 
5          M + L  >= 0
6          N - M - L  >= 0
7          L  >= 0
8           1 >= 0
10 -----------------------------------------------
11 Coefficients: 
13         1/4*N-N*L*M-1/2*N*L^2-3/2*L^2*M-1/2*N*M^2+3/4*L-1/4*M-1/2*M^3-3/2*L*M^2-1/2*L^3
14         3/4*N-3/4*N*L*M-1/4*N*M-1/4*N*L-3/8*N*L^2-3/8*L^2*M-3/8*N*M^2+1/4*L*M+1/8*N^2+1/4*L-1/8*N^3-3/4*M-3/8*N^2*L+1/8*L^2-1/8*M^3-3/8*L*M^2-3/8*N^2*M+1/8*M^2-1/8*L^3
15         -3*L^2*M+L-M^3-3*L*M^2-L^3
16         1/2*N-N*L*M-1/12*N*M-1/12*N*L-1/2*N*L^2-3/4*L^2*M-1/2*N*M^2+1/12*L*M+1/24*N^2+1/2*L-1/2*M-1/4*N^2*L+1/24*L^2-1/4*M^3-3/4*L*M^2-1/4*N^2*M+1/24*M^2-1/4*L^3
17         Minimum coefficient(s): {1/4*N-N*L*M-1/2*N*L^2-3/2*L^2*M-1/2*N*M^2+3/4*L-1/4*M-1/2*M^3-3/2*L*M^2-1/2*L^3,3/4*N-3/4*N*L*M-1/4*N*M-1/4*N*L-3/8*N*L^2-3/8*L^2*M-3/8*N*M^2+1/4*L*M+1/8*N^2+1/4*L-1/8*N^3-3/4*M-3/8*N^2*L+1/8*L^2-1/8*M^3-3/8*L*M^2-3/8*N^2*M+1/8*M^2-1/8*L^3,-3*L^2*M+L-M^3-3*L*M^2-L^3,1/2*N-N*L*M-1/12*N*M-1/12*N*L-1/2*N*L^2-3/4*L^2*M-1/2*N*M^2+1/12*L*M+1/24*N^2+1/2*L-1/2*M-1/4*N^2*L+1/24*L^2-1/4*M^3-3/4*L*M^2-1/4*N^2*M+1/24*M^2-1/4*L^3}
18         Maximum coefficient(s): {1/4*N-N*L*M-1/2*N*L^2-3/2*L^2*M-1/2*N*M^2+3/4*L-1/4*M-1/2*M^3-3/2*L*M^2-1/2*L^3,3/4*N-3/4*N*L*M-1/4*N*M-1/4*N*L-3/8*N*L^2-3/8*L^2*M-3/8*N*M^2+1/4*L*M+1/8*N^2+1/4*L-1/8*N^3-3/4*M-3/8*N^2*L+1/8*L^2-1/8*M^3-3/8*L*M^2-3/8*N^2*M+1/8*M^2-1/8*L^3,-3*L^2*M+L-M^3-3*L*M^2-L^3,1/2*N-N*L*M-1/12*N*M-1/12*N*L-1/2*N*L^2-3/4*L^2*M-1/2*N*M^2+1/12*L*M+1/24*N^2+1/2*L-1/2*M-1/4*N^2*L+1/24*L^2-1/4*M^3-3/4*L*M^2-1/4*N^2*M+1/24*M^2-1/4*L^3}
21 ===============================================
23 Domain: 
24          M + L  >= 0
25          - N + M + L  >= 0
26          L  >= 0
27           1 >= 0
29 -----------------------------------------------
30 Coefficients: 
32         L-N^3
33         1/3*N+2/3*L-N^3-1/3*M
34         N-N^3-M
35         2/3*N+1/3*L-N^3-2/3*M
36         Minimum coefficient(s): {N-N^3-M}
37         Maximum coefficient(s): {L-N^3}
40 ===============================================