aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/libs/cxxsupp/libcxx/include/numbers
blob: dffb81062da3b36744b44dcdd9f7d93db053d33c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
// -*- C++ -*-
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#ifndef _LIBCPP_NUMBERS
#define _LIBCPP_NUMBERS

/*
    numbers synopsis

namespace std::numbers {
  template<class T> inline constexpr T e_v          = unspecified;
  template<class T> inline constexpr T log2e_v      = unspecified;
  template<class T> inline constexpr T log10e_v     = unspecified;
  template<class T> inline constexpr T pi_v         = unspecified;
  template<class T> inline constexpr T inv_pi_v     = unspecified;
  template<class T> inline constexpr T inv_sqrtpi_v = unspecified;
  template<class T> inline constexpr T ln2_v        = unspecified;
  template<class T> inline constexpr T ln10_v       = unspecified;
  template<class T> inline constexpr T sqrt2_v      = unspecified;
  template<class T> inline constexpr T sqrt3_v      = unspecified;
  template<class T> inline constexpr T inv_sqrt3_v  = unspecified;
  template<class T> inline constexpr T egamma_v     = unspecified;
  template<class T> inline constexpr T phi_v        = unspecified;

  template<floating_point T> inline constexpr T e_v<T>          = see below;
  template<floating_point T> inline constexpr T log2e_v<T>      = see below;
  template<floating_point T> inline constexpr T log10e_v<T>     = see below;
  template<floating_point T> inline constexpr T pi_v<T>         = see below;
  template<floating_point T> inline constexpr T inv_pi_v<T>     = see below;
  template<floating_point T> inline constexpr T inv_sqrtpi_v<T> = see below;
  template<floating_point T> inline constexpr T ln2_v<T>        = see below;
  template<floating_point T> inline constexpr T ln10_v<T>       = see below;
  template<floating_point T> inline constexpr T sqrt2_v<T>      = see below;
  template<floating_point T> inline constexpr T sqrt3_v<T>      = see below;
  template<floating_point T> inline constexpr T inv_sqrt3_v<T>  = see below;
  template<floating_point T> inline constexpr T egamma_v<T>     = see below;
  template<floating_point T> inline constexpr T phi_v<T>        = see below;

  inline constexpr double e          = e_v<double>;
  inline constexpr double log2e      = log2e_v<double>;
  inline constexpr double log10e     = log10e_v<double>;
  inline constexpr double pi         = pi_v<double>;
  inline constexpr double inv_pi     = inv_pi_v<double>;
  inline constexpr double inv_sqrtpi = inv_sqrtpi_v<double>;
  inline constexpr double ln2        = ln2_v<double>;
  inline constexpr double ln10       = ln10_v<double>;
  inline constexpr double sqrt2      = sqrt2_v<double>;
  inline constexpr double sqrt3      = sqrt3_v<double>;
  inline constexpr double inv_sqrt3  = inv_sqrt3_v<double>;
  inline constexpr double egamma     = egamma_v<double>;
  inline constexpr double phi        = phi_v<double>;
}
*/

#include <__config>
#include <concepts>
#include <type_traits>
#include <version>

#if _LIBCPP_STD_VER > 17 && !defined(_LIBCPP_HAS_NO_CONCEPTS)

#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
#pragma GCC system_header
#endif

_LIBCPP_BEGIN_NAMESPACE_STD

namespace numbers {

template <class T>
inline constexpr bool __false = false;

template <class T>
struct __illformed
{
  static_assert(__false<T>, "A program that instantiates a primary template of a mathematical constant variable template is ill-formed.");
};

template <class T> inline constexpr T e_v =          __illformed<T>{};
template <class T> inline constexpr T log2e_v =      __illformed<T>{};
template <class T> inline constexpr T log10e_v =     __illformed<T>{};
template <class T> inline constexpr T pi_v =         __illformed<T>{};
template <class T> inline constexpr T inv_pi_v =     __illformed<T>{};
template <class T> inline constexpr T inv_sqrtpi_v = __illformed<T>{};
template <class T> inline constexpr T ln2_v =        __illformed<T>{};
template <class T> inline constexpr T ln10_v =       __illformed<T>{};
template <class T> inline constexpr T sqrt2_v =      __illformed<T>{};
template <class T> inline constexpr T sqrt3_v =      __illformed<T>{};
template <class T> inline constexpr T inv_sqrt3_v =  __illformed<T>{};
template <class T> inline constexpr T egamma_v =     __illformed<T>{};
template <class T> inline constexpr T phi_v =        __illformed<T>{};

template <floating_point T> inline constexpr T e_v<T>          = 2.718281828459045235360287471352662L;
template <floating_point T> inline constexpr T log2e_v<T>      = 1.442695040888963407359924681001892L;
template <floating_point T> inline constexpr T log10e_v<T>     = 0.434294481903251827651128918916605L;
template <floating_point T> inline constexpr T pi_v<T>         = 3.141592653589793238462643383279502L;
template <floating_point T> inline constexpr T inv_pi_v<T>     = 0.318309886183790671537767526745028L;
template <floating_point T> inline constexpr T inv_sqrtpi_v<T> = 0.564189583547756286948079451560772L;
template <floating_point T> inline constexpr T ln2_v<T>        = 0.693147180559945309417232121458176L;
template <floating_point T> inline constexpr T ln10_v<T>       = 2.302585092994045684017991454684364L;
template <floating_point T> inline constexpr T sqrt2_v<T>      = 1.414213562373095048801688724209698L;
template <floating_point T> inline constexpr T sqrt3_v<T>      = 1.732050807568877293527446341505872L;
template <floating_point T> inline constexpr T inv_sqrt3_v<T>  = 0.577350269189625764509148780501957L;
template <floating_point T> inline constexpr T egamma_v<T>     = 0.577215664901532860606512090082402L;
template <floating_point T> inline constexpr T phi_v<T>        = 1.618033988749894848204586834365638L;

inline constexpr double e          = e_v<double>;
inline constexpr double log2e      = log2e_v<double>;
inline constexpr double log10e     = log10e_v<double>;
inline constexpr double pi         = pi_v<double>;
inline constexpr double inv_pi     = inv_pi_v<double>;
inline constexpr double inv_sqrtpi = inv_sqrtpi_v<double>;
inline constexpr double ln2        = ln2_v<double>;
inline constexpr double ln10       = ln10_v<double>;
inline constexpr double sqrt2      = sqrt2_v<double>;
inline constexpr double sqrt3      = sqrt3_v<double>;
inline constexpr double inv_sqrt3  = inv_sqrt3_v<double>;
inline constexpr double egamma     = egamma_v<double>;
inline constexpr double phi        = phi_v<double>;

} // namespace numbers

_LIBCPP_END_NAMESPACE_STD

#endif //_LIBCPP_STD_VER > 17 && !defined(_LIBCPP_HAS_NO_CONCEPTS)

#endif // _LIBCPP_NUMBERS