| ... | ... |
@@ -153,41 +153,41 @@ |
| 153 | 153 |
c = (e == 2.2); |
| 154 | 154 |
c = (e == 2 ); |
| 155 | 155 |
c = (e == p1 ); |
| 156 | 156 |
c = (2.2== f ); |
| 157 | 157 |
c = (2 == f ); |
| 158 | 158 |
c = (p1 == f ); |
| 159 | 159 |
//c = (p1 == p2 ); |
| 160 | 160 |
c = (p1 == 2.2); |
| 161 | 161 |
c = (p1 == 2 ); |
| 162 | 162 |
c = (2.2== p2 ); |
| 163 | 163 |
c = (2 == p2 ); |
| 164 | 164 |
|
| 165 |
c = (2 <= e <= 3); |
|
| 166 |
c = (2 <= p1<= 3); |
|
| 165 |
c = ((2 <= e) <= 3); |
|
| 166 |
c = ((2 <= p1) <= 3); |
|
| 167 | 167 |
|
| 168 |
c = (2 >= e >= 3); |
|
| 169 |
c = (2 >= p1>= 3); |
|
| 168 |
c = ((2 >= e) >= 3); |
|
| 169 |
c = ((2 >= p1) >= 3); |
|
| 170 | 170 |
|
| 171 | 171 |
e[x[3]]=2; |
| 172 | 172 |
e[x[3]]=4; |
| 173 | 173 |
e[x[3]]=1; |
| 174 | 174 |
*e=12; |
| 175 | 175 |
|
| 176 | 176 |
lp.addRow(-LP::INF,e,23); |
| 177 | 177 |
lp.addRow(-LP::INF,3.0*(x[1]+x[2]/2)-x[3],23); |
| 178 | 178 |
lp.addRow(-LP::INF,3.0*(x[1]+x[2]*2-5*x[3]+12-x[4]/3)+2*x[4]-4,23); |
| 179 | 179 |
|
| 180 | 180 |
lp.addRow(x[1]+x[3]<=x[5]-3); |
| 181 |
lp.addRow(-7<=x[1]+x[3]-12<=3); |
|
| 181 |
lp.addRow((-7<=x[1]+x[3]-12)<=3); |
|
| 182 | 182 |
lp.addRow(x[1]<=x[5]); |
| 183 | 183 |
|
| 184 | 184 |
std::ostringstream buf; |
| 185 | 185 |
|
| 186 | 186 |
|
| 187 | 187 |
e=((p1+p2)+(p1-0.99*p2)); |
| 188 | 188 |
//e.prettyPrint(std::cout); |
| 189 | 189 |
//(e<=2).prettyPrint(std::cout); |
| 190 | 190 |
double tolerance=0.001; |
| 191 | 191 |
e.simplify(tolerance); |
| 192 | 192 |
buf << "Coeff. of p2 should be 0.01"; |
| 193 | 193 |
check(e[p2]>0, buf.str()); |
0 comments (0 inline)