[cmath.syn] - C++17 → C++20

Files changed (1) hide show

tmp/tmpqdf0_ovk/{from.md → to.md} +67 -62

tmp/tmpqdf0_ovk/{from.md → to.md} RENAMED Viewed

@@ -209,11 +209,11 @@ namespace std {
   float fabsf(float x);
   long double fabsl(long double x);
   float hypot(float x, float y);        // see [library.c]
   double hypot(double x, double y);
-  long double hypot(double x, double y);  // see [library.c]
   float hypotf(float x, float y);
   long double hypotl(long double x, long double y);
   // [c.math.hypot3], three-dimensional hypotenuse
   float hypot(float x, float y, float z);
@@ -378,123 +378,128 @@ namespace std {
   double fma(double x, double y, double z);
   long double fma(long double x, long double y, long double z); // see [library.c]
   float fmaf(float x, float y, float z);
   long double fmal(long double x, long double y, long double z);
   // [c.math.fpclass], classification / comparison functions
   int fpclassify(float x);
   int fpclassify(double x);
   int fpclassify(long double x);
- int isfinite(float x);
- int isfinite(double x);
- int isfinite(long double x);
- int isinf(float x);
- int isinf(double x);
- int isinf(long double x);
- int isnan(float x);
- int isnan(double x);
- int isnan(long double x);
- int isnormal(float x);
- int isnormal(double x);
- int isnormal(long double x);
- int signbit(float x);
- int signbit(double x);
- int signbit(long double x);
- int isgreater(float x, float y);
- int isgreater(double x, double y);
- int isgreater(long double x, long double y);
- int isgreaterequal(float x, float y);
- int isgreaterequal(double x, double y);
- int isgreaterequal(long double x, long double y);
- int isless(float x, float y);
- int isless(double x, double y);
- int isless(long double x, long double y);
- int islessequal(float x, float y);
- int islessequal(double x, double y);
- int islessequal(long double x, long double y);
- int islessgreater(float x, float y);
- int islessgreater(double x, double y);
- int islessgreater(long double x, long double y);
- int isunordered(float x, float y);
- int isunordered(double x, double y);
- int isunordered(long double x, long double y);
   // [sf.cmath], mathematical special functions
-  // [sf.cmath.assoc_laguerre], associated Laguerre polynomials
   double       assoc_laguerre(unsigned n, unsigned m, double x);
   float        assoc_laguerref(unsigned n, unsigned m, float x);
   long double  assoc_laguerrel(unsigned n, unsigned m, long double x);
-  // [sf.cmath.assoc_legendre], associated Legendre functions
   double       assoc_legendre(unsigned l, unsigned m, double x);
   float        assoc_legendref(unsigned l, unsigned m, float x);
   long double  assoc_legendrel(unsigned l, unsigned m, long double x);
   // [sf.cmath.beta], beta function
   double       beta(double x, double y);
   float        betaf(float x, float y);
   long double  betal(long double x, long double y);
-  // [sf.cmath.comp_ellint_1], complete elliptic integral of the first kind
   double       comp_ellint_1(double k);
   float        comp_ellint_1f(float k);
   long double  comp_ellint_1l(long double k);
-  // [sf.cmath.comp_ellint_2], complete elliptic integral of the second kind
   double       comp_ellint_2(double k);
   float        comp_ellint_2f(float k);
   long double  comp_ellint_2l(long double k);
-  // [sf.cmath.comp_ellint_3], complete elliptic integral of the third kind
   double       comp_ellint_3(double k, double nu);
   float        comp_ellint_3f(float k, float nu);
   long double  comp_ellint_3l(long double k, long double nu);
-  // [sf.cmath.cyl_bessel_i], regular modified cylindrical Bessel functions
   double       cyl_bessel_i(double nu, double x);
   float        cyl_bessel_if(float nu, float x);
   long double  cyl_bessel_il(long double nu, long double x);
-  // [sf.cmath.cyl_bessel_j], cylindrical Bessel functions of the first kind
   double       cyl_bessel_j(double nu, double x);
   float        cyl_bessel_jf(float nu, float x);
   long double  cyl_bessel_jl(long double nu, long double x);
-  // [sf.cmath.cyl_bessel_k], irregular modified cylindrical Bessel functions
   double       cyl_bessel_k(double nu, double x);
   float        cyl_bessel_kf(float nu, float x);
   long double  cyl_bessel_kl(long double nu, long double x);
-  // [sf.cmath.cyl_neumann], cylindrical Neumann functions;
   // cylindrical Bessel functions of the second kind
   double       cyl_neumann(double nu, double x);
   float        cyl_neumannf(float nu, float x);
   long double  cyl_neumannl(long double nu, long double x);
-  // [sf.cmath.ellint_1], incomplete elliptic integral of the first kind
   double       ellint_1(double k, double phi);
   float        ellint_1f(float k, float phi);
   long double  ellint_1l(long double k, long double phi);
-  // [sf.cmath.ellint_2], incomplete elliptic integral of the second kind
   double       ellint_2(double k, double phi);
   float        ellint_2f(float k, float phi);
   long double  ellint_2l(long double k, long double phi);
-  // [sf.cmath.ellint_3], incomplete elliptic integral of the third kind
   double       ellint_3(double k, double nu, double phi);
   float        ellint_3f(float k, float nu, float phi);
   long double  ellint_3l(long double k, long double nu, long double phi);
   // [sf.cmath.expint], exponential integral
@@ -515,27 +520,27 @@ namespace std {
   // [sf.cmath.legendre], Legendre polynomials
   double       legendre(unsigned l, double x);
   float        legendref(unsigned l, float x);
   long double  legendrel(unsigned l, long double x);
-  // [sf.cmath.riemann_zeta], Riemann zeta function
   double       riemann_zeta(double x);
   float        riemann_zetaf(float x);
   long double  riemann_zetal(long double x);
-  // [sf.cmath.sph_bessel], spherical Bessel functions of the first kind
   double       sph_bessel(unsigned n, double x);
   float        sph_besself(unsigned n, float x);
   long double  sph_bessell(unsigned n, long double x);
-  // [sf.cmath.sph_legendre], spherical associated Legendre functions
   double       sph_legendre(unsigned l, unsigned m, double theta);
   float        sph_legendref(unsigned l, unsigned m, float theta);
   long double  sph_legendrel(unsigned l, unsigned m, long double theta);
-  // [sf.cmath.sph_neumann], spherical Neumann functions;
-  // spherical Bessel functions of the second kind:
   double       sph_neumann(unsigned n, double x);
   float        sph_neumannf(unsigned n, float x);
   long double  sph_neumannl(unsigned n, long double x);
 }
 ```
@@ -544,28 +549,28 @@ The contents and meaning of the header `<cmath>` are the same as the C
 standard library header `<math.h>`, with the addition of a
 three-dimensional hypotenuse function ([[c.math.hypot3]]) and the
 mathematical special functions described in [[sf.cmath]].
 [*Note 1*: Several functions have additional overloads in this
-International Standard, but they have the same behavior as in the C
-standard library ([[library.c]]). — *end note*]
 For each set of overloaded functions within `<cmath>`, with the
 exception of `abs`, there shall be additional overloads sufficient to
 ensure:
-1.  If any argument of arithmetic type corresponding to a `double`
   parameter has type `long double`, then all arguments of arithmetic
- type ([[basic.fundamental]]) corresponding to `double` parameters
-    are effectively cast to `long double`.
-2.  Otherwise, if any argument of arithmetic type corresponding to a
   `double` parameter has type `double` or an integer type, then all
- arguments of arithmetic type corresponding to `double` parameters
-    are effectively cast to `double`.
-3.  Otherwise, all arguments of arithmetic type corresponding to
- `double` parameters have type `float`.
-[*Note 2*: `abs` is exempted from these rules in order to stay
 compatible with C. — *end note*]
 ISO C 7.12

   float fabsf(float x);
   long double fabsl(long double x);
   float hypot(float x, float y);        // see [library.c]
   double hypot(double x, double y);
+  long double hypot(long double x, long double y);  // see [library.c]
   float hypotf(float x, float y);
   long double hypotl(long double x, long double y);
   // [c.math.hypot3], three-dimensional hypotenuse
   float hypot(float x, float y, float z);
   double fma(double x, double y, double z);
   long double fma(long double x, long double y, long double z); // see [library.c]
   float fmaf(float x, float y, float z);
   long double fmal(long double x, long double y, long double z);
+  // [c.math.lerp], linear interpolation
+  constexpr float lerp(float a, float b, float t) noexcept;
+  constexpr double lerp(double a, double b, double t) noexcept;
+  constexpr long double lerp(long double a, long double b, long double t) noexcept;
   // [c.math.fpclass], classification / comparison functions
   int fpclassify(float x);
   int fpclassify(double x);
   int fpclassify(long double x);
+ bool isfinite(float x);
+ bool isfinite(double x);
+ bool isfinite(long double x);
+ bool isinf(float x);
+ bool isinf(double x);
+ bool isinf(long double x);
+ bool isnan(float x);
+ bool isnan(double x);
+ bool isnan(long double x);
+ bool isnormal(float x);
+ bool isnormal(double x);
+ bool isnormal(long double x);
+ bool signbit(float x);
+ bool signbit(double x);
+ bool signbit(long double x);
+ bool isgreater(float x, float y);
+ bool isgreater(double x, double y);
+ bool isgreater(long double x, long double y);
+ bool isgreaterequal(float x, float y);
+ bool isgreaterequal(double x, double y);
+ bool isgreaterequal(long double x, long double y);
+ bool isless(float x, float y);
+ bool isless(double x, double y);
+ bool isless(long double x, long double y);
+ bool islessequal(float x, float y);
+ bool islessequal(double x, double y);
+ bool islessequal(long double x, long double y);
+ bool islessgreater(float x, float y);
+ bool islessgreater(double x, double y);
+ bool islessgreater(long double x, long double y);
+ bool isunordered(float x, float y);
+ bool isunordered(double x, double y);
+ bool isunordered(long double x, long double y);
   // [sf.cmath], mathematical special functions
+  // [sf.cmath.assoc.laguerre], associated Laguerre polynomials
   double       assoc_laguerre(unsigned n, unsigned m, double x);
   float        assoc_laguerref(unsigned n, unsigned m, float x);
   long double  assoc_laguerrel(unsigned n, unsigned m, long double x);
+  // [sf.cmath.assoc.legendre], associated Legendre functions
   double       assoc_legendre(unsigned l, unsigned m, double x);
   float        assoc_legendref(unsigned l, unsigned m, float x);
   long double  assoc_legendrel(unsigned l, unsigned m, long double x);
   // [sf.cmath.beta], beta function
   double       beta(double x, double y);
   float        betaf(float x, float y);
   long double  betal(long double x, long double y);
+  // [sf.cmath.comp.ellint.1], complete elliptic integral of the first kind
   double       comp_ellint_1(double k);
   float        comp_ellint_1f(float k);
   long double  comp_ellint_1l(long double k);
+  // [sf.cmath.comp.ellint.2], complete elliptic integral of the second kind
   double       comp_ellint_2(double k);
   float        comp_ellint_2f(float k);
   long double  comp_ellint_2l(long double k);
+  // [sf.cmath.comp.ellint.3], complete elliptic integral of the third kind
   double       comp_ellint_3(double k, double nu);
   float        comp_ellint_3f(float k, float nu);
   long double  comp_ellint_3l(long double k, long double nu);
+  // [sf.cmath.cyl.bessel.i], regular modified cylindrical Bessel functions
   double       cyl_bessel_i(double nu, double x);
   float        cyl_bessel_if(float nu, float x);
   long double  cyl_bessel_il(long double nu, long double x);
+  // [sf.cmath.cyl.bessel.j], cylindrical Bessel functions of the first kind
   double       cyl_bessel_j(double nu, double x);
   float        cyl_bessel_jf(float nu, float x);
   long double  cyl_bessel_jl(long double nu, long double x);
+  // [sf.cmath.cyl.bessel.k], irregular modified cylindrical Bessel functions
   double       cyl_bessel_k(double nu, double x);
   float        cyl_bessel_kf(float nu, float x);
   long double  cyl_bessel_kl(long double nu, long double x);
+  // [sf.cmath.cyl.neumann], cylindrical Neumann functions;
   // cylindrical Bessel functions of the second kind
   double       cyl_neumann(double nu, double x);
   float        cyl_neumannf(float nu, float x);
   long double  cyl_neumannl(long double nu, long double x);
+  // [sf.cmath.ellint.1], incomplete elliptic integral of the first kind
   double       ellint_1(double k, double phi);
   float        ellint_1f(float k, float phi);
   long double  ellint_1l(long double k, long double phi);
+  // [sf.cmath.ellint.2], incomplete elliptic integral of the second kind
   double       ellint_2(double k, double phi);
   float        ellint_2f(float k, float phi);
   long double  ellint_2l(long double k, long double phi);
+  // [sf.cmath.ellint.3], incomplete elliptic integral of the third kind
   double       ellint_3(double k, double nu, double phi);
   float        ellint_3f(float k, float nu, float phi);
   long double  ellint_3l(long double k, long double nu, long double phi);
   // [sf.cmath.expint], exponential integral
   // [sf.cmath.legendre], Legendre polynomials
   double       legendre(unsigned l, double x);
   float        legendref(unsigned l, float x);
   long double  legendrel(unsigned l, long double x);
+  // [sf.cmath.riemann.zeta], Riemann zeta function
   double       riemann_zeta(double x);
   float        riemann_zetaf(float x);
   long double  riemann_zetal(long double x);
+  // [sf.cmath.sph.bessel], spherical Bessel functions of the first kind
   double       sph_bessel(unsigned n, double x);
   float        sph_besself(unsigned n, float x);
   long double  sph_bessell(unsigned n, long double x);
+  // [sf.cmath.sph.legendre], spherical associated Legendre functions
   double       sph_legendre(unsigned l, unsigned m, double theta);
   float        sph_legendref(unsigned l, unsigned m, float theta);
   long double  sph_legendrel(unsigned l, unsigned m, long double theta);
+  // [sf.cmath.sph.neumann], spherical Neumann functions;
+  // spherical Bessel functions of the second kind
   double       sph_neumann(unsigned n, double x);
   float        sph_neumannf(unsigned n, float x);
   long double  sph_neumannl(unsigned n, long double x);
 }
 ```
 standard library header `<math.h>`, with the addition of a
 three-dimensional hypotenuse function ([[c.math.hypot3]]) and the
 mathematical special functions described in [[sf.cmath]].
 [*Note 1*: Several functions have additional overloads in this
+document, but they have the same behavior as in the C standard library
+[[library.c]]. — *end note*]
 For each set of overloaded functions within `<cmath>`, with the
 exception of `abs`, there shall be additional overloads sufficient to
 ensure:
+- If any argument of arithmetic type corresponding to a `double`
   parameter has type `long double`, then all arguments of arithmetic
+ type [[basic.fundamental]] corresponding to `double` parameters are
+ effectively cast to `long double`.
+- Otherwise, if any argument of arithmetic type corresponding to a
   `double` parameter has type `double` or an integer type, then all
+ arguments of arithmetic type corresponding to `double` parameters are
+ effectively cast to `double`.
+- \[*Note 2*: Otherwise, all arguments of arithmetic type corresponding
+  to `double` parameters have type `float`. — *end note*]
+[*Note 3*: `abs` is exempted from these rules in order to stay
 compatible with C. — *end note*]
 ISO C 7.12

Diff to HTML by rtfpessoa