bernstein: add piecewise_lst::is_equal
[barvinok.git] / bernstein / examples / philippe3vars.out
blobd83a6e1eb7bec1ef123f9ff1d81d4cb15558e28e
2 ===============================================
4 Domain: 
5          N  >= 0
6           1 >= 0
8 -----------------------------------------------
9 Coefficients: 
11         0
12         3/4*N+1/8*N^2-1/8*N^3
13         1/4*N
14         1/2*N+1/24*N^2
15         Minimum coefficient(s): {0,3/4*N+1/8*N^2-1/8*N^3}
16         Maximum coefficient(s): {3/4*N+1/8*N^2-1/8*N^3,1/2*N+1/24*N^2}
19 ===============================================
21 Domain: 
22          - N  >= 0
23           1 >= 0
25 -----------------------------------------------
26 Coefficients: 
28         1/3*N-N^3
29         N-N^3
30         -N^3
31         2/3*N-N^3
32         Minimum coefficient(s): {N-N^3}
33         Maximum coefficient(s): {-N^3}
36 ===============================================