annotate DEPENDENCIES/generic/include/boost/math/distributions/normal.hpp @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents c530137014c0
children
rev   line source
Chris@16 1 // Copyright John Maddock 2006, 2007.
Chris@16 2 // Copyright Paul A. Bristow 2006, 2007.
Chris@16 3
Chris@16 4 // Use, modification and distribution are subject to the
Chris@16 5 // Boost Software License, Version 1.0. (See accompanying file
Chris@16 6 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16 7
Chris@16 8 #ifndef BOOST_STATS_NORMAL_HPP
Chris@16 9 #define BOOST_STATS_NORMAL_HPP
Chris@16 10
Chris@16 11 // http://en.wikipedia.org/wiki/Normal_distribution
Chris@16 12 // http://www.itl.nist.gov/div898/handbook/eda/section3/eda3661.htm
Chris@16 13 // Also:
Chris@16 14 // Weisstein, Eric W. "Normal Distribution."
Chris@16 15 // From MathWorld--A Wolfram Web Resource.
Chris@16 16 // http://mathworld.wolfram.com/NormalDistribution.html
Chris@16 17
Chris@16 18 #include <boost/math/distributions/fwd.hpp>
Chris@16 19 #include <boost/math/special_functions/erf.hpp> // for erf/erfc.
Chris@16 20 #include <boost/math/distributions/complement.hpp>
Chris@16 21 #include <boost/math/distributions/detail/common_error_handling.hpp>
Chris@16 22
Chris@16 23 #include <utility>
Chris@16 24
Chris@16 25 namespace boost{ namespace math{
Chris@16 26
Chris@16 27 template <class RealType = double, class Policy = policies::policy<> >
Chris@16 28 class normal_distribution
Chris@16 29 {
Chris@16 30 public:
Chris@16 31 typedef RealType value_type;
Chris@16 32 typedef Policy policy_type;
Chris@16 33
Chris@16 34 normal_distribution(RealType l_mean = 0, RealType sd = 1)
Chris@16 35 : m_mean(l_mean), m_sd(sd)
Chris@16 36 { // Default is a 'standard' normal distribution N01.
Chris@16 37 static const char* function = "boost::math::normal_distribution<%1%>::normal_distribution";
Chris@16 38
Chris@16 39 RealType result;
Chris@16 40 detail::check_scale(function, sd, &result, Policy());
Chris@16 41 detail::check_location(function, l_mean, &result, Policy());
Chris@16 42 }
Chris@16 43
Chris@16 44 RealType mean()const
Chris@16 45 { // alias for location.
Chris@16 46 return m_mean;
Chris@16 47 }
Chris@16 48
Chris@16 49 RealType standard_deviation()const
Chris@16 50 { // alias for scale.
Chris@16 51 return m_sd;
Chris@16 52 }
Chris@16 53
Chris@16 54 // Synonyms, provided to allow generic use of find_location and find_scale.
Chris@16 55 RealType location()const
Chris@16 56 { // location.
Chris@16 57 return m_mean;
Chris@16 58 }
Chris@16 59 RealType scale()const
Chris@16 60 { // scale.
Chris@16 61 return m_sd;
Chris@16 62 }
Chris@16 63
Chris@16 64 private:
Chris@16 65 //
Chris@16 66 // Data members:
Chris@16 67 //
Chris@16 68 RealType m_mean; // distribution mean or location.
Chris@16 69 RealType m_sd; // distribution standard deviation or scale.
Chris@16 70 }; // class normal_distribution
Chris@16 71
Chris@16 72 typedef normal_distribution<double> normal;
Chris@16 73
Chris@101 74 #ifdef BOOST_MSVC
Chris@101 75 #pragma warning(push)
Chris@101 76 #pragma warning(disable:4127)
Chris@101 77 #endif
Chris@101 78
Chris@16 79 template <class RealType, class Policy>
Chris@16 80 inline const std::pair<RealType, RealType> range(const normal_distribution<RealType, Policy>& /*dist*/)
Chris@16 81 { // Range of permissible values for random variable x.
Chris@16 82 if (std::numeric_limits<RealType>::has_infinity)
Chris@16 83 {
Chris@16 84 return std::pair<RealType, RealType>(-std::numeric_limits<RealType>::infinity(), std::numeric_limits<RealType>::infinity()); // - to + infinity.
Chris@16 85 }
Chris@16 86 else
Chris@16 87 { // Can only use max_value.
Chris@16 88 using boost::math::tools::max_value;
Chris@16 89 return std::pair<RealType, RealType>(-max_value<RealType>(), max_value<RealType>()); // - to + max value.
Chris@16 90 }
Chris@16 91 }
Chris@16 92
Chris@16 93 template <class RealType, class Policy>
Chris@16 94 inline const std::pair<RealType, RealType> support(const normal_distribution<RealType, Policy>& /*dist*/)
Chris@101 95 { // This is range values for random variable x where cdf rises from 0 to 1, and outside it, the pdf is zero.
Chris@16 96 if (std::numeric_limits<RealType>::has_infinity)
Chris@16 97 {
Chris@16 98 return std::pair<RealType, RealType>(-std::numeric_limits<RealType>::infinity(), std::numeric_limits<RealType>::infinity()); // - to + infinity.
Chris@16 99 }
Chris@16 100 else
Chris@16 101 { // Can only use max_value.
Chris@16 102 using boost::math::tools::max_value;
Chris@16 103 return std::pair<RealType, RealType>(-max_value<RealType>(), max_value<RealType>()); // - to + max value.
Chris@16 104 }
Chris@16 105 }
Chris@16 106
Chris@101 107 #ifdef BOOST_MSVC
Chris@101 108 #pragma warning(pop)
Chris@101 109 #endif
Chris@101 110
Chris@16 111 template <class RealType, class Policy>
Chris@16 112 inline RealType pdf(const normal_distribution<RealType, Policy>& dist, const RealType& x)
Chris@16 113 {
Chris@16 114 BOOST_MATH_STD_USING // for ADL of std functions
Chris@16 115
Chris@16 116 RealType sd = dist.standard_deviation();
Chris@16 117 RealType mean = dist.mean();
Chris@16 118
Chris@16 119 static const char* function = "boost::math::pdf(const normal_distribution<%1%>&, %1%)";
Chris@16 120
Chris@16 121 RealType result = 0;
Chris@16 122 if(false == detail::check_scale(function, sd, &result, Policy()))
Chris@16 123 {
Chris@16 124 return result;
Chris@16 125 }
Chris@16 126 if(false == detail::check_location(function, mean, &result, Policy()))
Chris@16 127 {
Chris@16 128 return result;
Chris@16 129 }
Chris@16 130 if((boost::math::isinf)(x))
Chris@16 131 {
Chris@16 132 return 0; // pdf + and - infinity is zero.
Chris@16 133 }
Chris@16 134 // Below produces MSVC 4127 warnings, so the above used instead.
Chris@16 135 //if(std::numeric_limits<RealType>::has_infinity && abs(x) == std::numeric_limits<RealType>::infinity())
Chris@16 136 //{ // pdf + and - infinity is zero.
Chris@16 137 // return 0;
Chris@16 138 //}
Chris@16 139 if(false == detail::check_x(function, x, &result, Policy()))
Chris@16 140 {
Chris@16 141 return result;
Chris@16 142 }
Chris@16 143
Chris@16 144 RealType exponent = x - mean;
Chris@16 145 exponent *= -exponent;
Chris@16 146 exponent /= 2 * sd * sd;
Chris@16 147
Chris@16 148 result = exp(exponent);
Chris@16 149 result /= sd * sqrt(2 * constants::pi<RealType>());
Chris@16 150
Chris@16 151 return result;
Chris@16 152 } // pdf
Chris@16 153
Chris@16 154 template <class RealType, class Policy>
Chris@16 155 inline RealType cdf(const normal_distribution<RealType, Policy>& dist, const RealType& x)
Chris@16 156 {
Chris@16 157 BOOST_MATH_STD_USING // for ADL of std functions
Chris@16 158
Chris@16 159 RealType sd = dist.standard_deviation();
Chris@16 160 RealType mean = dist.mean();
Chris@16 161 static const char* function = "boost::math::cdf(const normal_distribution<%1%>&, %1%)";
Chris@16 162 RealType result = 0;
Chris@16 163 if(false == detail::check_scale(function, sd, &result, Policy()))
Chris@16 164 {
Chris@16 165 return result;
Chris@16 166 }
Chris@16 167 if(false == detail::check_location(function, mean, &result, Policy()))
Chris@16 168 {
Chris@16 169 return result;
Chris@16 170 }
Chris@16 171 if((boost::math::isinf)(x))
Chris@16 172 {
Chris@16 173 if(x < 0) return 0; // -infinity
Chris@16 174 return 1; // + infinity
Chris@16 175 }
Chris@16 176 // These produce MSVC 4127 warnings, so the above used instead.
Chris@16 177 //if(std::numeric_limits<RealType>::has_infinity && x == std::numeric_limits<RealType>::infinity())
Chris@16 178 //{ // cdf +infinity is unity.
Chris@16 179 // return 1;
Chris@16 180 //}
Chris@16 181 //if(std::numeric_limits<RealType>::has_infinity && x == -std::numeric_limits<RealType>::infinity())
Chris@16 182 //{ // cdf -infinity is zero.
Chris@16 183 // return 0;
Chris@16 184 //}
Chris@16 185 if(false == detail::check_x(function, x, &result, Policy()))
Chris@16 186 {
Chris@16 187 return result;
Chris@16 188 }
Chris@16 189 RealType diff = (x - mean) / (sd * constants::root_two<RealType>());
Chris@16 190 result = boost::math::erfc(-diff, Policy()) / 2;
Chris@16 191 return result;
Chris@16 192 } // cdf
Chris@16 193
Chris@16 194 template <class RealType, class Policy>
Chris@16 195 inline RealType quantile(const normal_distribution<RealType, Policy>& dist, const RealType& p)
Chris@16 196 {
Chris@16 197 BOOST_MATH_STD_USING // for ADL of std functions
Chris@16 198
Chris@16 199 RealType sd = dist.standard_deviation();
Chris@16 200 RealType mean = dist.mean();
Chris@16 201 static const char* function = "boost::math::quantile(const normal_distribution<%1%>&, %1%)";
Chris@16 202
Chris@16 203 RealType result = 0;
Chris@16 204 if(false == detail::check_scale(function, sd, &result, Policy()))
Chris@16 205 return result;
Chris@16 206 if(false == detail::check_location(function, mean, &result, Policy()))
Chris@16 207 return result;
Chris@16 208 if(false == detail::check_probability(function, p, &result, Policy()))
Chris@16 209 return result;
Chris@16 210
Chris@16 211 result= boost::math::erfc_inv(2 * p, Policy());
Chris@16 212 result = -result;
Chris@16 213 result *= sd * constants::root_two<RealType>();
Chris@16 214 result += mean;
Chris@16 215 return result;
Chris@16 216 } // quantile
Chris@16 217
Chris@16 218 template <class RealType, class Policy>
Chris@16 219 inline RealType cdf(const complemented2_type<normal_distribution<RealType, Policy>, RealType>& c)
Chris@16 220 {
Chris@16 221 BOOST_MATH_STD_USING // for ADL of std functions
Chris@16 222
Chris@16 223 RealType sd = c.dist.standard_deviation();
Chris@16 224 RealType mean = c.dist.mean();
Chris@16 225 RealType x = c.param;
Chris@16 226 static const char* function = "boost::math::cdf(const complement(normal_distribution<%1%>&), %1%)";
Chris@16 227
Chris@16 228 RealType result = 0;
Chris@16 229 if(false == detail::check_scale(function, sd, &result, Policy()))
Chris@16 230 return result;
Chris@16 231 if(false == detail::check_location(function, mean, &result, Policy()))
Chris@16 232 return result;
Chris@16 233 if((boost::math::isinf)(x))
Chris@16 234 {
Chris@16 235 if(x < 0) return 1; // cdf complement -infinity is unity.
Chris@16 236 return 0; // cdf complement +infinity is zero
Chris@16 237 }
Chris@16 238 // These produce MSVC 4127 warnings, so the above used instead.
Chris@16 239 //if(std::numeric_limits<RealType>::has_infinity && x == std::numeric_limits<RealType>::infinity())
Chris@16 240 //{ // cdf complement +infinity is zero.
Chris@16 241 // return 0;
Chris@16 242 //}
Chris@16 243 //if(std::numeric_limits<RealType>::has_infinity && x == -std::numeric_limits<RealType>::infinity())
Chris@16 244 //{ // cdf complement -infinity is unity.
Chris@16 245 // return 1;
Chris@16 246 //}
Chris@16 247 if(false == detail::check_x(function, x, &result, Policy()))
Chris@16 248 return result;
Chris@16 249
Chris@16 250 RealType diff = (x - mean) / (sd * constants::root_two<RealType>());
Chris@16 251 result = boost::math::erfc(diff, Policy()) / 2;
Chris@16 252 return result;
Chris@16 253 } // cdf complement
Chris@16 254
Chris@16 255 template <class RealType, class Policy>
Chris@16 256 inline RealType quantile(const complemented2_type<normal_distribution<RealType, Policy>, RealType>& c)
Chris@16 257 {
Chris@16 258 BOOST_MATH_STD_USING // for ADL of std functions
Chris@16 259
Chris@16 260 RealType sd = c.dist.standard_deviation();
Chris@16 261 RealType mean = c.dist.mean();
Chris@16 262 static const char* function = "boost::math::quantile(const complement(normal_distribution<%1%>&), %1%)";
Chris@16 263 RealType result = 0;
Chris@16 264 if(false == detail::check_scale(function, sd, &result, Policy()))
Chris@16 265 return result;
Chris@16 266 if(false == detail::check_location(function, mean, &result, Policy()))
Chris@16 267 return result;
Chris@16 268 RealType q = c.param;
Chris@16 269 if(false == detail::check_probability(function, q, &result, Policy()))
Chris@16 270 return result;
Chris@16 271 result = boost::math::erfc_inv(2 * q, Policy());
Chris@16 272 result *= sd * constants::root_two<RealType>();
Chris@16 273 result += mean;
Chris@16 274 return result;
Chris@16 275 } // quantile
Chris@16 276
Chris@16 277 template <class RealType, class Policy>
Chris@16 278 inline RealType mean(const normal_distribution<RealType, Policy>& dist)
Chris@16 279 {
Chris@16 280 return dist.mean();
Chris@16 281 }
Chris@16 282
Chris@16 283 template <class RealType, class Policy>
Chris@16 284 inline RealType standard_deviation(const normal_distribution<RealType, Policy>& dist)
Chris@16 285 {
Chris@16 286 return dist.standard_deviation();
Chris@16 287 }
Chris@16 288
Chris@16 289 template <class RealType, class Policy>
Chris@16 290 inline RealType mode(const normal_distribution<RealType, Policy>& dist)
Chris@16 291 {
Chris@16 292 return dist.mean();
Chris@16 293 }
Chris@16 294
Chris@16 295 template <class RealType, class Policy>
Chris@16 296 inline RealType median(const normal_distribution<RealType, Policy>& dist)
Chris@16 297 {
Chris@16 298 return dist.mean();
Chris@16 299 }
Chris@16 300
Chris@16 301 template <class RealType, class Policy>
Chris@16 302 inline RealType skewness(const normal_distribution<RealType, Policy>& /*dist*/)
Chris@16 303 {
Chris@16 304 return 0;
Chris@16 305 }
Chris@16 306
Chris@16 307 template <class RealType, class Policy>
Chris@16 308 inline RealType kurtosis(const normal_distribution<RealType, Policy>& /*dist*/)
Chris@16 309 {
Chris@16 310 return 3;
Chris@16 311 }
Chris@16 312
Chris@16 313 template <class RealType, class Policy>
Chris@16 314 inline RealType kurtosis_excess(const normal_distribution<RealType, Policy>& /*dist*/)
Chris@16 315 {
Chris@16 316 return 0;
Chris@16 317 }
Chris@16 318
Chris@16 319 } // namespace math
Chris@16 320 } // namespace boost
Chris@16 321
Chris@16 322 // This include must be at the end, *after* the accessors
Chris@16 323 // for this distribution have been defined, in order to
Chris@16 324 // keep compilers that support two-phase lookup happy.
Chris@16 325 #include <boost/math/distributions/detail/derived_accessors.hpp>
Chris@16 326
Chris@16 327 #endif // BOOST_STATS_NORMAL_HPP
Chris@16 328
Chris@16 329