... | ... |
@@ -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)