26   VERIFY(( std::ratio_equal<std::ratio<2,6>, std::ratio<1,3>>::value == 1 ));  in test01()
27   VERIFY(( std::ratio_equal<std::ratio<2,6>, std::ratio<1,4>>::value == 0 ));  in test01()
29   VERIFY( (std::ratio_not_equal<std::ratio<2,6>,   in test01()
30            std::ratio<1,3>>::value == 0) );  in test01()
31   VERIFY( (std::ratio_not_equal<std::ratio<2,6>,   in test01()
32            std::ratio<1,4>>::value == 1) );  in test01()
38   VERIFY( (std::ratio_less<std::ratio<1,4>, std::ratio<1,3>>::value == 1) );  in test02()
39   VERIFY( (std::ratio_less<std::ratio<-1,3>, std::ratio<1,3>>::value == 1) );  in test02()
41   VERIFY( (std::ratio_less<std::ratio<1,3>, std::ratio<1,4>>::value == 0) );  in test02()
42   VERIFY( (std::ratio_less<std::ratio<1,3>, std::ratio<-1,3>>::value == 0) );  in test02()
44   VERIFY( (std::ratio_less<std::ratio<-1,3>, std::ratio<-1,4>>::value == 1) );  in test02()
45   VERIFY( (std::ratio_less<std::ratio<0,4>, std::ratio<0,3>>::value == 0) );  in test02()
46   VERIFY( (std::ratio_less<std::ratio<1,3>, std::ratio<0,3>>::value == 0) );  in test02()
47   VERIFY( (std::ratio_less<std::ratio<0,3>, std::ratio<-1,4>>::value == 0) );  in test02()
49   VERIFY( (std::ratio_less_equal<std::ratio<-1,3>,   in test02()
50            std::ratio<-1,3>>::value == 1) );  in test02()
51   VERIFY( ( std::ratio_less_equal<std::ratio<1,4>,   in test02()
52            std::ratio<1,3>>::value == 1) );  in test02()
54   VERIFY( (std::ratio_less_equal<std::ratio<1,4>,   in test02()
55            std::ratio<-1,3>>::value == 0) );  in test02()
56   VERIFY( (std::ratio_less_equal<std::ratio<1,3>,   in test02()
57            std::ratio<-1,3>>::value == 0) );  in test02()
59   VERIFY( (std::ratio_greater<std::ratio<1,3>, std::ratio<1,4>>::value == 1) );  in test02()
60   VERIFY( (std::ratio_greater<std::ratio<1,3>, std::ratio<-1,3>>::value == 1) );  in test02()
62   VERIFY( (std::ratio_greater<std::ratio<1,4>, std::ratio<1,3>>::value == 0) );  in test02()
63   VERIFY( (std::ratio_greater<std::ratio<-1,3>, std::ratio<1,3>>::value == 0) );  in test02()
65   VERIFY( (std::ratio_greater_equal<std::ratio<1,3>,   in test02()
66            std::ratio<1,3>>::value == 1) );  in test02()
67   VERIFY( (std::ratio_greater_equal<std::ratio<1,3>,   in test02()
68            std::ratio<-1,3>>::value == 1) );  in test02()
70   VERIFY( (std::ratio_greater_equal<std::ratio<-1,3>,   in test02()
71            std::ratio<1,3>>::value == 0) );  in test02()
72   VERIFY( (std::ratio_greater_equal<std::ratio<1,4>,   in test02()
73            std::ratio<1,3>>::value == 0) );  in test02()