unchecked_factorial.hpp 45 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855
  1. // Copyright John Maddock 2006.
  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. #ifndef BOOST_MATH_SP_UC_FACTORIALS_HPP
  6. #define BOOST_MATH_SP_UC_FACTORIALS_HPP
  7. #ifdef _MSC_VER
  8. #pragma once
  9. #endif
  10. #ifdef BOOST_MSVC
  11. #pragma warning(push) // Temporary until lexical cast fixed.
  12. #pragma warning(disable: 4127 4701)
  13. #endif
  14. #ifndef BOOST_MATH_NO_LEXICAL_CAST
  15. #include <boost/lexical_cast.hpp>
  16. #endif
  17. #ifdef BOOST_MSVC
  18. #pragma warning(pop)
  19. #endif
  20. #include <cmath>
  21. #include <boost/math/special_functions/math_fwd.hpp>
  22. #ifdef BOOST_MATH_HAVE_CONSTEXPR_TABLES
  23. #include <array>
  24. #else
  25. #include <boost/array.hpp>
  26. #endif
  27. #if defined(__GNUC__) && defined(BOOST_MATH_USE_FLOAT128)
  28. //
  29. // This is the only way we can avoid
  30. // warning: non-standard suffix on floating constant [-Wpedantic]
  31. // when building with -Wall -pedantic. Neither __extension__
  32. // nor #pragma dianostic ignored work :(
  33. //
  34. #pragma GCC system_header
  35. #endif
  36. namespace boost { namespace math
  37. {
  38. // Forward declarations:
  39. template <class T>
  40. struct max_factorial;
  41. // Definitions:
  42. template <>
  43. inline BOOST_MATH_CONSTEXPR_TABLE_FUNCTION float unchecked_factorial<float>(unsigned i BOOST_MATH_APPEND_EXPLICIT_TEMPLATE_TYPE_SPEC(float))
  44. {
  45. #ifdef BOOST_MATH_HAVE_CONSTEXPR_TABLES
  46. constexpr std::array<float, 35> factorials = { {
  47. #else
  48. static const boost::array<float, 35> factorials = {{
  49. #endif
  50. 1.0F,
  51. 1.0F,
  52. 2.0F,
  53. 6.0F,
  54. 24.0F,
  55. 120.0F,
  56. 720.0F,
  57. 5040.0F,
  58. 40320.0F,
  59. 362880.0F,
  60. 3628800.0F,
  61. 39916800.0F,
  62. 479001600.0F,
  63. 6227020800.0F,
  64. 87178291200.0F,
  65. 1307674368000.0F,
  66. 20922789888000.0F,
  67. 355687428096000.0F,
  68. 6402373705728000.0F,
  69. 121645100408832000.0F,
  70. 0.243290200817664e19F,
  71. 0.5109094217170944e20F,
  72. 0.112400072777760768e22F,
  73. 0.2585201673888497664e23F,
  74. 0.62044840173323943936e24F,
  75. 0.15511210043330985984e26F,
  76. 0.403291461126605635584e27F,
  77. 0.10888869450418352160768e29F,
  78. 0.304888344611713860501504e30F,
  79. 0.8841761993739701954543616e31F,
  80. 0.26525285981219105863630848e33F,
  81. 0.822283865417792281772556288e34F,
  82. 0.26313083693369353016721801216e36F,
  83. 0.868331761881188649551819440128e37F,
  84. 0.29523279903960414084761860964352e39F,
  85. }};
  86. return factorials[i];
  87. }
  88. template <>
  89. struct max_factorial<float>
  90. {
  91. BOOST_STATIC_CONSTANT(unsigned, value = 34);
  92. };
  93. template <>
  94. inline BOOST_MATH_CONSTEXPR_TABLE_FUNCTION long double unchecked_factorial<long double>(unsigned i BOOST_MATH_APPEND_EXPLICIT_TEMPLATE_TYPE_SPEC(long double))
  95. {
  96. #ifdef BOOST_MATH_HAVE_CONSTEXPR_TABLES
  97. constexpr std::array<long double, 171> factorials = { {
  98. #else
  99. static const boost::array<long double, 171> factorials = {{
  100. #endif
  101. 1L,
  102. 1L,
  103. 2L,
  104. 6L,
  105. 24L,
  106. 120L,
  107. 720L,
  108. 5040L,
  109. 40320L,
  110. 362880.0L,
  111. 3628800.0L,
  112. 39916800.0L,
  113. 479001600.0L,
  114. 6227020800.0L,
  115. 87178291200.0L,
  116. 1307674368000.0L,
  117. 20922789888000.0L,
  118. 355687428096000.0L,
  119. 6402373705728000.0L,
  120. 121645100408832000.0L,
  121. 0.243290200817664e19L,
  122. 0.5109094217170944e20L,
  123. 0.112400072777760768e22L,
  124. 0.2585201673888497664e23L,
  125. 0.62044840173323943936e24L,
  126. 0.15511210043330985984e26L,
  127. 0.403291461126605635584e27L,
  128. 0.10888869450418352160768e29L,
  129. 0.304888344611713860501504e30L,
  130. 0.8841761993739701954543616e31L,
  131. 0.26525285981219105863630848e33L,
  132. 0.822283865417792281772556288e34L,
  133. 0.26313083693369353016721801216e36L,
  134. 0.868331761881188649551819440128e37L,
  135. 0.29523279903960414084761860964352e39L,
  136. 0.103331479663861449296666513375232e41L,
  137. 0.3719933267899012174679994481508352e42L,
  138. 0.137637530912263450463159795815809024e44L,
  139. 0.5230226174666011117600072241000742912e45L,
  140. 0.203978820811974433586402817399028973568e47L,
  141. 0.815915283247897734345611269596115894272e48L,
  142. 0.3345252661316380710817006205344075166515e50L,
  143. 0.1405006117752879898543142606244511569936e52L,
  144. 0.6041526306337383563735513206851399750726e53L,
  145. 0.265827157478844876804362581101461589032e55L,
  146. 0.1196222208654801945619631614956577150644e57L,
  147. 0.5502622159812088949850305428800254892962e58L,
  148. 0.2586232415111681806429643551536119799692e60L,
  149. 0.1241391559253607267086228904737337503852e62L,
  150. 0.6082818640342675608722521633212953768876e63L,
  151. 0.3041409320171337804361260816606476884438e65L,
  152. 0.1551118753287382280224243016469303211063e67L,
  153. 0.8065817517094387857166063685640376697529e68L,
  154. 0.427488328406002556429801375338939964969e70L,
  155. 0.2308436973392413804720927426830275810833e72L,
  156. 0.1269640335365827592596510084756651695958e74L,
  157. 0.7109985878048634518540456474637249497365e75L,
  158. 0.4052691950487721675568060190543232213498e77L,
  159. 0.2350561331282878571829474910515074683829e79L,
  160. 0.1386831185456898357379390197203894063459e81L,
  161. 0.8320987112741390144276341183223364380754e82L,
  162. 0.507580213877224798800856812176625227226e84L,
  163. 0.3146997326038793752565312235495076408801e86L,
  164. 0.1982608315404440064116146708361898137545e88L,
  165. 0.1268869321858841641034333893351614808029e90L,
  166. 0.8247650592082470666723170306785496252186e91L,
  167. 0.5443449390774430640037292402478427526443e93L,
  168. 0.3647111091818868528824985909660546442717e95L,
  169. 0.2480035542436830599600990418569171581047e97L,
  170. 0.1711224524281413113724683388812728390923e99L,
  171. 0.1197857166996989179607278372168909873646e101L,
  172. 0.8504785885678623175211676442399260102886e102L,
  173. 0.6123445837688608686152407038527467274078e104L,
  174. 0.4470115461512684340891257138125051110077e106L,
  175. 0.3307885441519386412259530282212537821457e108L,
  176. 0.2480914081139539809194647711659403366093e110L,
  177. 0.188549470166605025498793226086114655823e112L,
  178. 0.1451830920282858696340707840863082849837e114L,
  179. 0.1132428117820629783145752115873204622873e116L,
  180. 0.8946182130782975286851441715398316520698e117L,
  181. 0.7156945704626380229481153372318653216558e119L,
  182. 0.5797126020747367985879734231578109105412e121L,
  183. 0.4753643337012841748421382069894049466438e123L,
  184. 0.3945523969720658651189747118012061057144e125L,
  185. 0.3314240134565353266999387579130131288001e127L,
  186. 0.2817104114380550276949479442260611594801e129L,
  187. 0.2422709538367273238176552320344125971528e131L,
  188. 0.210775729837952771721360051869938959523e133L,
  189. 0.1854826422573984391147968456455462843802e135L,
  190. 0.1650795516090846108121691926245361930984e137L,
  191. 0.1485715964481761497309522733620825737886e139L,
  192. 0.1352001527678402962551665687594951421476e141L,
  193. 0.1243841405464130725547532432587355307758e143L,
  194. 0.1156772507081641574759205162306240436215e145L,
  195. 0.1087366156656743080273652852567866010042e147L,
  196. 0.103299784882390592625997020993947270954e149L,
  197. 0.9916779348709496892095714015418938011582e150L,
  198. 0.9619275968248211985332842594956369871234e152L,
  199. 0.942689044888324774562618574305724247381e154L,
  200. 0.9332621544394415268169923885626670049072e156L,
  201. 0.9332621544394415268169923885626670049072e158L,
  202. 0.9425947759838359420851623124482936749562e160L,
  203. 0.9614466715035126609268655586972595484554e162L,
  204. 0.990290071648618040754671525458177334909e164L,
  205. 0.1029901674514562762384858386476504428305e167L,
  206. 0.1081396758240290900504101305800329649721e169L,
  207. 0.1146280563734708354534347384148349428704e171L,
  208. 0.1226520203196137939351751701038733888713e173L,
  209. 0.132464181945182897449989183712183259981e175L,
  210. 0.1443859583202493582204882102462797533793e177L,
  211. 0.1588245541522742940425370312709077287172e179L,
  212. 0.1762952551090244663872161047107075788761e181L,
  213. 0.1974506857221074023536820372759924883413e183L,
  214. 0.2231192748659813646596607021218715118256e185L,
  215. 0.2543559733472187557120132004189335234812e187L,
  216. 0.2925093693493015690688151804817735520034e189L,
  217. 0.339310868445189820119825609358857320324e191L,
  218. 0.396993716080872089540195962949863064779e193L,
  219. 0.4684525849754290656574312362808384164393e195L,
  220. 0.5574585761207605881323431711741977155627e197L,
  221. 0.6689502913449127057588118054090372586753e199L,
  222. 0.8094298525273443739681622845449350829971e201L,
  223. 0.9875044200833601362411579871448208012564e203L,
  224. 0.1214630436702532967576624324188129585545e206L,
  225. 0.1506141741511140879795014161993280686076e208L,
  226. 0.1882677176888926099743767702491600857595e210L,
  227. 0.237217324288004688567714730513941708057e212L,
  228. 0.3012660018457659544809977077527059692324e214L,
  229. 0.3856204823625804217356770659234636406175e216L,
  230. 0.4974504222477287440390234150412680963966e218L,
  231. 0.6466855489220473672507304395536485253155e220L,
  232. 0.8471580690878820510984568758152795681634e222L,
  233. 0.1118248651196004307449963076076169029976e225L,
  234. 0.1487270706090685728908450891181304809868e227L,
  235. 0.1992942746161518876737324194182948445223e229L,
  236. 0.269047270731805048359538766214698040105e231L,
  237. 0.3659042881952548657689727220519893345429e233L,
  238. 0.5012888748274991661034926292112253883237e235L,
  239. 0.6917786472619488492228198283114910358867e237L,
  240. 0.9615723196941089004197195613529725398826e239L,
  241. 0.1346201247571752460587607385894161555836e242L,
  242. 0.1898143759076170969428526414110767793728e244L,
  243. 0.2695364137888162776588507508037290267094e246L,
  244. 0.3854370717180072770521565736493325081944e248L,
  245. 0.5550293832739304789551054660550388118e250L,
  246. 0.80479260574719919448490292577980627711e252L,
  247. 0.1174997204390910823947958271638517164581e255L,
  248. 0.1727245890454638911203498659308620231933e257L,
  249. 0.2556323917872865588581178015776757943262e259L,
  250. 0.380892263763056972698595524350736933546e261L,
  251. 0.571338395644585459047893286526105400319e263L,
  252. 0.8627209774233240431623188626544191544816e265L,
  253. 0.1311335885683452545606724671234717114812e268L,
  254. 0.2006343905095682394778288746989117185662e270L,
  255. 0.308976961384735088795856467036324046592e272L,
  256. 0.4789142901463393876335775239063022722176e274L,
  257. 0.7471062926282894447083809372938315446595e276L,
  258. 0.1172956879426414428192158071551315525115e279L,
  259. 0.1853271869493734796543609753051078529682e281L,
  260. 0.2946702272495038326504339507351214862195e283L,
  261. 0.4714723635992061322406943211761943779512e285L,
  262. 0.7590705053947218729075178570936729485014e287L,
  263. 0.1229694218739449434110178928491750176572e290L,
  264. 0.2004401576545302577599591653441552787813e292L,
  265. 0.3287218585534296227263330311644146572013e294L,
  266. 0.5423910666131588774984495014212841843822e296L,
  267. 0.9003691705778437366474261723593317460744e298L,
  268. 0.1503616514864999040201201707840084015944e301L,
  269. 0.2526075744973198387538018869171341146786e303L,
  270. 0.4269068009004705274939251888899566538069e305L,
  271. 0.7257415615307998967396728211129263114717e307L,
  272. }};
  273. return factorials[i];
  274. }
  275. template <>
  276. struct max_factorial<long double>
  277. {
  278. BOOST_STATIC_CONSTANT(unsigned, value = 170);
  279. };
  280. #ifdef BOOST_MATH_USE_FLOAT128
  281. template <>
  282. inline BOOST_MATH_CONSTEXPR_TABLE_FUNCTION BOOST_MATH_FLOAT128_TYPE unchecked_factorial<BOOST_MATH_FLOAT128_TYPE>(unsigned i)
  283. {
  284. #ifdef BOOST_MATH_HAVE_CONSTEXPR_TABLES
  285. constexpr std::array<BOOST_MATH_FLOAT128_TYPE, 171> factorials = { {
  286. #else
  287. static const boost::array<BOOST_MATH_FLOAT128_TYPE, 171> factorials = { {
  288. #endif
  289. 1,
  290. 1,
  291. 2,
  292. 6,
  293. 24,
  294. 120,
  295. 720,
  296. 5040,
  297. 40320,
  298. 362880.0Q,
  299. 3628800.0Q,
  300. 39916800.0Q,
  301. 479001600.0Q,
  302. 6227020800.0Q,
  303. 87178291200.0Q,
  304. 1307674368000.0Q,
  305. 20922789888000.0Q,
  306. 355687428096000.0Q,
  307. 6402373705728000.0Q,
  308. 121645100408832000.0Q,
  309. 0.243290200817664e19Q,
  310. 0.5109094217170944e20Q,
  311. 0.112400072777760768e22Q,
  312. 0.2585201673888497664e23Q,
  313. 0.62044840173323943936e24Q,
  314. 0.15511210043330985984e26Q,
  315. 0.403291461126605635584e27Q,
  316. 0.10888869450418352160768e29Q,
  317. 0.304888344611713860501504e30Q,
  318. 0.8841761993739701954543616e31Q,
  319. 0.26525285981219105863630848e33Q,
  320. 0.822283865417792281772556288e34Q,
  321. 0.26313083693369353016721801216e36Q,
  322. 0.868331761881188649551819440128e37Q,
  323. 0.29523279903960414084761860964352e39Q,
  324. 0.103331479663861449296666513375232e41Q,
  325. 0.3719933267899012174679994481508352e42Q,
  326. 0.137637530912263450463159795815809024e44Q,
  327. 0.5230226174666011117600072241000742912e45Q,
  328. 0.203978820811974433586402817399028973568e47Q,
  329. 0.815915283247897734345611269596115894272e48Q,
  330. 0.3345252661316380710817006205344075166515e50Q,
  331. 0.1405006117752879898543142606244511569936e52Q,
  332. 0.6041526306337383563735513206851399750726e53Q,
  333. 0.265827157478844876804362581101461589032e55Q,
  334. 0.1196222208654801945619631614956577150644e57Q,
  335. 0.5502622159812088949850305428800254892962e58Q,
  336. 0.2586232415111681806429643551536119799692e60Q,
  337. 0.1241391559253607267086228904737337503852e62Q,
  338. 0.6082818640342675608722521633212953768876e63Q,
  339. 0.3041409320171337804361260816606476884438e65Q,
  340. 0.1551118753287382280224243016469303211063e67Q,
  341. 0.8065817517094387857166063685640376697529e68Q,
  342. 0.427488328406002556429801375338939964969e70Q,
  343. 0.2308436973392413804720927426830275810833e72Q,
  344. 0.1269640335365827592596510084756651695958e74Q,
  345. 0.7109985878048634518540456474637249497365e75Q,
  346. 0.4052691950487721675568060190543232213498e77Q,
  347. 0.2350561331282878571829474910515074683829e79Q,
  348. 0.1386831185456898357379390197203894063459e81Q,
  349. 0.8320987112741390144276341183223364380754e82Q,
  350. 0.507580213877224798800856812176625227226e84Q,
  351. 0.3146997326038793752565312235495076408801e86Q,
  352. 0.1982608315404440064116146708361898137545e88Q,
  353. 0.1268869321858841641034333893351614808029e90Q,
  354. 0.8247650592082470666723170306785496252186e91Q,
  355. 0.5443449390774430640037292402478427526443e93Q,
  356. 0.3647111091818868528824985909660546442717e95Q,
  357. 0.2480035542436830599600990418569171581047e97Q,
  358. 0.1711224524281413113724683388812728390923e99Q,
  359. 0.1197857166996989179607278372168909873646e101Q,
  360. 0.8504785885678623175211676442399260102886e102Q,
  361. 0.6123445837688608686152407038527467274078e104Q,
  362. 0.4470115461512684340891257138125051110077e106Q,
  363. 0.3307885441519386412259530282212537821457e108Q,
  364. 0.2480914081139539809194647711659403366093e110Q,
  365. 0.188549470166605025498793226086114655823e112Q,
  366. 0.1451830920282858696340707840863082849837e114Q,
  367. 0.1132428117820629783145752115873204622873e116Q,
  368. 0.8946182130782975286851441715398316520698e117Q,
  369. 0.7156945704626380229481153372318653216558e119Q,
  370. 0.5797126020747367985879734231578109105412e121Q,
  371. 0.4753643337012841748421382069894049466438e123Q,
  372. 0.3945523969720658651189747118012061057144e125Q,
  373. 0.3314240134565353266999387579130131288001e127Q,
  374. 0.2817104114380550276949479442260611594801e129Q,
  375. 0.2422709538367273238176552320344125971528e131Q,
  376. 0.210775729837952771721360051869938959523e133Q,
  377. 0.1854826422573984391147968456455462843802e135Q,
  378. 0.1650795516090846108121691926245361930984e137Q,
  379. 0.1485715964481761497309522733620825737886e139Q,
  380. 0.1352001527678402962551665687594951421476e141Q,
  381. 0.1243841405464130725547532432587355307758e143Q,
  382. 0.1156772507081641574759205162306240436215e145Q,
  383. 0.1087366156656743080273652852567866010042e147Q,
  384. 0.103299784882390592625997020993947270954e149Q,
  385. 0.9916779348709496892095714015418938011582e150Q,
  386. 0.9619275968248211985332842594956369871234e152Q,
  387. 0.942689044888324774562618574305724247381e154Q,
  388. 0.9332621544394415268169923885626670049072e156Q,
  389. 0.9332621544394415268169923885626670049072e158Q,
  390. 0.9425947759838359420851623124482936749562e160Q,
  391. 0.9614466715035126609268655586972595484554e162Q,
  392. 0.990290071648618040754671525458177334909e164Q,
  393. 0.1029901674514562762384858386476504428305e167Q,
  394. 0.1081396758240290900504101305800329649721e169Q,
  395. 0.1146280563734708354534347384148349428704e171Q,
  396. 0.1226520203196137939351751701038733888713e173Q,
  397. 0.132464181945182897449989183712183259981e175Q,
  398. 0.1443859583202493582204882102462797533793e177Q,
  399. 0.1588245541522742940425370312709077287172e179Q,
  400. 0.1762952551090244663872161047107075788761e181Q,
  401. 0.1974506857221074023536820372759924883413e183Q,
  402. 0.2231192748659813646596607021218715118256e185Q,
  403. 0.2543559733472187557120132004189335234812e187Q,
  404. 0.2925093693493015690688151804817735520034e189Q,
  405. 0.339310868445189820119825609358857320324e191Q,
  406. 0.396993716080872089540195962949863064779e193Q,
  407. 0.4684525849754290656574312362808384164393e195Q,
  408. 0.5574585761207605881323431711741977155627e197Q,
  409. 0.6689502913449127057588118054090372586753e199Q,
  410. 0.8094298525273443739681622845449350829971e201Q,
  411. 0.9875044200833601362411579871448208012564e203Q,
  412. 0.1214630436702532967576624324188129585545e206Q,
  413. 0.1506141741511140879795014161993280686076e208Q,
  414. 0.1882677176888926099743767702491600857595e210Q,
  415. 0.237217324288004688567714730513941708057e212Q,
  416. 0.3012660018457659544809977077527059692324e214Q,
  417. 0.3856204823625804217356770659234636406175e216Q,
  418. 0.4974504222477287440390234150412680963966e218Q,
  419. 0.6466855489220473672507304395536485253155e220Q,
  420. 0.8471580690878820510984568758152795681634e222Q,
  421. 0.1118248651196004307449963076076169029976e225Q,
  422. 0.1487270706090685728908450891181304809868e227Q,
  423. 0.1992942746161518876737324194182948445223e229Q,
  424. 0.269047270731805048359538766214698040105e231Q,
  425. 0.3659042881952548657689727220519893345429e233Q,
  426. 0.5012888748274991661034926292112253883237e235Q,
  427. 0.6917786472619488492228198283114910358867e237Q,
  428. 0.9615723196941089004197195613529725398826e239Q,
  429. 0.1346201247571752460587607385894161555836e242Q,
  430. 0.1898143759076170969428526414110767793728e244Q,
  431. 0.2695364137888162776588507508037290267094e246Q,
  432. 0.3854370717180072770521565736493325081944e248Q,
  433. 0.5550293832739304789551054660550388118e250Q,
  434. 0.80479260574719919448490292577980627711e252Q,
  435. 0.1174997204390910823947958271638517164581e255Q,
  436. 0.1727245890454638911203498659308620231933e257Q,
  437. 0.2556323917872865588581178015776757943262e259Q,
  438. 0.380892263763056972698595524350736933546e261Q,
  439. 0.571338395644585459047893286526105400319e263Q,
  440. 0.8627209774233240431623188626544191544816e265Q,
  441. 0.1311335885683452545606724671234717114812e268Q,
  442. 0.2006343905095682394778288746989117185662e270Q,
  443. 0.308976961384735088795856467036324046592e272Q,
  444. 0.4789142901463393876335775239063022722176e274Q,
  445. 0.7471062926282894447083809372938315446595e276Q,
  446. 0.1172956879426414428192158071551315525115e279Q,
  447. 0.1853271869493734796543609753051078529682e281Q,
  448. 0.2946702272495038326504339507351214862195e283Q,
  449. 0.4714723635992061322406943211761943779512e285Q,
  450. 0.7590705053947218729075178570936729485014e287Q,
  451. 0.1229694218739449434110178928491750176572e290Q,
  452. 0.2004401576545302577599591653441552787813e292Q,
  453. 0.3287218585534296227263330311644146572013e294Q,
  454. 0.5423910666131588774984495014212841843822e296Q,
  455. 0.9003691705778437366474261723593317460744e298Q,
  456. 0.1503616514864999040201201707840084015944e301Q,
  457. 0.2526075744973198387538018869171341146786e303Q,
  458. 0.4269068009004705274939251888899566538069e305Q,
  459. 0.7257415615307998967396728211129263114717e307Q,
  460. } };
  461. return factorials[i];
  462. }
  463. template <>
  464. struct max_factorial<BOOST_MATH_FLOAT128_TYPE>
  465. {
  466. BOOST_STATIC_CONSTANT(unsigned, value = 170);
  467. };
  468. #endif
  469. template <>
  470. inline BOOST_MATH_CONSTEXPR_TABLE_FUNCTION double unchecked_factorial<double>(unsigned i BOOST_MATH_APPEND_EXPLICIT_TEMPLATE_TYPE_SPEC(double))
  471. {
  472. return static_cast<double>(boost::math::unchecked_factorial<long double>(i));
  473. }
  474. template <>
  475. struct max_factorial<double>
  476. {
  477. BOOST_STATIC_CONSTANT(unsigned,
  478. value = ::boost::math::max_factorial<long double>::value);
  479. };
  480. #ifndef BOOST_MATH_NO_LEXICAL_CAST
  481. template <class T>
  482. struct unchecked_factorial_initializer
  483. {
  484. struct init
  485. {
  486. init()
  487. {
  488. boost::math::unchecked_factorial<T>(3);
  489. }
  490. void force_instantiate()const {}
  491. };
  492. static const init initializer;
  493. static void force_instantiate()
  494. {
  495. initializer.force_instantiate();
  496. }
  497. };
  498. template <class T>
  499. const typename unchecked_factorial_initializer<T>::init unchecked_factorial_initializer<T>::initializer;
  500. template <class T, int N>
  501. inline T unchecked_factorial_imp(unsigned i, const mpl::int_<N>&)
  502. {
  503. BOOST_STATIC_ASSERT(!boost::is_integral<T>::value);
  504. // factorial<unsigned int>(n) is not implemented
  505. // because it would overflow integral type T for too small n
  506. // to be useful. Use instead a floating-point type,
  507. // and convert to an unsigned type if essential, for example:
  508. // unsigned int nfac = static_cast<unsigned int>(factorial<double>(n));
  509. // See factorial documentation for more detail.
  510. unchecked_factorial_initializer<T>::force_instantiate();
  511. static const boost::array<T, 101> factorials = {{
  512. T(boost::math::tools::convert_from_string<T>("1")),
  513. T(boost::math::tools::convert_from_string<T>("1")),
  514. T(boost::math::tools::convert_from_string<T>("2")),
  515. T(boost::math::tools::convert_from_string<T>("6")),
  516. T(boost::math::tools::convert_from_string<T>("24")),
  517. T(boost::math::tools::convert_from_string<T>("120")),
  518. T(boost::math::tools::convert_from_string<T>("720")),
  519. T(boost::math::tools::convert_from_string<T>("5040")),
  520. T(boost::math::tools::convert_from_string<T>("40320")),
  521. T(boost::math::tools::convert_from_string<T>("362880")),
  522. T(boost::math::tools::convert_from_string<T>("3628800")),
  523. T(boost::math::tools::convert_from_string<T>("39916800")),
  524. T(boost::math::tools::convert_from_string<T>("479001600")),
  525. T(boost::math::tools::convert_from_string<T>("6227020800")),
  526. T(boost::math::tools::convert_from_string<T>("87178291200")),
  527. T(boost::math::tools::convert_from_string<T>("1307674368000")),
  528. T(boost::math::tools::convert_from_string<T>("20922789888000")),
  529. T(boost::math::tools::convert_from_string<T>("355687428096000")),
  530. T(boost::math::tools::convert_from_string<T>("6402373705728000")),
  531. T(boost::math::tools::convert_from_string<T>("121645100408832000")),
  532. T(boost::math::tools::convert_from_string<T>("2432902008176640000")),
  533. T(boost::math::tools::convert_from_string<T>("51090942171709440000")),
  534. T(boost::math::tools::convert_from_string<T>("1124000727777607680000")),
  535. T(boost::math::tools::convert_from_string<T>("25852016738884976640000")),
  536. T(boost::math::tools::convert_from_string<T>("620448401733239439360000")),
  537. T(boost::math::tools::convert_from_string<T>("15511210043330985984000000")),
  538. T(boost::math::tools::convert_from_string<T>("403291461126605635584000000")),
  539. T(boost::math::tools::convert_from_string<T>("10888869450418352160768000000")),
  540. T(boost::math::tools::convert_from_string<T>("304888344611713860501504000000")),
  541. T(boost::math::tools::convert_from_string<T>("8841761993739701954543616000000")),
  542. T(boost::math::tools::convert_from_string<T>("265252859812191058636308480000000")),
  543. T(boost::math::tools::convert_from_string<T>("8222838654177922817725562880000000")),
  544. T(boost::math::tools::convert_from_string<T>("263130836933693530167218012160000000")),
  545. T(boost::math::tools::convert_from_string<T>("8683317618811886495518194401280000000")),
  546. T(boost::math::tools::convert_from_string<T>("295232799039604140847618609643520000000")),
  547. T(boost::math::tools::convert_from_string<T>("10333147966386144929666651337523200000000")),
  548. T(boost::math::tools::convert_from_string<T>("371993326789901217467999448150835200000000")),
  549. T(boost::math::tools::convert_from_string<T>("13763753091226345046315979581580902400000000")),
  550. T(boost::math::tools::convert_from_string<T>("523022617466601111760007224100074291200000000")),
  551. T(boost::math::tools::convert_from_string<T>("20397882081197443358640281739902897356800000000")),
  552. T(boost::math::tools::convert_from_string<T>("815915283247897734345611269596115894272000000000")),
  553. T(boost::math::tools::convert_from_string<T>("33452526613163807108170062053440751665152000000000")),
  554. T(boost::math::tools::convert_from_string<T>("1405006117752879898543142606244511569936384000000000")),
  555. T(boost::math::tools::convert_from_string<T>("60415263063373835637355132068513997507264512000000000")),
  556. T(boost::math::tools::convert_from_string<T>("2658271574788448768043625811014615890319638528000000000")),
  557. T(boost::math::tools::convert_from_string<T>("119622220865480194561963161495657715064383733760000000000")),
  558. T(boost::math::tools::convert_from_string<T>("5502622159812088949850305428800254892961651752960000000000")),
  559. T(boost::math::tools::convert_from_string<T>("258623241511168180642964355153611979969197632389120000000000")),
  560. T(boost::math::tools::convert_from_string<T>("12413915592536072670862289047373375038521486354677760000000000")),
  561. T(boost::math::tools::convert_from_string<T>("608281864034267560872252163321295376887552831379210240000000000")),
  562. T(boost::math::tools::convert_from_string<T>("30414093201713378043612608166064768844377641568960512000000000000")),
  563. T(boost::math::tools::convert_from_string<T>("1551118753287382280224243016469303211063259720016986112000000000000")),
  564. T(boost::math::tools::convert_from_string<T>("80658175170943878571660636856403766975289505440883277824000000000000")),
  565. T(boost::math::tools::convert_from_string<T>("4274883284060025564298013753389399649690343788366813724672000000000000")),
  566. T(boost::math::tools::convert_from_string<T>("230843697339241380472092742683027581083278564571807941132288000000000000")),
  567. T(boost::math::tools::convert_from_string<T>("12696403353658275925965100847566516959580321051449436762275840000000000000")),
  568. T(boost::math::tools::convert_from_string<T>("710998587804863451854045647463724949736497978881168458687447040000000000000")),
  569. T(boost::math::tools::convert_from_string<T>("40526919504877216755680601905432322134980384796226602145184481280000000000000")),
  570. T(boost::math::tools::convert_from_string<T>("2350561331282878571829474910515074683828862318181142924420699914240000000000000")),
  571. T(boost::math::tools::convert_from_string<T>("138683118545689835737939019720389406345902876772687432540821294940160000000000000")),
  572. T(boost::math::tools::convert_from_string<T>("8320987112741390144276341183223364380754172606361245952449277696409600000000000000")),
  573. T(boost::math::tools::convert_from_string<T>("507580213877224798800856812176625227226004528988036003099405939480985600000000000000")),
  574. T(boost::math::tools::convert_from_string<T>("31469973260387937525653122354950764088012280797258232192163168247821107200000000000000")),
  575. T(boost::math::tools::convert_from_string<T>("1982608315404440064116146708361898137544773690227268628106279599612729753600000000000000")),
  576. T(boost::math::tools::convert_from_string<T>("126886932185884164103433389335161480802865516174545192198801894375214704230400000000000000")),
  577. T(boost::math::tools::convert_from_string<T>("8247650592082470666723170306785496252186258551345437492922123134388955774976000000000000000")),
  578. T(boost::math::tools::convert_from_string<T>("544344939077443064003729240247842752644293064388798874532860126869671081148416000000000000000")),
  579. T(boost::math::tools::convert_from_string<T>("36471110918188685288249859096605464427167635314049524593701628500267962436943872000000000000000")),
  580. T(boost::math::tools::convert_from_string<T>("2480035542436830599600990418569171581047399201355367672371710738018221445712183296000000000000000")),
  581. T(boost::math::tools::convert_from_string<T>("171122452428141311372468338881272839092270544893520369393648040923257279754140647424000000000000000")),
  582. T(boost::math::tools::convert_from_string<T>("11978571669969891796072783721689098736458938142546425857555362864628009582789845319680000000000000000")),
  583. T(boost::math::tools::convert_from_string<T>("850478588567862317521167644239926010288584608120796235886430763388588680378079017697280000000000000000")),
  584. T(boost::math::tools::convert_from_string<T>("61234458376886086861524070385274672740778091784697328983823014963978384987221689274204160000000000000000")),
  585. T(boost::math::tools::convert_from_string<T>("4470115461512684340891257138125051110076800700282905015819080092370422104067183317016903680000000000000000")),
  586. T(boost::math::tools::convert_from_string<T>("330788544151938641225953028221253782145683251820934971170611926835411235700971565459250872320000000000000000")),
  587. T(boost::math::tools::convert_from_string<T>("24809140811395398091946477116594033660926243886570122837795894512655842677572867409443815424000000000000000000")),
  588. T(boost::math::tools::convert_from_string<T>("1885494701666050254987932260861146558230394535379329335672487982961844043495537923117729972224000000000000000000")),
  589. T(boost::math::tools::convert_from_string<T>("145183092028285869634070784086308284983740379224208358846781574688061991349156420080065207861248000000000000000000")),
  590. T(boost::math::tools::convert_from_string<T>("11324281178206297831457521158732046228731749579488251990048962825668835325234200766245086213177344000000000000000000")),
  591. T(boost::math::tools::convert_from_string<T>("894618213078297528685144171539831652069808216779571907213868063227837990693501860533361810841010176000000000000000000")),
  592. T(boost::math::tools::convert_from_string<T>("71569457046263802294811533723186532165584657342365752577109445058227039255480148842668944867280814080000000000000000000")),
  593. T(boost::math::tools::convert_from_string<T>("5797126020747367985879734231578109105412357244731625958745865049716390179693892056256184534249745940480000000000000000000")),
  594. T(boost::math::tools::convert_from_string<T>("475364333701284174842138206989404946643813294067993328617160934076743994734899148613007131808479167119360000000000000000000")),
  595. T(boost::math::tools::convert_from_string<T>("39455239697206586511897471180120610571436503407643446275224357528369751562996629334879591940103770870906880000000000000000000")),
  596. T(boost::math::tools::convert_from_string<T>("3314240134565353266999387579130131288000666286242049487118846032383059131291716864129885722968716753156177920000000000000000000")),
  597. T(boost::math::tools::convert_from_string<T>("281710411438055027694947944226061159480056634330574206405101912752560026159795933451040286452340924018275123200000000000000000000")),
  598. T(boost::math::tools::convert_from_string<T>("24227095383672732381765523203441259715284870552429381750838764496720162249742450276789464634901319465571660595200000000000000000000")),
  599. T(boost::math::tools::convert_from_string<T>("2107757298379527717213600518699389595229783738061356212322972511214654115727593174080683423236414793504734471782400000000000000000000")),
  600. T(boost::math::tools::convert_from_string<T>("185482642257398439114796845645546284380220968949399346684421580986889562184028199319100141244804501828416633516851200000000000000000000")),
  601. T(boost::math::tools::convert_from_string<T>("16507955160908461081216919262453619309839666236496541854913520707833171034378509739399912570787600662729080382999756800000000000000000000")),
  602. T(boost::math::tools::convert_from_string<T>("1485715964481761497309522733620825737885569961284688766942216863704985393094065876545992131370884059645617234469978112000000000000000000000")),
  603. T(boost::math::tools::convert_from_string<T>("135200152767840296255166568759495142147586866476906677791741734597153670771559994765685283954750449427751168336768008192000000000000000000000")),
  604. T(boost::math::tools::convert_from_string<T>("12438414054641307255475324325873553077577991715875414356840239582938137710983519518443046123837041347353107486982656753664000000000000000000000")),
  605. T(boost::math::tools::convert_from_string<T>("1156772507081641574759205162306240436214753229576413535186142281213246807121467315215203289516844845303838996289387078090752000000000000000000000")),
  606. T(boost::math::tools::convert_from_string<T>("108736615665674308027365285256786601004186803580182872307497374434045199869417927630229109214583415458560865651202385340530688000000000000000000000")),
  607. T(boost::math::tools::convert_from_string<T>("10329978488239059262599702099394727095397746340117372869212250571234293987594703124871765375385424468563282236864226607350415360000000000000000000000")),
  608. T(boost::math::tools::convert_from_string<T>("991677934870949689209571401541893801158183648651267795444376054838492222809091499987689476037000748982075094738965754305639874560000000000000000000000")),
  609. T(boost::math::tools::convert_from_string<T>("96192759682482119853328425949563698712343813919172976158104477319333745612481875498805879175589072651261284189679678167647067832320000000000000000000000")),
  610. T(boost::math::tools::convert_from_string<T>("9426890448883247745626185743057242473809693764078951663494238777294707070023223798882976159207729119823605850588608460429412647567360000000000000000000000")),
  611. T(boost::math::tools::convert_from_string<T>("933262154439441526816992388562667004907159682643816214685929638952175999932299156089414639761565182862536979208272237582511852109168640000000000000000000000")),
  612. T(boost::math::tools::convert_from_string<T>("93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000")),
  613. }};
  614. return factorials[i];
  615. }
  616. template <class T>
  617. inline T unchecked_factorial_imp(unsigned i, const mpl::int_<0>&)
  618. {
  619. BOOST_STATIC_ASSERT(!boost::is_integral<T>::value);
  620. // factorial<unsigned int>(n) is not implemented
  621. // because it would overflow integral type T for too small n
  622. // to be useful. Use instead a floating-point type,
  623. // and convert to an unsigned type if essential, for example:
  624. // unsigned int nfac = static_cast<unsigned int>(factorial<double>(n));
  625. // See factorial documentation for more detail.
  626. #ifdef BOOST_NO_CXX11_THREAD_LOCAL
  627. unchecked_factorial_initializer<T>::force_instantiate();
  628. #endif
  629. static const char* const factorial_strings[] = {
  630. "1",
  631. "1",
  632. "2",
  633. "6",
  634. "24",
  635. "120",
  636. "720",
  637. "5040",
  638. "40320",
  639. "362880",
  640. "3628800",
  641. "39916800",
  642. "479001600",
  643. "6227020800",
  644. "87178291200",
  645. "1307674368000",
  646. "20922789888000",
  647. "355687428096000",
  648. "6402373705728000",
  649. "121645100408832000",
  650. "2432902008176640000",
  651. "51090942171709440000",
  652. "1124000727777607680000",
  653. "25852016738884976640000",
  654. "620448401733239439360000",
  655. "15511210043330985984000000",
  656. "403291461126605635584000000",
  657. "10888869450418352160768000000",
  658. "304888344611713860501504000000",
  659. "8841761993739701954543616000000",
  660. "265252859812191058636308480000000",
  661. "8222838654177922817725562880000000",
  662. "263130836933693530167218012160000000",
  663. "8683317618811886495518194401280000000",
  664. "295232799039604140847618609643520000000",
  665. "10333147966386144929666651337523200000000",
  666. "371993326789901217467999448150835200000000",
  667. "13763753091226345046315979581580902400000000",
  668. "523022617466601111760007224100074291200000000",
  669. "20397882081197443358640281739902897356800000000",
  670. "815915283247897734345611269596115894272000000000",
  671. "33452526613163807108170062053440751665152000000000",
  672. "1405006117752879898543142606244511569936384000000000",
  673. "60415263063373835637355132068513997507264512000000000",
  674. "2658271574788448768043625811014615890319638528000000000",
  675. "119622220865480194561963161495657715064383733760000000000",
  676. "5502622159812088949850305428800254892961651752960000000000",
  677. "258623241511168180642964355153611979969197632389120000000000",
  678. "12413915592536072670862289047373375038521486354677760000000000",
  679. "608281864034267560872252163321295376887552831379210240000000000",
  680. "30414093201713378043612608166064768844377641568960512000000000000",
  681. "1551118753287382280224243016469303211063259720016986112000000000000",
  682. "80658175170943878571660636856403766975289505440883277824000000000000",
  683. "4274883284060025564298013753389399649690343788366813724672000000000000",
  684. "230843697339241380472092742683027581083278564571807941132288000000000000",
  685. "12696403353658275925965100847566516959580321051449436762275840000000000000",
  686. "710998587804863451854045647463724949736497978881168458687447040000000000000",
  687. "40526919504877216755680601905432322134980384796226602145184481280000000000000",
  688. "2350561331282878571829474910515074683828862318181142924420699914240000000000000",
  689. "138683118545689835737939019720389406345902876772687432540821294940160000000000000",
  690. "8320987112741390144276341183223364380754172606361245952449277696409600000000000000",
  691. "507580213877224798800856812176625227226004528988036003099405939480985600000000000000",
  692. "31469973260387937525653122354950764088012280797258232192163168247821107200000000000000",
  693. "1982608315404440064116146708361898137544773690227268628106279599612729753600000000000000",
  694. "126886932185884164103433389335161480802865516174545192198801894375214704230400000000000000",
  695. "8247650592082470666723170306785496252186258551345437492922123134388955774976000000000000000",
  696. "544344939077443064003729240247842752644293064388798874532860126869671081148416000000000000000",
  697. "36471110918188685288249859096605464427167635314049524593701628500267962436943872000000000000000",
  698. "2480035542436830599600990418569171581047399201355367672371710738018221445712183296000000000000000",
  699. "171122452428141311372468338881272839092270544893520369393648040923257279754140647424000000000000000",
  700. "11978571669969891796072783721689098736458938142546425857555362864628009582789845319680000000000000000",
  701. "850478588567862317521167644239926010288584608120796235886430763388588680378079017697280000000000000000",
  702. "61234458376886086861524070385274672740778091784697328983823014963978384987221689274204160000000000000000",
  703. "4470115461512684340891257138125051110076800700282905015819080092370422104067183317016903680000000000000000",
  704. "330788544151938641225953028221253782145683251820934971170611926835411235700971565459250872320000000000000000",
  705. "24809140811395398091946477116594033660926243886570122837795894512655842677572867409443815424000000000000000000",
  706. "1885494701666050254987932260861146558230394535379329335672487982961844043495537923117729972224000000000000000000",
  707. "145183092028285869634070784086308284983740379224208358846781574688061991349156420080065207861248000000000000000000",
  708. "11324281178206297831457521158732046228731749579488251990048962825668835325234200766245086213177344000000000000000000",
  709. "894618213078297528685144171539831652069808216779571907213868063227837990693501860533361810841010176000000000000000000",
  710. "71569457046263802294811533723186532165584657342365752577109445058227039255480148842668944867280814080000000000000000000",
  711. "5797126020747367985879734231578109105412357244731625958745865049716390179693892056256184534249745940480000000000000000000",
  712. "475364333701284174842138206989404946643813294067993328617160934076743994734899148613007131808479167119360000000000000000000",
  713. "39455239697206586511897471180120610571436503407643446275224357528369751562996629334879591940103770870906880000000000000000000",
  714. "3314240134565353266999387579130131288000666286242049487118846032383059131291716864129885722968716753156177920000000000000000000",
  715. "281710411438055027694947944226061159480056634330574206405101912752560026159795933451040286452340924018275123200000000000000000000",
  716. "24227095383672732381765523203441259715284870552429381750838764496720162249742450276789464634901319465571660595200000000000000000000",
  717. "2107757298379527717213600518699389595229783738061356212322972511214654115727593174080683423236414793504734471782400000000000000000000",
  718. "185482642257398439114796845645546284380220968949399346684421580986889562184028199319100141244804501828416633516851200000000000000000000",
  719. "16507955160908461081216919262453619309839666236496541854913520707833171034378509739399912570787600662729080382999756800000000000000000000",
  720. "1485715964481761497309522733620825737885569961284688766942216863704985393094065876545992131370884059645617234469978112000000000000000000000",
  721. "135200152767840296255166568759495142147586866476906677791741734597153670771559994765685283954750449427751168336768008192000000000000000000000",
  722. "12438414054641307255475324325873553077577991715875414356840239582938137710983519518443046123837041347353107486982656753664000000000000000000000",
  723. "1156772507081641574759205162306240436214753229576413535186142281213246807121467315215203289516844845303838996289387078090752000000000000000000000",
  724. "108736615665674308027365285256786601004186803580182872307497374434045199869417927630229109214583415458560865651202385340530688000000000000000000000",
  725. "10329978488239059262599702099394727095397746340117372869212250571234293987594703124871765375385424468563282236864226607350415360000000000000000000000",
  726. "991677934870949689209571401541893801158183648651267795444376054838492222809091499987689476037000748982075094738965754305639874560000000000000000000000",
  727. "96192759682482119853328425949563698712343813919172976158104477319333745612481875498805879175589072651261284189679678167647067832320000000000000000000000",
  728. "9426890448883247745626185743057242473809693764078951663494238777294707070023223798882976159207729119823605850588608460429412647567360000000000000000000000",
  729. "933262154439441526816992388562667004907159682643816214685929638952175999932299156089414639761565182862536979208272237582511852109168640000000000000000000000",
  730. "93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000",
  731. };
  732. static BOOST_MATH_THREAD_LOCAL T factorials[sizeof(factorial_strings) / sizeof(factorial_strings[0])];
  733. static BOOST_MATH_THREAD_LOCAL int digits = 0;
  734. int current_digits = boost::math::tools::digits<T>();
  735. if(digits != current_digits)
  736. {
  737. digits = current_digits;
  738. for(unsigned k = 0; k < sizeof(factorials) / sizeof(factorials[0]); ++k)
  739. factorials[k] = static_cast<T>(boost::math::tools::convert_from_string<T>(factorial_strings[k]));
  740. }
  741. return factorials[i];
  742. }
  743. template <class T>
  744. inline T unchecked_factorial_imp(unsigned i, const mpl::int_<std::numeric_limits<float>::digits>&)
  745. {
  746. return unchecked_factorial<float>(i);
  747. }
  748. template <class T>
  749. inline T unchecked_factorial_imp(unsigned i, const mpl::int_<std::numeric_limits<double>::digits>&)
  750. {
  751. return unchecked_factorial<double>(i);
  752. }
  753. #if DBL_MANT_DIG != LDBL_MANT_DIG
  754. template <class T>
  755. inline T unchecked_factorial_imp(unsigned i, const mpl::int_<LDBL_MANT_DIG>&)
  756. {
  757. return unchecked_factorial<long double>(i);
  758. }
  759. #endif
  760. #ifdef BOOST_MATH_USE_FLOAT128
  761. template <class T>
  762. inline T unchecked_factorial_imp(unsigned i, const mpl::int_<113>&)
  763. {
  764. return unchecked_factorial<BOOST_MATH_FLOAT128_TYPE>(i);
  765. }
  766. #endif
  767. template <class T>
  768. inline T unchecked_factorial(unsigned i)
  769. {
  770. typedef typename boost::math::policies::precision<T, boost::math::policies::policy<> >::type tag_type;
  771. return unchecked_factorial_imp<T>(i, tag_type());
  772. }
  773. #ifdef BOOST_MATH_USE_FLOAT128
  774. #define BOOST_MATH_DETAIL_FLOAT128_MAX_FACTORIAL : std::numeric_limits<T>::digits == 113 ? max_factorial<BOOST_MATH_FLOAT128_TYPE>::value
  775. #else
  776. #define BOOST_MATH_DETAIL_FLOAT128_MAX_FACTORIAL
  777. #endif
  778. template <class T>
  779. struct max_factorial
  780. {
  781. BOOST_STATIC_CONSTANT(unsigned, value =
  782. std::numeric_limits<T>::digits == std::numeric_limits<float>::digits ? max_factorial<float>::value
  783. : std::numeric_limits<T>::digits == std::numeric_limits<double>::digits ? max_factorial<double>::value
  784. : std::numeric_limits<T>::digits == std::numeric_limits<long double>::digits ? max_factorial<long double>::value
  785. BOOST_MATH_DETAIL_FLOAT128_MAX_FACTORIAL
  786. : 100);
  787. };
  788. #undef BOOST_MATH_DETAIL_FLOAT128_MAX_FACTORIAL
  789. #else // BOOST_MATH_NO_LEXICAL_CAST
  790. template <class T>
  791. inline T unchecked_factorial(unsigned i BOOST_MATH_APPEND_EXPLICIT_TEMPLATE_TYPE_SPEC(T))
  792. {
  793. return 1;
  794. }
  795. template <class T>
  796. struct max_factorial
  797. {
  798. BOOST_STATIC_CONSTANT(unsigned, value = 0);
  799. };
  800. #endif
  801. #ifndef BOOST_NO_INCLASS_MEMBER_INITIALIZATION
  802. template <class T>
  803. const unsigned max_factorial<T>::value;
  804. #endif
  805. } // namespace math
  806. } // namespace boost
  807. #endif // BOOST_MATH_SP_UC_FACTORIALS_HPP