25 static bool test_mul(double al, double au, double bl, double bu) {  in test_mul()  argument
26   I a(al, au), b(bl, bu);  in test_mul()
28   return c.lower() == (min)(al*bl, al*bu, au*bl, au*bu)  in test_mul()
29       && c.upper() == (max)(al*bl, al*bu, au*bl, au*bu);  in test_mul()
40 static bool test_div(double al, double au, double bl, double bu) {  in test_div()  argument
41   I a(al, au), b(bl, bu);  in test_div()
43   return c.lower() == (min)(al/bl, al/bu, au/bl, au/bu)  in test_div()
44       && c.upper() == (max)(al/bl, al/bu, au/bl, au/bu);  in test_div()
47 static bool test_div1(double al, double au, double bc) {  in test_div1()  argument
48   I a(al, au), b(bc);  in test_div1()
61 static bool test_square(double al, double au) {  in test_square()  argument
62   I a(al, au);  in test_square()
69 static bool test_sqrt(double al, double au) {  in test_sqrt()  argument
70   I a(al, au);  in test_sqrt()