1 ///////////////////////////////////////////////////////////////////////////////
2 // Copyright 2017 John Maddock
3 // Distributed under the Boost
4 // Software License, Version 1.0. (See accompanying file
5 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
7 #ifndef BOOST_MATH_HYPERGEOMETRIC_1F1_SCALED_SERIES_HPP
8 #define BOOST_MATH_HYPERGEOMETRIC_1F1_SCALED_SERIES_HPP
13 namespace boost{ namespace math{ namespace detail{
15 template <class T, class Policy>
16 T hypergeometric_1F1_scaled_series(const T& a, const T& b, T z, const Policy& pol, const char* function)
20 // Result is returned scaled by e^-z.
21 // Whenever the terms start becoming too large, we scale by some factor e^-n
22 // and keep track of the integer scaling factor n. At the end we can perform
23 // an exact subtraction of n from z and scale the result:
25 T sum(0), term(1), upper_limit(sqrt(boost::math::tools::max_value<T>())), diff;
27 long long log_scaling_factor = 1 - lltrunc(boost::math::tools::log_max_value<T>());
28 T scaling_factor = exp(T(log_scaling_factor));
29 std::intmax_t current_scaling = 0;
34 if (sum >= upper_limit)
36 sum *= scaling_factor;
37 term *= scaling_factor;
38 current_scaling += log_scaling_factor;
40 term *= (((a + n) / ((b + n) * (n + 1))) * z);
41 if (n > boost::math::policies::get_max_series_iterations<Policy>())
42 return boost::math::policies::raise_evaluation_error(function, "Series did not converge, best value is %1%", sum, pol);
44 diff = fabs(term / sum);
45 } while (diff > boost::math::policies::get_epsilon<T, Policy>());
47 z = -z - current_scaling;
48 while (z < log_scaling_factor)
50 z -= log_scaling_factor;
51 sum *= scaling_factor;
60 #endif // BOOST_MATH_HYPERGEOMETRIC_1F1_SCALED_SERIES_HPP