test_mixed.hpp 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190
  1. ///////////////////////////////////////////////////////////////////////////////
  2. // Copyright 2015 John Maddock. Distributed under the Boost
  3. // Software License, Version 1.0. (See accompanying file
  4. // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  5. #ifndef BOOST_MATH_TEST_MIXED_HPP
  6. #define BOOST_MATH_TEST_MIXED_HPP
  7. #include "test.hpp"
  8. template <class Big, class Small>
  9. void test()
  10. {
  11. Big big_val = 1;
  12. big_val += std::numeric_limits<Big>::epsilon();
  13. Small small_val = 1;
  14. BOOST_CHECK_EQUAL(big_val == small_val, false);
  15. BOOST_CHECK_EQUAL(big_val <= small_val, false);
  16. BOOST_CHECK_EQUAL(big_val >= small_val, true);
  17. BOOST_CHECK_EQUAL(big_val < small_val, false);
  18. BOOST_CHECK_EQUAL(big_val > small_val, true);
  19. BOOST_CHECK_EQUAL(big_val != small_val, true);
  20. BOOST_CHECK_EQUAL(small_val == big_val, false);
  21. BOOST_CHECK_EQUAL(small_val <= big_val, true);
  22. BOOST_CHECK_EQUAL(small_val >= big_val, false);
  23. BOOST_CHECK_EQUAL(small_val < big_val, true);
  24. BOOST_CHECK_EQUAL(small_val > big_val, false);
  25. BOOST_CHECK_EQUAL(small_val != big_val, true);
  26. // Again with expression templates, on one the other, or both args:
  27. BOOST_CHECK_EQUAL(big_val == small_val * 1, false);
  28. BOOST_CHECK_EQUAL(big_val <= small_val * 1, false);
  29. BOOST_CHECK_EQUAL(big_val >= small_val * 1, true);
  30. BOOST_CHECK_EQUAL(big_val < small_val * 1, false);
  31. BOOST_CHECK_EQUAL(big_val > small_val * 1, true);
  32. BOOST_CHECK_EQUAL(big_val != small_val * 1, true);
  33. BOOST_CHECK_EQUAL(small_val * 1 == big_val, false);
  34. BOOST_CHECK_EQUAL(small_val * 1 <= big_val, true);
  35. BOOST_CHECK_EQUAL(small_val * 1 >= big_val, false);
  36. BOOST_CHECK_EQUAL(small_val * 1 < big_val, true);
  37. BOOST_CHECK_EQUAL(small_val * 1 > big_val, false);
  38. BOOST_CHECK_EQUAL(small_val * 1 != big_val, true);
  39. BOOST_CHECK_EQUAL(big_val * 1 == small_val, false);
  40. BOOST_CHECK_EQUAL(big_val * 1 <= small_val, false);
  41. BOOST_CHECK_EQUAL(big_val * 1 >= small_val, true);
  42. BOOST_CHECK_EQUAL(big_val * 1 < small_val, false);
  43. BOOST_CHECK_EQUAL(big_val * 1 > small_val, true);
  44. BOOST_CHECK_EQUAL(big_val * 1 != small_val, true);
  45. BOOST_CHECK_EQUAL(small_val == big_val * 1, false);
  46. BOOST_CHECK_EQUAL(small_val <= big_val * 1, true);
  47. BOOST_CHECK_EQUAL(small_val >= big_val * 1, false);
  48. BOOST_CHECK_EQUAL(small_val < big_val * 1, true);
  49. BOOST_CHECK_EQUAL(small_val > big_val * 1, false);
  50. BOOST_CHECK_EQUAL(small_val != big_val * 1, true);
  51. BOOST_CHECK_EQUAL(big_val * 1 == small_val * 1, false);
  52. BOOST_CHECK_EQUAL(big_val * 1 <= small_val * 1, false);
  53. BOOST_CHECK_EQUAL(big_val * 1 >= small_val * 1, true);
  54. BOOST_CHECK_EQUAL(big_val * 1 < small_val * 1, false);
  55. BOOST_CHECK_EQUAL(big_val * 1 > small_val * 1, true);
  56. BOOST_CHECK_EQUAL(big_val * 1 != small_val * 1, true);
  57. BOOST_CHECK_EQUAL(small_val * 1 == big_val * 1, false);
  58. BOOST_CHECK_EQUAL(small_val * 1 <= big_val * 1, true);
  59. BOOST_CHECK_EQUAL(small_val * 1 >= big_val * 1, false);
  60. BOOST_CHECK_EQUAL(small_val * 1 < big_val * 1, true);
  61. BOOST_CHECK_EQUAL(small_val * 1 > big_val * 1, false);
  62. BOOST_CHECK_EQUAL(small_val * 1 != big_val * 1, true);
  63. BOOST_CHECK_EQUAL(small_val + big_val, Big(small_val) + big_val);
  64. BOOST_CHECK_EQUAL(small_val - big_val, Big(small_val) - big_val);
  65. BOOST_CHECK_EQUAL(small_val * big_val, Big(small_val) * big_val);
  66. BOOST_CHECK_EQUAL(small_val / big_val, Big(small_val) / big_val);
  67. BOOST_CHECK_EQUAL(big_val + small_val, big_val + Big(small_val));
  68. BOOST_CHECK_EQUAL(big_val - small_val, big_val - Big(small_val));
  69. BOOST_CHECK_EQUAL(big_val * small_val, big_val * Big(small_val));
  70. BOOST_CHECK_EQUAL(big_val / small_val, big_val / Big(small_val));
  71. // Again with expression templates, on one the other, or both args:
  72. BOOST_CHECK_EQUAL(small_val + (big_val * 1), Big(small_val) + (big_val * 1));
  73. BOOST_CHECK_EQUAL(small_val - (big_val * 1), Big(small_val) - (big_val * 1));
  74. BOOST_CHECK_EQUAL(small_val * (big_val * 1), Big(small_val) * (big_val * 1));
  75. BOOST_CHECK_EQUAL(small_val / (big_val * 1), Big(small_val) / (big_val * 1));
  76. BOOST_CHECK_EQUAL((big_val * 1) + small_val, (big_val * 1) + Big(small_val));
  77. BOOST_CHECK_EQUAL((big_val * 1) - small_val, (big_val * 1) - Big(small_val));
  78. BOOST_CHECK_EQUAL((big_val * 1) * small_val, (big_val * 1) * Big(small_val));
  79. BOOST_CHECK_EQUAL((big_val * 1) / small_val, (big_val * 1) / Big(small_val));
  80. BOOST_CHECK_EQUAL((small_val * 1) + big_val, Big((small_val * 1)) + big_val);
  81. BOOST_CHECK_EQUAL((small_val * 1) - big_val, Big((small_val * 1)) - big_val);
  82. BOOST_CHECK_EQUAL((small_val * 1) * big_val, Big((small_val * 1)) * big_val);
  83. BOOST_CHECK_EQUAL((small_val * 1) / big_val, Big((small_val * 1)) / big_val);
  84. BOOST_CHECK_EQUAL(big_val + (small_val * 1), big_val + Big((small_val * 1)));
  85. BOOST_CHECK_EQUAL(big_val - (small_val * 1), big_val - Big((small_val * 1)));
  86. BOOST_CHECK_EQUAL(big_val * (small_val * 1), big_val * Big((small_val * 1)));
  87. BOOST_CHECK_EQUAL(big_val / (small_val * 1), big_val / Big((small_val * 1)));
  88. BOOST_CHECK_EQUAL((small_val * 1) + (big_val * 1), Big((small_val * 1)) + (big_val * 1));
  89. BOOST_CHECK_EQUAL((small_val * 1) - (big_val * 1), Big((small_val * 1)) - (big_val * 1));
  90. BOOST_CHECK_EQUAL((small_val * 1) * (big_val * 1), Big((small_val * 1)) * (big_val * 1));
  91. BOOST_CHECK_EQUAL((small_val * 1) / (big_val * 1), Big((small_val * 1)) / (big_val * 1));
  92. BOOST_CHECK_EQUAL((big_val * 1) + (small_val * 1), (big_val * 1) + Big((small_val * 1)));
  93. BOOST_CHECK_EQUAL((big_val * 1) - (small_val * 1), (big_val * 1) - Big((small_val * 1)));
  94. BOOST_CHECK_EQUAL((big_val * 1) * (small_val * 1), (big_val * 1) * Big((small_val * 1)));
  95. BOOST_CHECK_EQUAL((big_val * 1) / (small_val * 1), (big_val * 1) / Big((small_val * 1)));
  96. big_val = 1;
  97. big_val -= std::numeric_limits<Big>::epsilon();
  98. BOOST_CHECK_EQUAL(big_val == small_val, false);
  99. BOOST_CHECK_EQUAL(big_val <= small_val, true);
  100. BOOST_CHECK_EQUAL(big_val >= small_val, false);
  101. BOOST_CHECK_EQUAL(big_val < small_val, true);
  102. BOOST_CHECK_EQUAL(big_val > small_val, false);
  103. BOOST_CHECK_EQUAL(big_val != small_val, true);
  104. BOOST_CHECK_EQUAL(small_val == big_val, false);
  105. BOOST_CHECK_EQUAL(small_val <= big_val, false);
  106. BOOST_CHECK_EQUAL(small_val >= big_val, true);
  107. BOOST_CHECK_EQUAL(small_val < big_val, false);
  108. BOOST_CHECK_EQUAL(small_val > big_val, true);
  109. BOOST_CHECK_EQUAL(small_val != big_val, true);
  110. // Again with expression templates, on one the other, or both args:
  111. BOOST_CHECK_EQUAL(big_val == small_val * 1, false);
  112. BOOST_CHECK_EQUAL(big_val <= small_val * 1, true);
  113. BOOST_CHECK_EQUAL(big_val >= small_val * 1, false);
  114. BOOST_CHECK_EQUAL(big_val < small_val * 1, true);
  115. BOOST_CHECK_EQUAL(big_val > small_val * 1, false);
  116. BOOST_CHECK_EQUAL(big_val != small_val * 1, true);
  117. BOOST_CHECK_EQUAL(small_val * 1 == big_val, false);
  118. BOOST_CHECK_EQUAL(small_val * 1 <= big_val, false);
  119. BOOST_CHECK_EQUAL(small_val * 1 >= big_val, true);
  120. BOOST_CHECK_EQUAL(small_val * 1 < big_val, false);
  121. BOOST_CHECK_EQUAL(small_val * 1 > big_val, true);
  122. BOOST_CHECK_EQUAL(small_val * 1 != big_val, true);
  123. BOOST_CHECK_EQUAL(big_val * 1 == small_val, false);
  124. BOOST_CHECK_EQUAL(big_val * 1 <= small_val, true);
  125. BOOST_CHECK_EQUAL(big_val * 1 >= small_val, false);
  126. BOOST_CHECK_EQUAL(big_val * 1 < small_val, true);
  127. BOOST_CHECK_EQUAL(big_val * 1 > small_val, false);
  128. BOOST_CHECK_EQUAL(big_val * 1 != small_val, true);
  129. BOOST_CHECK_EQUAL(small_val == big_val * 1, false);
  130. BOOST_CHECK_EQUAL(small_val <= big_val * 1, false);
  131. BOOST_CHECK_EQUAL(small_val >= big_val * 1, true);
  132. BOOST_CHECK_EQUAL(small_val < big_val * 1, false);
  133. BOOST_CHECK_EQUAL(small_val > big_val * 1, true);
  134. BOOST_CHECK_EQUAL(small_val != big_val * 1, true);
  135. BOOST_CHECK_EQUAL(big_val * 1 == small_val * 1, false);
  136. BOOST_CHECK_EQUAL(big_val * 1 <= small_val * 1, true);
  137. BOOST_CHECK_EQUAL(big_val * 1 >= small_val * 1, false);
  138. BOOST_CHECK_EQUAL(big_val * 1 < small_val * 1, true);
  139. BOOST_CHECK_EQUAL(big_val * 1 > small_val * 1, false);
  140. BOOST_CHECK_EQUAL(big_val * 1 != small_val * 1, true);
  141. BOOST_CHECK_EQUAL(small_val * 1 == big_val * 1, false);
  142. BOOST_CHECK_EQUAL(small_val * 1 <= big_val * 1, false);
  143. BOOST_CHECK_EQUAL(small_val * 1 >= big_val * 1, true);
  144. BOOST_CHECK_EQUAL(small_val * 1 < big_val * 1, false);
  145. BOOST_CHECK_EQUAL(small_val * 1 > big_val * 1, true);
  146. BOOST_CHECK_EQUAL(small_val * 1 != big_val * 1, true);
  147. BOOST_CHECK_EQUAL(small_val + big_val, Big(small_val) + big_val);
  148. BOOST_CHECK_EQUAL(small_val - big_val, Big(small_val) - big_val);
  149. BOOST_CHECK_EQUAL(small_val * big_val, Big(small_val) * big_val);
  150. BOOST_CHECK_EQUAL(small_val / big_val, Big(small_val) / big_val);
  151. BOOST_CHECK_EQUAL(big_val + small_val, big_val + Big(small_val));
  152. BOOST_CHECK_EQUAL(big_val - small_val, big_val - Big(small_val));
  153. BOOST_CHECK_EQUAL(big_val * small_val, big_val * Big(small_val));
  154. BOOST_CHECK_EQUAL(big_val / small_val, big_val / Big(small_val));
  155. // Again with expression templates, on one the other, or both args:
  156. BOOST_CHECK_EQUAL(small_val + (big_val * 1), Big(small_val) + (big_val * 1));
  157. BOOST_CHECK_EQUAL(small_val - (big_val * 1), Big(small_val) - (big_val * 1));
  158. BOOST_CHECK_EQUAL(small_val * (big_val * 1), Big(small_val) * (big_val * 1));
  159. BOOST_CHECK_EQUAL(small_val / (big_val * 1), Big(small_val) / (big_val * 1));
  160. BOOST_CHECK_EQUAL((big_val * 1) + small_val, (big_val * 1) + Big(small_val));
  161. BOOST_CHECK_EQUAL((big_val * 1) - small_val, (big_val * 1) - Big(small_val));
  162. BOOST_CHECK_EQUAL((big_val * 1) * small_val, (big_val * 1) * Big(small_val));
  163. BOOST_CHECK_EQUAL((big_val * 1) / small_val, (big_val * 1) / Big(small_val));
  164. BOOST_CHECK_EQUAL((small_val * 1) + big_val, Big((small_val * 1)) + big_val);
  165. BOOST_CHECK_EQUAL((small_val * 1) - big_val, Big((small_val * 1)) - big_val);
  166. BOOST_CHECK_EQUAL((small_val * 1) * big_val, Big((small_val * 1)) * big_val);
  167. BOOST_CHECK_EQUAL((small_val * 1) / big_val, Big((small_val * 1)) / big_val);
  168. BOOST_CHECK_EQUAL(big_val + (small_val * 1), big_val + Big((small_val * 1)));
  169. BOOST_CHECK_EQUAL(big_val - (small_val * 1), big_val - Big((small_val * 1)));
  170. BOOST_CHECK_EQUAL(big_val * (small_val * 1), big_val * Big((small_val * 1)));
  171. BOOST_CHECK_EQUAL(big_val / (small_val * 1), big_val / Big((small_val * 1)));
  172. BOOST_CHECK_EQUAL((small_val * 1) + (big_val * 1), Big((small_val * 1)) + (big_val * 1));
  173. BOOST_CHECK_EQUAL((small_val * 1) - (big_val * 1), Big((small_val * 1)) - (big_val * 1));
  174. BOOST_CHECK_EQUAL((small_val * 1) * (big_val * 1), Big((small_val * 1)) * (big_val * 1));
  175. BOOST_CHECK_EQUAL((small_val * 1) / (big_val * 1), Big((small_val * 1)) / (big_val * 1));
  176. BOOST_CHECK_EQUAL((big_val * 1) + (small_val * 1), (big_val * 1) + Big((small_val * 1)));
  177. BOOST_CHECK_EQUAL((big_val * 1) - (small_val * 1), (big_val * 1) - Big((small_val * 1)));
  178. BOOST_CHECK_EQUAL((big_val * 1) * (small_val * 1), (big_val * 1) * Big((small_val * 1)));
  179. BOOST_CHECK_EQUAL((big_val * 1) / (small_val * 1), (big_val * 1) / Big((small_val * 1)));
  180. }
  181. #endif // BOOST_MATH_TEST_MIXED_HPP