bernstein: add piecewise_lst::is_equal
[barvinok.git] / bernstein / examples / basicLinear.out
blob74ae87a2834d67d36ac34386cf428ef6bb4fe2fb
2 ===============================================
4 Domain: 
5          P - Q  >= 0
6          Q  -1 >= 0
7           1 >= 0
9 -----------------------------------------------
10 Coefficients: 
12         Q
13         1
14         Minimum coefficient(s): {1}
15         Maximum coefficient(s): {Q}
18 ===============================================
20 Domain: 
21          - P + Q  >= 0
22          P  -1 >= 0
23           1 >= 0
25 -----------------------------------------------
26 Coefficients: 
28         1
29         P
30         Minimum coefficient(s): {1}
31         Maximum coefficient(s): {P}
34 ===============================================