103   Coefficient min_d;  in test04()  local
111     && prp.minimize(le, min_n, min_d, min)  in test04()
113     && prp.minimize(le, min_n, min_d, min, pnt_min);  in test04()
116     && max && min && max_n == 5 && max_d == 3 && min_n == 5 && min_d == 3  in test04()
144   Coefficient min_d;  in test05()  local
151     && prp.minimize(le, min_n, min_d, min)  in test05()
153     && prp.minimize(le, min_n, min_d, min, pnt_min);  in test05()
156     && max && min && max_n == 1 && max_d == 1 && min_n == 1 && min_d == 1  in test05()
181   Coefficient min_d;  in test06()  local
188     && !prp.minimize(le, min_n, min_d, min)  in test06()
190     && !prp.minimize(le, min_n, min_d, min, pnt_min);  in test06()
215   Coefficient min_d;  in test07()  local
223     && prp.minimize(le, min_n, min_d, min)  in test07()
225     && prp.minimize(le, min_n, min_d, min, pnt_min);  in test07()
229   ok = ok && max_n == 1 && max_d == 1 && min_n == 0 && min_d == 1;  in test07()