libcxx/include/numbers

   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
  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 #if __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
  62 #  include <__cxx03/numbers>
  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
  76 namespace numbers {
  77
  78 template <class _Tp>
  79 inline constexpr bool __false = false;
  80
  81 template <class _Tp>
  82 struct __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
  88 template <class _Tp>
  89 inline constexpr _Tp e_v = __illformed<_Tp>{};
  90 template <class _Tp>
  91 inline constexpr _Tp log2e_v = __illformed<_Tp>{};
  92 template <class _Tp>
  93 inline constexpr _Tp log10e_v = __illformed<_Tp>{};
  94 template <class _Tp>
  95 inline constexpr _Tp pi_v = __illformed<_Tp>{};
  96 template <class _Tp>
  97 inline constexpr _Tp inv_pi_v = __illformed<_Tp>{};
  98 template <class _Tp>
  99 inline constexpr _Tp inv_sqrtpi_v = __illformed<_Tp>{};
 100 template <class _Tp>
 101 inline constexpr _Tp ln2_v = __illformed<_Tp>{};
 102 template <class _Tp>
 103 inline constexpr _Tp ln10_v = __illformed<_Tp>{};
 104 template <class _Tp>
 105 inline constexpr _Tp sqrt2_v = __illformed<_Tp>{};
 106 template <class _Tp>
 107 inline constexpr _Tp sqrt3_v = __illformed<_Tp>{};
 108 template <class _Tp>
 109 inline constexpr _Tp inv_sqrt3_v = __illformed<_Tp>{};
 110 template <class _Tp>
 111 inline constexpr _Tp egamma_v = __illformed<_Tp>{};
 112 template <class _Tp>
 113 inline constexpr _Tp phi_v = __illformed<_Tp>{};
 114
 115 template <floating_point _Tp>
 116 inline constexpr _Tp e_v<_Tp> = 2.718281828459045235360287471352662;
 117 template <floating_point _Tp>
 118 inline constexpr _Tp log2e_v<_Tp> = 1.442695040888963407359924681001892;
 119 template <floating_point _Tp>
 120 inline constexpr _Tp log10e_v<_Tp> = 0.434294481903251827651128918916605;
 121 template <floating_point _Tp>
 122 inline constexpr _Tp pi_v<_Tp> = 3.141592653589793238462643383279502;
 123 template <floating_point _Tp>
 124 inline constexpr _Tp inv_pi_v<_Tp> = 0.318309886183790671537767526745028;
 125 template <floating_point _Tp>
 126 inline constexpr _Tp inv_sqrtpi_v<_Tp> = 0.564189583547756286948079451560772;
 127 template <floating_point _Tp>
 128 inline constexpr _Tp ln2_v<_Tp> = 0.693147180559945309417232121458176;
 129 template <floating_point _Tp>
 130 inline constexpr _Tp ln10_v<_Tp> = 2.302585092994045684017991454684364;
 131 template <floating_point _Tp>
 132 inline constexpr _Tp sqrt2_v<_Tp> = 1.414213562373095048801688724209698;
 133 template <floating_point _Tp>
 134 inline constexpr _Tp sqrt3_v<_Tp> = 1.732050807568877293527446341505872;
 135 template <floating_point _Tp>
 136 inline constexpr _Tp inv_sqrt3_v<_Tp> = 0.577350269189625764509148780501957;
 137 template <floating_point _Tp>
 138 inline constexpr _Tp egamma_v<_Tp> = 0.577215664901532860606512090082402;
 139 template <floating_point _Tp>
 140 inline constexpr _Tp phi_v<_Tp> = 1.618033988749894848204586834365638;
 141
 142 inline constexpr double e          = e_v<double>;
 143 inline constexpr double log2e      = log2e_v<double>;
 144 inline constexpr double log10e     = log10e_v<double>;
 145 inline constexpr double pi         = pi_v<double>;
 146 inline constexpr double inv_pi     = inv_pi_v<double>;
 147 inline constexpr double inv_sqrtpi = inv_sqrtpi_v<double>;
 148 inline constexpr double ln2        = ln2_v<double>;
 149 inline constexpr double ln10       = ln10_v<double>;
 150 inline constexpr double sqrt2      = sqrt2_v<double>;
 151 inline constexpr double sqrt3      = sqrt3_v<double>;
 152 inline constexpr double inv_sqrt3  = inv_sqrt3_v<double>;
 153 inline constexpr double egamma     = egamma_v<double>;
 154 inline 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