test_bessel_i.hpp 10.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180
  1. // (C) Copyright John Maddock 2007.
  2. // Use, modification and distribution are subject to the
  3. // Boost 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. #define BOOST_MATH_OVERFLOW_ERROR_POLICY ignore_error
  6. #include <boost/math/concepts/real_concept.hpp>
  7. #define BOOST_TEST_MAIN
  8. #include <boost/test/unit_test.hpp>
  9. #include <boost/test/tools/floating_point_comparison.hpp>
  10. #include <boost/math/special_functions/math_fwd.hpp>
  11. #include <boost/type_traits/is_floating_point.hpp>
  12. #include <boost/array.hpp>
  13. #include "functor.hpp"
  14. #include "handle_test_result.hpp"
  15. #include "table_type.hpp"
  16. #ifndef SC_
  17. # define SC_(x) static_cast<typename table_type<T>::type>(BOOST_JOIN(x, L))
  18. #endif
  19. template <class T>
  20. T cyl_bessel_i_int_wrapper(T v, T x)
  21. {
  22. #ifdef BESSEL_IN_FUNCTION_TO_TEST
  23. return static_cast<T>(
  24. BESSEL_IN_FUNCTION_TO_TEST(
  25. boost::math::itrunc(v), x));
  26. #else
  27. return static_cast<T>(
  28. boost::math::cyl_bessel_i(
  29. boost::math::itrunc(v), x));
  30. #endif
  31. }
  32. template <class Real, class T>
  33. void do_test_cyl_bessel_i(const T& data, const char* type_name, const char* test_name)
  34. {
  35. #if !(defined(ERROR_REPORTING_MODE) && !defined(BESSEL_I_FUNCTION_TO_TEST))
  36. typedef Real value_type;
  37. typedef value_type (*pg)(value_type, value_type);
  38. #ifdef BESSEL_I_FUNCTION_TO_TEST
  39. pg funcp = BESSEL_I_FUNCTION_TO_TEST;
  40. #elif defined(BOOST_MATH_NO_DEDUCED_FUNCTION_POINTERS)
  41. pg funcp = boost::math::cyl_bessel_i<value_type, value_type>;
  42. #else
  43. pg funcp = boost::math::cyl_bessel_i;
  44. #endif
  45. boost::math::tools::test_result<value_type> result;
  46. std::cout << "Testing " << test_name << " with type " << type_name
  47. << "\n~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n";
  48. //
  49. // test cyl_bessel_i against data:
  50. //
  51. result = boost::math::tools::test_hetero<Real>(
  52. data,
  53. bind_func<Real>(funcp, 0, 1),
  54. extract_result<Real>(2));
  55. handle_test_result(result, data[result.worst()], result.worst(), type_name, "cyl_bessel_i", test_name);
  56. std::cout << std::endl;
  57. #endif
  58. }
  59. template <class Real, class T>
  60. void do_test_cyl_bessel_i_int(const T& data, const char* type_name, const char* test_name)
  61. {
  62. #if !(defined(ERROR_REPORTING_MODE) && !defined(BESSEL_IN_FUNCTION_TO_TEST))
  63. typedef Real value_type;
  64. typedef value_type (*pg)(value_type, value_type);
  65. #if defined(BOOST_MATH_NO_DEDUCED_FUNCTION_POINTERS)
  66. pg funcp = cyl_bessel_i_int_wrapper<value_type>;
  67. #else
  68. pg funcp = cyl_bessel_i_int_wrapper;
  69. #endif
  70. boost::math::tools::test_result<value_type> result;
  71. std::cout << "Testing " << test_name << " with type " << type_name
  72. << "\n~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n";
  73. //
  74. // test cyl_bessel_i against data:
  75. //
  76. result = boost::math::tools::test_hetero<Real>(
  77. data,
  78. bind_func<Real>(funcp, 0, 1),
  79. extract_result<Real>(2));
  80. handle_test_result(result, data[result.worst()], result.worst(), type_name, "cyl_bessel_i (integer orders)", test_name);
  81. std::cout << std::endl;
  82. #endif
  83. }
  84. template <class T>
  85. void test_bessel(T, const char* name)
  86. {
  87. // function values calculated on http://functions.wolfram.com/
  88. static const boost::array<boost::array<typename table_type<T>::type, 3>, 10> i0_data = {{
  89. {{ SC_(0.0), SC_(0.0), SC_(1.0) }},
  90. {{ SC_(0.0), SC_(1.0), SC_(1.26606587775200833559824462521471753760767031135496220680814) }},
  91. {{ SC_(0.0), SC_(-2.0), SC_(2.27958530233606726743720444081153335328584110278545905407084) }},
  92. {{ SC_(0.0), SC_(4.0), SC_(11.3019219521363304963562701832171024974126165944353377060065) }},
  93. {{ SC_(0.0), SC_(-7.0), SC_(168.593908510289698857326627187500840376522679234531714193194) }},
  94. {{ SC_(0.0), SC_(0.0009765625), SC_(1.00000023841859331241759166109699567801556273303717896447683) }},
  95. {{ SC_(0.0), SC_(9.5367431640625e-7), SC_(1.00000000000022737367544324498417583090700894607432256476338) }},
  96. {{ SC_(0.0), SC_(-1.0), SC_(1.26606587775200833559824462521471753760767031135496220680814) }},
  97. {{ SC_(0.0), SC_(100.0), SC_(1.07375170713107382351972085760349466128840319332527279540154e42) }},
  98. {{ SC_(0.0), SC_(200.0), SC_(2.03968717340972461954167312677945962233267573614834337894328e85) }},
  99. }};
  100. static const boost::array<boost::array<typename table_type<T>::type, 3>, 10> i1_data = {{
  101. {{ SC_(1.0), SC_(0.0), SC_(0.0) }},
  102. {{ SC_(1.0), SC_(1.0), SC_(0.565159103992485027207696027609863307328899621621092009480294) }},
  103. {{ SC_(1.0), SC_(-2.0), SC_(-1.59063685463732906338225442499966624795447815949553664713229) }},
  104. {{ SC_(1.0), SC_(4.0), SC_(9.75946515370444990947519256731268090005597033325296730692753) }},
  105. {{ SC_(1.0), SC_(-8.0), SC_(-399.873136782560098219083086145822754889628443904067647306574) }},
  106. {{ SC_(1.0), SC_(0.0009765625), SC_(0.000488281308207663226432087816784315537514225208473395063575150) }},
  107. {{ SC_(1.0), SC_(9.5367431640625e-7), SC_(4.76837158203179210108624277276025646653133998635956784292029E-7) }},
  108. {{ SC_(1.0), SC_(-10.0), SC_(-2670.98830370125465434103196677215254914574515378753771310849) }},
  109. {{ SC_(1.0), SC_(100.0), SC_(1.06836939033816248120614576322429526544612284405623226965918e42) }},
  110. {{ SC_(1.0), SC_(200.0), SC_(2.03458154933206270342742797713906950389661161681122964159220e85) }},
  111. }};
  112. static const boost::array<boost::array<typename table_type<T>::type, 3>, 11> in_data = {{
  113. {{ SC_(-2.0), SC_(0.0), SC_(0.0) }},
  114. {{ SC_(2.0), SC_(9.5367431640625e-7), SC_(1.13686837721624646204093977095674566928522671779753217215467e-13) }},
  115. {{ SC_(5.0), SC_(10.0), SC_(777.188286403259959907293484802339632852674154572666041953297) }},
  116. {{ SC_(-5.0), SC_(100.0), SC_(9.47009387303558124618275555002161742321578485033007130107740e41) }},
  117. {{ SC_(-5.0), SC_(-1.0), SC_(-0.000271463155956971875181073905153777342383564426758143634974124) }},
  118. {{ SC_(10.0), SC_(20.0), SC_(3.54020020901952109905289138244985607057267103782948493874391e6) }},
  119. {{ SC_(10.0), SC_(-5.0), SC_(0.00458004441917605126118647027872016953192323139337073320016447) }},
  120. {{ SC_(1e+02), SC_(9.0), SC_(2.74306601746058997093587654668959071522869282506446891736820e-93) }},
  121. {{ SC_(1e+02), SC_(80.0), SC_(4.65194832850610205318128191404145885093970505338730540776711e8) }},
  122. {{ SC_(-100.0), SC_(-200.0), SC_(4.35275044972702191438729017441198257508190719030765213981307e74) }},
  123. {{ SC_(10.0), SC_(1e-100), SC_(2.69114445546737213403880070546737213403880070546737213403880e-1010) }},
  124. }};
  125. static const boost::array<boost::array<typename table_type<T>::type, 3>, 10> iv_data = {{
  126. {{ SC_(2.25), SC_(9.5367431640625e-7), SC_(2.34379212133481347189068464680335815256364262507955635911656e-15) }},
  127. {{ SC_(5.5), SC_(3.125), SC_(0.0583514045989371500460946536220735787163510569634133670181210) }},
  128. {{ SC_(-4.9990234375), SC_(2.125), SC_(0.0267920938009571023702933210070984416052633027166975342895062) }},
  129. {{ SC_(-5.5), SC_(10.0), SC_(597.577606961369169607937419869926705730305175364662688426534) }},
  130. {{ SC_(-5.5), SC_(100.0), SC_(9.22362906144706871737354069133813819358704200689067071415379e41) }},
  131. {{ SC_(-10.0002994537353515625), SC_(0.0009765625), SC_(1.41474005665181350367684623930576333542989766867888186478185e35) }},
  132. {{ SC_(-10.0002994537353515625), SC_(50.0), SC_(1.07153277202900671531087024688681954238311679648319534644743e20) }},
  133. {{ SC_(141.400390625), SC_(100.0), SC_(2066.27694757392660413922181531984160871678224178890247540320) }},
  134. {{ SC_(141.400390625), SC_(200.0), SC_(2.23699739472246928794922868978337381373643889659337595319774e64) }},
  135. {{ SC_(-141.400390625), SC_(100.0), SC_(2066.27694672763190927440969155740243346136463461655104698748) }},
  136. }};
  137. static const boost::array<boost::array<typename table_type<T>::type, 3>, 5> iv_large_data = {{
  138. // Bug report https://svn.boost.org/trac/boost/ticket/5560:
  139. {{ SC_(-1.0), SC_(3.7291703656001033716454826577314669186882357673002034471357591666031391925350591524680874452002139016807558e-155), SC_(1.86458518280005168582274132886573345934411788365010172356788e-155) }},
  140. {{ SC_(1.0), SC_(3.7291703656001033716454826577314669186882357673002034471357591666031391925350591524680874452002139016807558e-155), SC_(1.86458518280005168582274132886573345934411788365010172356788e-155) }},
  141. {{ SC_(-1.125), SC_(3.7291703656001033716454826577314669186882357673002034471357591666031391925350591524680874452002139016807558e-155), SC_(-1.34963720853101363690381585556234820027343435206156667634081e173) }},
  142. {{ SC_(1.125), SC_(3.7291703656001033716454826577314669186882357673002034471357591666031391925350591524680874452002139016807558e-155), SC_(8.02269390325932403421158766283366891170783955777638875887348e-175) }},
  143. {{ SC_(0.5), SC_(1.2458993688871959419388378518880931736878259938089494331010226962863582408064841833232475731084062642684629e-206), SC_(8.90597649117647254543282704099383321071493400182381039079219e-104) }},
  144. }};
  145. do_test_cyl_bessel_i<T>(i0_data, name, "Bessel I0: Mathworld Data");
  146. do_test_cyl_bessel_i<T>(i1_data, name, "Bessel I1: Mathworld Data");
  147. do_test_cyl_bessel_i<T>(in_data, name, "Bessel In: Mathworld Data");
  148. do_test_cyl_bessel_i_int<T>(i0_data, name, "Bessel I0: Mathworld Data (Integer Version)");
  149. do_test_cyl_bessel_i_int<T>(i1_data, name, "Bessel I1: Mathworld Data (Integer Version)");
  150. do_test_cyl_bessel_i_int<T>(in_data, name, "Bessel In: Mathworld Data (Integer Version)");
  151. do_test_cyl_bessel_i<T>(iv_data, name, "Bessel Iv: Mathworld Data");
  152. #include "bessel_i_int_data.ipp"
  153. do_test_cyl_bessel_i<T>(bessel_i_int_data, name, "Bessel In: Random Data");
  154. #include "bessel_i_data.ipp"
  155. do_test_cyl_bessel_i<T>(bessel_i_data, name, "Bessel Iv: Random Data");
  156. if(0 != static_cast<T>(ldexp(0.5, -700)))
  157. do_test_cyl_bessel_i<T>(iv_large_data, name, "Bessel Iv: Mathworld Data (large values)");
  158. }