numbers 6.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164
  1. // -*- C++ -*-
  2. //===----------------------------------------------------------------------===//
  3. //
  4. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  5. // See https://llvm.org/LICENSE.txt for license information.
  6. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  7. //
  8. //===----------------------------------------------------------------------===//
  9. #ifndef _LIBCPP_NUMBERS
  10. #define _LIBCPP_NUMBERS
  11. /*
  12. numbers synopsis
  13. namespace std::numbers {
  14. template<class T> inline constexpr T e_v = unspecified;
  15. template<class T> inline constexpr T log2e_v = unspecified;
  16. template<class T> inline constexpr T log10e_v = unspecified;
  17. template<class T> inline constexpr T pi_v = unspecified;
  18. template<class T> inline constexpr T inv_pi_v = unspecified;
  19. template<class T> inline constexpr T inv_sqrtpi_v = unspecified;
  20. template<class T> inline constexpr T ln2_v = unspecified;
  21. template<class T> inline constexpr T ln10_v = unspecified;
  22. template<class T> inline constexpr T sqrt2_v = unspecified;
  23. template<class T> inline constexpr T sqrt3_v = unspecified;
  24. template<class T> inline constexpr T inv_sqrt3_v = unspecified;
  25. template<class T> inline constexpr T egamma_v = unspecified;
  26. template<class T> inline constexpr T phi_v = unspecified;
  27. template<floating_point T> inline constexpr T e_v<T> = see below;
  28. template<floating_point T> inline constexpr T log2e_v<T> = see below;
  29. template<floating_point T> inline constexpr T log10e_v<T> = see below;
  30. template<floating_point T> inline constexpr T pi_v<T> = see below;
  31. template<floating_point T> inline constexpr T inv_pi_v<T> = see below;
  32. template<floating_point T> inline constexpr T inv_sqrtpi_v<T> = see below;
  33. template<floating_point T> inline constexpr T ln2_v<T> = see below;
  34. template<floating_point T> inline constexpr T ln10_v<T> = see below;
  35. template<floating_point T> inline constexpr T sqrt2_v<T> = see below;
  36. template<floating_point T> inline constexpr T sqrt3_v<T> = see below;
  37. template<floating_point T> inline constexpr T inv_sqrt3_v<T> = see below;
  38. template<floating_point T> inline constexpr T egamma_v<T> = see below;
  39. template<floating_point T> inline constexpr T phi_v<T> = see below;
  40. inline constexpr double e = e_v<double>;
  41. inline constexpr double log2e = log2e_v<double>;
  42. inline constexpr double log10e = log10e_v<double>;
  43. inline constexpr double pi = pi_v<double>;
  44. inline constexpr double inv_pi = inv_pi_v<double>;
  45. inline constexpr double inv_sqrtpi = inv_sqrtpi_v<double>;
  46. inline constexpr double ln2 = ln2_v<double>;
  47. inline constexpr double ln10 = ln10_v<double>;
  48. inline constexpr double sqrt2 = sqrt2_v<double>;
  49. inline constexpr double sqrt3 = sqrt3_v<double>;
  50. inline constexpr double inv_sqrt3 = inv_sqrt3_v<double>;
  51. inline constexpr double egamma = egamma_v<double>;
  52. inline constexpr double phi = phi_v<double>;
  53. }
  54. */
  55. #include <__concepts/arithmetic.h>
  56. #include <__config>
  57. #include <version>
  58. #if _LIBCPP_STD_VER >= 20
  59. # if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  60. # pragma GCC system_header
  61. # endif
  62. _LIBCPP_BEGIN_NAMESPACE_STD
  63. namespace numbers {
  64. template <class _Tp>
  65. inline constexpr bool __false = false;
  66. template <class _Tp>
  67. struct __illformed {
  68. static_assert(
  69. __false<_Tp>,
  70. "A program that instantiates a primary template of a mathematical constant variable template is ill-formed.");
  71. };
  72. template <class _Tp>
  73. inline constexpr _Tp e_v = __illformed<_Tp>{};
  74. template <class _Tp>
  75. inline constexpr _Tp log2e_v = __illformed<_Tp>{};
  76. template <class _Tp>
  77. inline constexpr _Tp log10e_v = __illformed<_Tp>{};
  78. template <class _Tp>
  79. inline constexpr _Tp pi_v = __illformed<_Tp>{};
  80. template <class _Tp>
  81. inline constexpr _Tp inv_pi_v = __illformed<_Tp>{};
  82. template <class _Tp>
  83. inline constexpr _Tp inv_sqrtpi_v = __illformed<_Tp>{};
  84. template <class _Tp>
  85. inline constexpr _Tp ln2_v = __illformed<_Tp>{};
  86. template <class _Tp>
  87. inline constexpr _Tp ln10_v = __illformed<_Tp>{};
  88. template <class _Tp>
  89. inline constexpr _Tp sqrt2_v = __illformed<_Tp>{};
  90. template <class _Tp>
  91. inline constexpr _Tp sqrt3_v = __illformed<_Tp>{};
  92. template <class _Tp>
  93. inline constexpr _Tp inv_sqrt3_v = __illformed<_Tp>{};
  94. template <class _Tp>
  95. inline constexpr _Tp egamma_v = __illformed<_Tp>{};
  96. template <class _Tp>
  97. inline constexpr _Tp phi_v = __illformed<_Tp>{};
  98. template <floating_point _Tp>
  99. inline constexpr _Tp e_v<_Tp> = 2.718281828459045235360287471352662;
  100. template <floating_point _Tp>
  101. inline constexpr _Tp log2e_v<_Tp> = 1.442695040888963407359924681001892;
  102. template <floating_point _Tp>
  103. inline constexpr _Tp log10e_v<_Tp> = 0.434294481903251827651128918916605;
  104. template <floating_point _Tp>
  105. inline constexpr _Tp pi_v<_Tp> = 3.141592653589793238462643383279502;
  106. template <floating_point _Tp>
  107. inline constexpr _Tp inv_pi_v<_Tp> = 0.318309886183790671537767526745028;
  108. template <floating_point _Tp>
  109. inline constexpr _Tp inv_sqrtpi_v<_Tp> = 0.564189583547756286948079451560772;
  110. template <floating_point _Tp>
  111. inline constexpr _Tp ln2_v<_Tp> = 0.693147180559945309417232121458176;
  112. template <floating_point _Tp>
  113. inline constexpr _Tp ln10_v<_Tp> = 2.302585092994045684017991454684364;
  114. template <floating_point _Tp>
  115. inline constexpr _Tp sqrt2_v<_Tp> = 1.414213562373095048801688724209698;
  116. template <floating_point _Tp>
  117. inline constexpr _Tp sqrt3_v<_Tp> = 1.732050807568877293527446341505872;
  118. template <floating_point _Tp>
  119. inline constexpr _Tp inv_sqrt3_v<_Tp> = 0.577350269189625764509148780501957;
  120. template <floating_point _Tp>
  121. inline constexpr _Tp egamma_v<_Tp> = 0.577215664901532860606512090082402;
  122. template <floating_point _Tp>
  123. inline constexpr _Tp phi_v<_Tp> = 1.618033988749894848204586834365638;
  124. inline constexpr double e = e_v<double>;
  125. inline constexpr double log2e = log2e_v<double>;
  126. inline constexpr double log10e = log10e_v<double>;
  127. inline constexpr double pi = pi_v<double>;
  128. inline constexpr double inv_pi = inv_pi_v<double>;
  129. inline constexpr double inv_sqrtpi = inv_sqrtpi_v<double>;
  130. inline constexpr double ln2 = ln2_v<double>;
  131. inline constexpr double ln10 = ln10_v<double>;
  132. inline constexpr double sqrt2 = sqrt2_v<double>;
  133. inline constexpr double sqrt3 = sqrt3_v<double>;
  134. inline constexpr double inv_sqrt3 = inv_sqrt3_v<double>;
  135. inline constexpr double egamma = egamma_v<double>;
  136. inline constexpr double phi = phi_v<double>;
  137. } // namespace numbers
  138. _LIBCPP_END_NAMESPACE_STD
  139. #endif // _LIBCPP_STD_VER >= 20
  140. #if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
  141. # include <concepts>
  142. # include <type_traits>
  143. #endif
  144. #endif // _LIBCPP_NUMBERS