27   VERIFY(( std::ratio_equal<std::ratio<2,6>, std::ratio<1,3>>::value == 1 ));  in test01()
28   VERIFY(( std::ratio_equal<std::ratio<2,6>, std::ratio<1,4>>::value == 0 ));  in test01()
30   VERIFY( (std::ratio_not_equal<std::ratio<2,6>,   in test01()
31            std::ratio<1,3>>::value == 0) );  in test01()
32   VERIFY( (std::ratio_not_equal<std::ratio<2,6>,   in test01()
33            std::ratio<1,4>>::value == 1) );  in test01()
39   VERIFY( (std::ratio_less<std::ratio<1,4>, std::ratio<1,3>>::value == 1) );  in test02()
40   VERIFY( (std::ratio_less<std::ratio<-1,3>, std::ratio<1,3>>::value == 1) );  in test02()
42   VERIFY( (std::ratio_less<std::ratio<1,3>, std::ratio<1,4>>::value == 0) );  in test02()
43   VERIFY( (std::ratio_less<std::ratio<1,3>, std::ratio<-1,3>>::value == 0) );  in test02()
45   VERIFY( (std::ratio_less<std::ratio<-1,3>, std::ratio<-1,4>>::value == 1) );  in test02()
46   VERIFY( (std::ratio_less<std::ratio<0,4>, std::ratio<0,3>>::value == 0) );  in test02()
47   VERIFY( (std::ratio_less<std::ratio<1,3>, std::ratio<0,3>>::value == 0) );  in test02()
48   VERIFY( (std::ratio_less<std::ratio<0,3>, std::ratio<-1,4>>::value == 0) );  in test02()
50   VERIFY( (std::ratio_less_equal<std::ratio<-1,3>,   in test02()
51            std::ratio<-1,3>>::value == 1) );  in test02()
52   VERIFY( ( std::ratio_less_equal<std::ratio<1,4>,   in test02()
53            std::ratio<1,3>>::value == 1) );  in test02()
55   VERIFY( (std::ratio_less_equal<std::ratio<1,4>,   in test02()
56            std::ratio<-1,3>>::value == 0) );  in test02()
57   VERIFY( (std::ratio_less_equal<std::ratio<1,3>,   in test02()
58            std::ratio<-1,3>>::value == 0) );  in test02()
60   VERIFY( (std::ratio_greater<std::ratio<1,3>, std::ratio<1,4>>::value == 1) );  in test02()
61   VERIFY( (std::ratio_greater<std::ratio<1,3>, std::ratio<-1,3>>::value == 1) );  in test02()
63   VERIFY( (std::ratio_greater<std::ratio<1,4>, std::ratio<1,3>>::value == 0) );  in test02()
64   VERIFY( (std::ratio_greater<std::ratio<-1,3>, std::ratio<1,3>>::value == 0) );  in test02()
66   VERIFY( (std::ratio_greater_equal<std::ratio<1,3>,   in test02()
67            std::ratio<1,3>>::value == 1) );  in test02()
68   VERIFY( (std::ratio_greater_equal<std::ratio<1,3>,   in test02()
69            std::ratio<-1,3>>::value == 1) );  in test02()
71   VERIFY( (std::ratio_greater_equal<std::ratio<-1,3>,   in test02()
72            std::ratio<1,3>>::value == 0) );  in test02()
73   VERIFY( (std::ratio_greater_equal<std::ratio<1,4>,   in test02()
74            std::ratio<1,3>>::value == 0) );  in test02()