Home | History | Annotate | Line # | Download | only in include
      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