/////////////////////////////////////////////////////////////////////////////// // Copyright 2014 Anton Bikineev // Copyright 2014 Christopher Kormanyos // Copyright 2014 John Maddock // Copyright 2014 Paul Bristow // Distributed under the Boost // Software License, Version 1.0. (See accompanying file // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) #ifndef BOOST_MATH_HYPERGEOMETRIC_1F0_HPP #define BOOST_MATH_HYPERGEOMETRIC_1F0_HPP #include <boost/math/policies/policy.hpp> #include <boost/math/policies/error_handling.hpp> #include <boost/math/tools/promotion.hpp> namespace boost { namespace math { namespace detail { template <class T, class Policy> inline T hypergeometric_1F0_imp(const T& a, const T& z, const Policy& pol) { static const char* function = "boost::math::hypergeometric_1F0<%1%,%1%>(%1%, %1%)"; BOOST_MATH_STD_USING // pow if (z == 1) return policies::raise_pole_error<T>( function, "Evaluation of 1F0 with z = %1%.", z, pol); if (1 - z < 0) { if (floor(a) != a) return policies::raise_domain_error<T>(function, "Result is complex when a is non-integral and z > 1, but got z = %1%", z, pol); } // more naive and convergent method than series return pow(T(1 - z), T(-a)); } } // namespace detail template <class T1, class T2, class Policy> inline typename tools::promote_args<T1, T2>::type hypergeometric_1F0(T1 a, T2 z, const Policy&) { BOOST_FPU_EXCEPTION_GUARD typedef typename tools::promote_args<T1, T2>::type result_type; typedef typename policies::evaluation<result_type, Policy>::type value_type; typedef typename policies::normalise< Policy, policies::promote_float<false>, policies::promote_double<false>, policies::discrete_quantile<>, policies::assert_undefined<> >::type forwarding_policy; return policies::checked_narrowing_cast<result_type, Policy>( detail::hypergeometric_1F0_imp<value_type>( static_cast<value_type>(a), static_cast<value_type>(z), forwarding_policy()), "boost::math::hypergeometric_1F0<%1%>(%1%,%1%)"); } template <class T1, class T2> inline typename tools::promote_args<T1, T2>::type hypergeometric_1F0(T1 a, T2 z) { return hypergeometric_1F0(a, z, policies::policy<>()); } } } // namespace boost::math #endif // BOOST_MATH_HYPERGEOMETRIC_1F0_HPP