master
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
10#ifndef _LIBCPP_NUMBERS
11#define _LIBCPP_NUMBERS
12
13/*
14 numbers synopsis
15
16namespace 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#if __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
62# include <__cxx03/__config>
63#else
64# include <__concepts/arithmetic.h>
65# include <__config>
66# include <version>
67
68# if _LIBCPP_STD_VER >= 20
69
70# if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
71# pragma GCC system_header
72# endif
73
74_LIBCPP_BEGIN_NAMESPACE_STD
75
76namespace numbers {
77
78template <class _Tp>
79inline constexpr bool __false = false;
80
81template <class _Tp>
82struct __illformed {
83 static_assert(
84 __false<_Tp>,
85 "A program that instantiates a primary template of a mathematical constant variable template is ill-formed.");
86};
87
88template <class _Tp>
89inline constexpr _Tp e_v = __illformed<_Tp>{};
90template <class _Tp>
91inline constexpr _Tp log2e_v = __illformed<_Tp>{};
92template <class _Tp>
93inline constexpr _Tp log10e_v = __illformed<_Tp>{};
94template <class _Tp>
95inline constexpr _Tp pi_v = __illformed<_Tp>{};
96template <class _Tp>
97inline constexpr _Tp inv_pi_v = __illformed<_Tp>{};
98template <class _Tp>
99inline constexpr _Tp inv_sqrtpi_v = __illformed<_Tp>{};
100template <class _Tp>
101inline constexpr _Tp ln2_v = __illformed<_Tp>{};
102template <class _Tp>
103inline constexpr _Tp ln10_v = __illformed<_Tp>{};
104template <class _Tp>
105inline constexpr _Tp sqrt2_v = __illformed<_Tp>{};
106template <class _Tp>
107inline constexpr _Tp sqrt3_v = __illformed<_Tp>{};
108template <class _Tp>
109inline constexpr _Tp inv_sqrt3_v = __illformed<_Tp>{};
110template <class _Tp>
111inline constexpr _Tp egamma_v = __illformed<_Tp>{};
112template <class _Tp>
113inline constexpr _Tp phi_v = __illformed<_Tp>{};
114
115template <floating_point _Tp>
116inline constexpr _Tp e_v<_Tp> = 2.718281828459045235360287471352662;
117template <floating_point _Tp>
118inline constexpr _Tp log2e_v<_Tp> = 1.442695040888963407359924681001892;
119template <floating_point _Tp>
120inline constexpr _Tp log10e_v<_Tp> = 0.434294481903251827651128918916605;
121template <floating_point _Tp>
122inline constexpr _Tp pi_v<_Tp> = 3.141592653589793238462643383279502;
123template <floating_point _Tp>
124inline constexpr _Tp inv_pi_v<_Tp> = 0.318309886183790671537767526745028;
125template <floating_point _Tp>
126inline constexpr _Tp inv_sqrtpi_v<_Tp> = 0.564189583547756286948079451560772;
127template <floating_point _Tp>
128inline constexpr _Tp ln2_v<_Tp> = 0.693147180559945309417232121458176;
129template <floating_point _Tp>
130inline constexpr _Tp ln10_v<_Tp> = 2.302585092994045684017991454684364;
131template <floating_point _Tp>
132inline constexpr _Tp sqrt2_v<_Tp> = 1.414213562373095048801688724209698;
133template <floating_point _Tp>
134inline constexpr _Tp sqrt3_v<_Tp> = 1.732050807568877293527446341505872;
135template <floating_point _Tp>
136inline constexpr _Tp inv_sqrt3_v<_Tp> = 0.577350269189625764509148780501957;
137template <floating_point _Tp>
138inline constexpr _Tp egamma_v<_Tp> = 0.577215664901532860606512090082402;
139template <floating_point _Tp>
140inline constexpr _Tp phi_v<_Tp> = 1.618033988749894848204586834365638;
141
142inline constexpr double e = e_v<double>;
143inline constexpr double log2e = log2e_v<double>;
144inline constexpr double log10e = log10e_v<double>;
145inline constexpr double pi = pi_v<double>;
146inline constexpr double inv_pi = inv_pi_v<double>;
147inline constexpr double inv_sqrtpi = inv_sqrtpi_v<double>;
148inline constexpr double ln2 = ln2_v<double>;
149inline constexpr double ln10 = ln10_v<double>;
150inline constexpr double sqrt2 = sqrt2_v<double>;
151inline constexpr double sqrt3 = sqrt3_v<double>;
152inline constexpr double inv_sqrt3 = inv_sqrt3_v<double>;
153inline constexpr double egamma = egamma_v<double>;
154inline constexpr double phi = phi_v<double>;
155
156} // namespace numbers
157
158_LIBCPP_END_NAMESPACE_STD
159
160# endif // _LIBCPP_STD_VER >= 20
161
162# if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
163# include <concepts>
164# include <cstddef>
165# include <type_traits>
166# endif
167#endif // __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
168
169#endif // _LIBCPP_NUMBERS