1*5ffd83dbSDimitry Andric// -*- C++ -*- 2*5ffd83dbSDimitry Andric//===---------------------------- numbers ---------------------------------===// 3*5ffd83dbSDimitry Andric// 4*5ffd83dbSDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5*5ffd83dbSDimitry Andric// See https://llvm.org/LICENSE.txt for license information. 6*5ffd83dbSDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7*5ffd83dbSDimitry Andric// 8*5ffd83dbSDimitry Andric//===----------------------------------------------------------------------===// 9*5ffd83dbSDimitry Andric 10*5ffd83dbSDimitry Andric#ifndef _LIBCPP_NUMBERS 11*5ffd83dbSDimitry Andric#define _LIBCPP_NUMBERS 12*5ffd83dbSDimitry Andric 13*5ffd83dbSDimitry Andric/* 14*5ffd83dbSDimitry Andric numbers synopsis 15*5ffd83dbSDimitry Andric 16*5ffd83dbSDimitry Andricnamespace std::numbers { 17*5ffd83dbSDimitry Andric template<class T> inline constexpr T e_v = unspecified; 18*5ffd83dbSDimitry Andric template<class T> inline constexpr T log2e_v = unspecified; 19*5ffd83dbSDimitry Andric template<class T> inline constexpr T log10e_v = unspecified; 20*5ffd83dbSDimitry Andric template<class T> inline constexpr T pi_v = unspecified; 21*5ffd83dbSDimitry Andric template<class T> inline constexpr T inv_pi_v = unspecified; 22*5ffd83dbSDimitry Andric template<class T> inline constexpr T inv_sqrtpi_v = unspecified; 23*5ffd83dbSDimitry Andric template<class T> inline constexpr T ln2_v = unspecified; 24*5ffd83dbSDimitry Andric template<class T> inline constexpr T ln10_v = unspecified; 25*5ffd83dbSDimitry Andric template<class T> inline constexpr T sqrt2_v = unspecified; 26*5ffd83dbSDimitry Andric template<class T> inline constexpr T sqrt3_v = unspecified; 27*5ffd83dbSDimitry Andric template<class T> inline constexpr T inv_sqrt3_v = unspecified; 28*5ffd83dbSDimitry Andric template<class T> inline constexpr T egamma_v = unspecified; 29*5ffd83dbSDimitry Andric template<class T> inline constexpr T phi_v = unspecified; 30*5ffd83dbSDimitry Andric 31*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T e_v<T> = see below; 32*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T log2e_v<T> = see below; 33*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T log10e_v<T> = see below; 34*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T pi_v<T> = see below; 35*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T inv_pi_v<T> = see below; 36*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T inv_sqrtpi_v<T> = see below; 37*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T ln2_v<T> = see below; 38*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T ln10_v<T> = see below; 39*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T sqrt2_v<T> = see below; 40*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T sqrt3_v<T> = see below; 41*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T inv_sqrt3_v<T> = see below; 42*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T egamma_v<T> = see below; 43*5ffd83dbSDimitry Andric template<floating_point T> inline constexpr T phi_v<T> = see below; 44*5ffd83dbSDimitry Andric 45*5ffd83dbSDimitry Andric inline constexpr double e = e_v<double>; 46*5ffd83dbSDimitry Andric inline constexpr double log2e = log2e_v<double>; 47*5ffd83dbSDimitry Andric inline constexpr double log10e = log10e_v<double>; 48*5ffd83dbSDimitry Andric inline constexpr double pi = pi_v<double>; 49*5ffd83dbSDimitry Andric inline constexpr double inv_pi = inv_pi_v<double>; 50*5ffd83dbSDimitry Andric inline constexpr double inv_sqrtpi = inv_sqrtpi_v<double>; 51*5ffd83dbSDimitry Andric inline constexpr double ln2 = ln2_v<double>; 52*5ffd83dbSDimitry Andric inline constexpr double ln10 = ln10_v<double>; 53*5ffd83dbSDimitry Andric inline constexpr double sqrt2 = sqrt2_v<double>; 54*5ffd83dbSDimitry Andric inline constexpr double sqrt3 = sqrt3_v<double>; 55*5ffd83dbSDimitry Andric inline constexpr double inv_sqrt3 = inv_sqrt3_v<double>; 56*5ffd83dbSDimitry Andric inline constexpr double egamma = egamma_v<double>; 57*5ffd83dbSDimitry Andric inline constexpr double phi = phi_v<double>; 58*5ffd83dbSDimitry Andric} 59*5ffd83dbSDimitry Andric*/ 60*5ffd83dbSDimitry Andric 61*5ffd83dbSDimitry Andric#include <__config> 62*5ffd83dbSDimitry Andric 63*5ffd83dbSDimitry Andric#if _LIBCPP_STD_VER > 17 && defined(__cpp_concepts) && __cpp_concepts >= 201811L 64*5ffd83dbSDimitry Andric 65*5ffd83dbSDimitry Andric#include <type_traits> 66*5ffd83dbSDimitry Andric#include <version> 67*5ffd83dbSDimitry Andric 68*5ffd83dbSDimitry Andric#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 69*5ffd83dbSDimitry Andric#pragma GCC system_header 70*5ffd83dbSDimitry Andric#endif 71*5ffd83dbSDimitry Andric 72*5ffd83dbSDimitry Andric_LIBCPP_PUSH_MACROS 73*5ffd83dbSDimitry Andric#include <__undef_macros> 74*5ffd83dbSDimitry Andric 75*5ffd83dbSDimitry Andric_LIBCPP_BEGIN_NAMESPACE_STD 76*5ffd83dbSDimitry Andric 77*5ffd83dbSDimitry Andricnamespace numbers { 78*5ffd83dbSDimitry Andric 79*5ffd83dbSDimitry Andrictemplate <class T> 80*5ffd83dbSDimitry Andricinline constexpr bool __false = false; 81*5ffd83dbSDimitry Andric 82*5ffd83dbSDimitry Andrictemplate <class T> 83*5ffd83dbSDimitry Andricstruct __illformed 84*5ffd83dbSDimitry Andric{ 85*5ffd83dbSDimitry Andric static_assert(__false<T>, "A program that instantiates a primary template of a mathematical constant variable template is ill-formed."); 86*5ffd83dbSDimitry Andric}; 87*5ffd83dbSDimitry Andric 88*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T e_v = __illformed<T>{}; 89*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T log2e_v = __illformed<T>{}; 90*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T log10e_v = __illformed<T>{}; 91*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T pi_v = __illformed<T>{}; 92*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T inv_pi_v = __illformed<T>{}; 93*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T inv_sqrtpi_v = __illformed<T>{}; 94*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T ln2_v = __illformed<T>{}; 95*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T ln10_v = __illformed<T>{}; 96*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T sqrt2_v = __illformed<T>{}; 97*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T sqrt3_v = __illformed<T>{}; 98*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T inv_sqrt3_v = __illformed<T>{}; 99*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T egamma_v = __illformed<T>{}; 100*5ffd83dbSDimitry Andrictemplate <class T> inline constexpr T phi_v = __illformed<T>{}; 101*5ffd83dbSDimitry Andric 102*5ffd83dbSDimitry Andrictemplate <class T> 103*5ffd83dbSDimitry Andricconcept __floating_point = std::is_floating_point_v<T>; 104*5ffd83dbSDimitry Andric 105*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T e_v<T> = 2.718281828459045235360287471352662; 106*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T log2e_v<T> = 1.442695040888963407359924681001892; 107*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T log10e_v<T> = 0.434294481903251827651128918916605; 108*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T pi_v<T> = 3.141592653589793238462643383279502; 109*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T inv_pi_v<T> = 0.318309886183790671537767526745028; 110*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T inv_sqrtpi_v<T> = 0.564189583547756286948079451560772; 111*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T ln2_v<T> = 0.693147180559945309417232121458176; 112*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T ln10_v<T> = 2.302585092994045684017991454684364; 113*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T sqrt2_v<T> = 1.414213562373095048801688724209698; 114*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T sqrt3_v<T> = 1.732050807568877293527446341505872; 115*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T inv_sqrt3_v<T> = 0.577350269189625764509148780501957; 116*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T egamma_v<T> = 0.577215664901532860606512090082402; 117*5ffd83dbSDimitry Andrictemplate <__floating_point T> inline constexpr T phi_v<T> = 1.618033988749894848204586834365638; 118*5ffd83dbSDimitry Andric 119*5ffd83dbSDimitry Andricinline constexpr double e = e_v<double>; 120*5ffd83dbSDimitry Andricinline constexpr double log2e = log2e_v<double>; 121*5ffd83dbSDimitry Andricinline constexpr double log10e = log10e_v<double>; 122*5ffd83dbSDimitry Andricinline constexpr double pi = pi_v<double>; 123*5ffd83dbSDimitry Andricinline constexpr double inv_pi = inv_pi_v<double>; 124*5ffd83dbSDimitry Andricinline constexpr double inv_sqrtpi = inv_sqrtpi_v<double>; 125*5ffd83dbSDimitry Andricinline constexpr double ln2 = ln2_v<double>; 126*5ffd83dbSDimitry Andricinline constexpr double ln10 = ln10_v<double>; 127*5ffd83dbSDimitry Andricinline constexpr double sqrt2 = sqrt2_v<double>; 128*5ffd83dbSDimitry Andricinline constexpr double sqrt3 = sqrt3_v<double>; 129*5ffd83dbSDimitry Andricinline constexpr double inv_sqrt3 = inv_sqrt3_v<double>; 130*5ffd83dbSDimitry Andricinline constexpr double egamma = egamma_v<double>; 131*5ffd83dbSDimitry Andricinline constexpr double phi = phi_v<double>; 132*5ffd83dbSDimitry Andric 133*5ffd83dbSDimitry Andric} // namespace numbers 134*5ffd83dbSDimitry Andric 135*5ffd83dbSDimitry Andric_LIBCPP_END_NAMESPACE_STD 136*5ffd83dbSDimitry Andric 137*5ffd83dbSDimitry Andric_LIBCPP_POP_MACROS 138*5ffd83dbSDimitry Andric 139*5ffd83dbSDimitry Andric#endif //_LIBCPP_STD_VER > 17 && defined(__cpp_concepts) && __cpp_concepts >= 201811L 140*5ffd83dbSDimitry Andric 141*5ffd83dbSDimitry Andric#endif // _LIBCPP_NUMBERS 142