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