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
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#include <__config>
62
63#if _LIBCPP_STD_VER > 17 && defined(__cpp_concepts) && __cpp_concepts >= 201811L
64
65#include <type_traits>
66#include <version>
67
68#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
69#pragma GCC system_header
70#endif
71
72_LIBCPP_PUSH_MACROS
73#include <__undef_macros>
74
75_LIBCPP_BEGIN_NAMESPACE_STD
76
77namespace numbers {
78
79template <class T>
80inline constexpr bool __false = false;
81
82template <class T>
83struct __illformed
84{
85  static_assert(__false<T>, "A program that instantiates a primary template of a mathematical constant variable template is ill-formed.");
86};
87
88template <class T> inline constexpr T e_v =          __illformed<T>{};
89template <class T> inline constexpr T log2e_v =      __illformed<T>{};
90template <class T> inline constexpr T log10e_v =     __illformed<T>{};
91template <class T> inline constexpr T pi_v =         __illformed<T>{};
92template <class T> inline constexpr T inv_pi_v =     __illformed<T>{};
93template <class T> inline constexpr T inv_sqrtpi_v = __illformed<T>{};
94template <class T> inline constexpr T ln2_v =        __illformed<T>{};
95template <class T> inline constexpr T ln10_v =       __illformed<T>{};
96template <class T> inline constexpr T sqrt2_v =      __illformed<T>{};
97template <class T> inline constexpr T sqrt3_v =      __illformed<T>{};
98template <class T> inline constexpr T inv_sqrt3_v =  __illformed<T>{};
99template <class T> inline constexpr T egamma_v =     __illformed<T>{};
100template <class T> inline constexpr T phi_v =        __illformed<T>{};
101
102template <class T>
103concept __floating_point = is_floating_point_v<T>;
104
105template <__floating_point T> inline constexpr T e_v<T>          = 2.718281828459045235360287471352662;
106template <__floating_point T> inline constexpr T log2e_v<T>      = 1.442695040888963407359924681001892;
107template <__floating_point T> inline constexpr T log10e_v<T>     = 0.434294481903251827651128918916605;
108template <__floating_point T> inline constexpr T pi_v<T>         = 3.141592653589793238462643383279502;
109template <__floating_point T> inline constexpr T inv_pi_v<T>     = 0.318309886183790671537767526745028;
110template <__floating_point T> inline constexpr T inv_sqrtpi_v<T> = 0.564189583547756286948079451560772;
111template <__floating_point T> inline constexpr T ln2_v<T>        = 0.693147180559945309417232121458176;
112template <__floating_point T> inline constexpr T ln10_v<T>       = 2.302585092994045684017991454684364;
113template <__floating_point T> inline constexpr T sqrt2_v<T>      = 1.414213562373095048801688724209698;
114template <__floating_point T> inline constexpr T sqrt3_v<T>      = 1.732050807568877293527446341505872;
115template <__floating_point T> inline constexpr T inv_sqrt3_v<T>  = 0.577350269189625764509148780501957;
116template <__floating_point T> inline constexpr T egamma_v<T>     = 0.577215664901532860606512090082402;
117template <__floating_point T> inline constexpr T phi_v<T>        = 1.618033988749894848204586834365638;
118
119inline constexpr double e          = e_v<double>;
120inline constexpr double log2e      = log2e_v<double>;
121inline constexpr double log10e     = log10e_v<double>;
122inline constexpr double pi         = pi_v<double>;
123inline constexpr double inv_pi     = inv_pi_v<double>;
124inline constexpr double inv_sqrtpi = inv_sqrtpi_v<double>;
125inline constexpr double ln2        = ln2_v<double>;
126inline constexpr double ln10       = ln10_v<double>;
127inline constexpr double sqrt2      = sqrt2_v<double>;
128inline constexpr double sqrt3      = sqrt3_v<double>;
129inline constexpr double inv_sqrt3  = inv_sqrt3_v<double>;
130inline constexpr double egamma     = egamma_v<double>;
131inline constexpr double phi        = phi_v<double>;
132
133} // namespace numbers
134
135_LIBCPP_END_NAMESPACE_STD
136
137_LIBCPP_POP_MACROS
138
139#endif //_LIBCPP_STD_VER > 17 && defined(__cpp_concepts) && __cpp_concepts >= 201811L
140
141#endif // _LIBCPP_NUMBERS
142