Lines Matching refs:den
43 Coefficient den; in test01() local
45 bool ok = oct.maximize(x1-2*x2, num, den, included) in test01()
46 && num == 5 && den == 1 && included; in test01()
49 if (den != 1) in test01()
50 nout << "/" << den; in test01()
56 ok = oct.minimize(x1-2*x2, num, den, included) in test01()
57 && num == -10 && den == 1 && included; in test01()
60 if (den != 1) in test01()
61 nout << "/" << den; in test01()
81 Coefficient den; in test02() local
83 bool ok = oct.maximize(x1-x2, num, den, included) in test02()
84 && num == 5 && den == 1 && included; in test02()
87 if (den != 1) in test02()
88 nout << "/" << den; in test02()
94 ok = oct.minimize(x1-x2, num, den, included) in test02()
95 && num == -5 && den == 1 && included; in test02()
98 if (den != 1) in test02()
99 nout << "/" << den; in test02()
122 Coefficient den; in test03() local
124 bool ok = oct.maximize(-10*x1-6*x2-4*x3+4, num, den, included) in test03()
125 && num == 4 && den == 1 && included; in test03()
128 if (den != 1) in test03()
129 nout << "/" << den; in test03()
135 ok = oct.minimize(-10*x1-6*x2-4*x3+4, num, den, included) in test03()
136 && num == -80 && den == 1 && included; in test03()
139 if (den != 1) in test03()
140 nout << "/" << den; in test03()
163 Coefficient den; in test04() local
165 bool ok = oct.maximize(x2-x3+5, num, den, included) in test04()
166 && num == 15 && den == 1 && included; in test04()
169 if (den != 1) in test04()
170 nout << "/" << den; in test04()
176 ok = oct.minimize(x2-x3+5, num, den, included) in test04()
177 && num == -1 && den == 1 && included; in test04()
180 if (den != 1) in test04()
181 nout << "/" << den; in test04()
200 Coefficient den; in test05() local
202 bool ok = oct.maximize(x1-2, num, den, included) in test05()
203 && num == 3 && den == 1 && included; in test05()
206 if (den != 1) in test05()
207 nout << "/" << den; in test05()
213 ok = oct.minimize(x1-2, num, den, included) in test05()
214 && num == -1 && den == 1 && included; in test05()
217 if (den != 1) in test05()
218 nout << "/" << den; in test05()
233 Coefficient den; in test06() local
235 bool ok = !oct.maximize(x1-2, num, den, included); in test06()
240 ok = !oct.minimize(x1-2, num, den, included); in test06()
253 Coefficient den; in test07() local
255 bool ok = !oct.maximize(Linear_Expression(2), num, den, included); in test07()
260 ok = !oct.minimize(Linear_Expression(2), num, den, included); in test07()
273 Coefficient den; in test08() local
275 bool ok = oct.maximize(Linear_Expression(2), num, den, included) in test08()
276 && num == 2 && den == 1 && included; in test08()
279 if (den != 1) in test08()
280 nout << "/" << den; in test08()
286 ok = oct.minimize(Linear_Expression(2), num, den, included); in test08()
289 if (den != 1) in test08()
290 nout << "/" << den; in test08()
308 Coefficient den; in test09() local
317 oct.minimize(LE, num, den, included); in test09()
335 Coefficient den; in test10() local
339 bool ok = oct.maximize(LE, num, den, included, g) in test10()
340 && num == 0 && den == 1 && included in test10()
345 if (den != 1) in test10()
346 nout << "/" << den; in test10()
354 ok = oct.minimize(LE, num, den, included, g) in test10()
355 && num == 0 && den == 1 && included in test10()
360 if (den != 1) in test10()
361 nout << "/" << den; in test10()
381 Coefficient den; in test11() local
385 bool ok = !oct.maximize(LE, num, den, included, g); in test11()
390 ok = oct.minimize(LE, num, den, included, g) in test11()
391 && num == 2 && den == 1 && included in test11()
396 if (den != 1) in test11()
397 nout << "/" << den; in test11()
418 Coefficient den; in test12() local
422 bool ok = oct.maximize(LE, num, den, included, g) in test12()
423 && num == 0 && den == 1 && included in test12()
428 if (den != 1) in test12()
429 nout << "/" << den; in test12()
437 ok = !oct.minimize(LE, num, den, included, g); in test12()
455 Coefficient den; in test13() local
459 bool ok = oct.maximize(LE, num, den, included, g) in test13()
460 && num == 0 && den == 1 && included in test13()
465 if (den != 1) in test13()
466 nout << "/" << den; in test13()
474 ok = !oct.minimize(LE, num, den, included, g); in test13()
495 Coefficient den; in test14() local
499 bool ok = oct.maximize(LE, num, den, included, g) in test14()
500 && num == 0 && den == 1 && included in test14()
505 if (den != 1) in test14()
506 nout << "/" << den; in test14()
514 ok = !oct.minimize(LE, num, den, included, g); in test14()
535 Coefficient den; in test15() local
539 bool ok = oct.maximize(LE, num, den, included, g) in test15()
540 && num == 3 && den == 1 && included in test15()
545 if (den != 1) in test15()
546 nout << "/" << den; in test15()
554 ok = oct.minimize(LE, num, den, included, g) in test15()
555 && num == 3 && den == 1 && included in test15()
560 if (den != 1) in test15()
561 nout << "/" << den; in test15()
579 Coefficient den; in test16() local
589 oct.minimize(LE, num, den, included, g); in test16()
611 Coefficient den; in test17() local
613 bool ok = oct.maximize(3*A, num, den, included) in test17()
614 && num == 6 && den == 5 && included; in test17()
617 if (den != 1) in test17()
618 nout << "/" << den; in test17()
624 ok = oct.minimize(3*A, num, den, included) in test17()
625 && num == 3 && den == 5 && included; in test17()
628 if (den != 1) in test17()
629 nout << "/" << den; in test17()
646 Coefficient den; in test18() local
648 bool ok = oct.maximize(-7*A, num, den, included) in test18()
649 && num == -7 && den == 3 && included; in test18()
652 if (den != 1) in test18()
653 nout << "/" << den; in test18()
659 ok = oct.minimize(-7*A, num, den, included) in test18()
660 && num == -14 && den == 5 && included; in test18()
663 if (den != 1) in test18()
664 nout << "/" << den; in test18()