Mercurial > projects > ldc
view tango/tango/math/Math.d @ 228:52d1e9d27dc6 trunk
[svn r244] added another asm test.
author | lindquist |
---|---|
date | Sat, 07 Jun 2008 19:20:15 +0200 |
parents | a64becf2a702 |
children |
line wrap: on
line source
/** * Elementary Mathematical Functions * * Copyright: Portions Copyright (C) 2001-2005 Digital Mars. * License: BSD style: $(LICENSE), Digital Mars. * Authors: Walter Bright, Don Clugston, Sean Kelly */ /* Portions of this code were taken from Phobos std.math, which has the following * copyright notice: * * Author: * Walter Bright * Copyright: * Copyright (c) 2001-2005 by Digital Mars, * All Rights Reserved, * www.digitalmars.com * License: * This software is provided 'as-is', without any express or implied * warranty. In no event will the authors be held liable for any damages * arising from the use of this software. * * Permission is granted to anyone to use this software for any purpose, * including commercial applications, and to alter it and redistribute it * freely, subject to the following restrictions: * * <ul> * <li> The origin of this software must not be misrepresented; you must not * claim that you wrote the original software. If you use this software * in a product, an acknowledgment in the product documentation would be * appreciated but is not required. * </li> * <li> Altered source versions must be plainly marked as such, and must not * be misrepresented as being the original software. * </li> * <li> This notice may not be removed or altered from any source * distribution. * </li> * </ul> */ /** * Macros: * NAN = $(RED NAN) * TEXTNAN = $(RED NAN:$1 ) * SUP = <span style="vertical-align:super;font-size:smaller">$0</span> * GAMMA = Γ * INTEGRAL = ∫ * INTEGRATE = $(BIG ∫<sub>$(SMALL $1)</sub><sup>$2</sup>) * POWER = $1<sup>$2</sup> * BIGSUM = $(BIG Σ <sup>$2</sup><sub>$(SMALL $1)</sub>) * CHOOSE = $(BIG () <sup>$(SMALL $1)</sup><sub>$(SMALL $2)</sub> $(BIG )) * TABLE_SV = <table border=1 cellpadding=4 cellspacing=0> * <caption>Special Values</caption> * $0</table> * SVH = $(TR $(TH $1) $(TH $2)) * SV = $(TR $(TD $1) $(TD $2)) * TABLE_DOMRG = <table border=1 cellpadding=4 cellspacing=0>$0</table> * DOMAIN = $(TR $(TD Domain) $(TD $0)) * RANGE = $(TR $(TD Range) $(TD $0)) */ module tango.math.Math; static import tango.stdc.math; private import tango.math.IEEE; version(DigitalMars) { version(D_InlineAsm_X86) { version = DigitalMars_D_InlineAsm_X86; } } /* * Constants */ const real E = 2.7182818284590452354L; /** e */ const real LOG2T = 0x1.a934f0979a3715fcp+1; /** log<sub>2</sub>10 */ // 3.32193 fldl2t const real LOG2E = 0x1.71547652b82fe178p+0; /** log<sub>2</sub>e */ // 1.4427 fldl2e const real LOG2 = 0x1.34413509f79fef32p-2; /** log<sub>10</sub>2 */ // 0.30103 fldlg2 const real LOG10E = 0.43429448190325182765L; /** log<sub>10</sub>e */ const real LN2 = 0x1.62e42fefa39ef358p-1; /** ln 2 */ // 0.693147 fldln2 const real LN10 = 2.30258509299404568402L; /** ln 10 */ const real PI = 0x1.921fb54442d1846ap+1; /** π */ // 3.14159 fldpi const real PI_2 = 1.57079632679489661923L; /** π / 2 */ const real PI_4 = 0.78539816339744830962L; /** π / 4 */ const real M_1_PI = 0.31830988618379067154L; /** 1 / π */ const real M_2_PI = 0.63661977236758134308L; /** 2 / π */ const real M_2_SQRTPI = 1.12837916709551257390L; /** 2 / √π */ const real SQRT2 = 1.41421356237309504880L; /** √2 */ const real SQRT1_2 = 0.70710678118654752440L; /** √½ */ //const real SQRTPI = 1.77245385090551602729816748334114518279754945612238L; /** √π */ //const real SQRT2PI = 2.50662827463100050242E0L; /** √(2 π) */ const real MAXLOG = 0x1.62e42fefa39ef358p+13; /** log(real.max) */ const real MINLOG = -0x1.6436716d5406e6d8p+13; /** log(real.min*real.epsilon) */ const real EULERGAMMA = 0.57721_56649_01532_86060_65120_90082_40243_10421_59335_93992; /** Euler-Mascheroni constant 0.57721566.. */ /* * Primitives */ /** * Calculates the absolute value * * For complex numbers, abs(z) = sqrt( $(POWER z.re, 2) + $(POWER z.im, 2) ) * = hypot(z.re, z.im). */ real abs(real x) { return tango.math.IEEE.fabs(x); } /** ditto */ long abs(long x) { return x>=0 ? x : -x; } /** ditto */ int abs(int x) { return x>=0 ? x : -x; } /** ditto */ real abs(creal z) { return hypot(z.re, z.im); } /** ditto */ real abs(ireal y) { return tango.math.IEEE.fabs(y.im); } debug(UnitTest) { unittest { assert(isIdentical(0.0L,abs(-0.0L))); assert(isNaN(abs(real.nan))); assert(abs(-real.infinity) == real.infinity); assert(abs(-3.2Li) == 3.2L); assert(abs(71.6Li) == 71.6L); assert(abs(-56) == 56); assert(abs(2321312L) == 2321312L); assert(abs(-1.0L+1.0Li) == sqrt(2.0L)); } } /** * Complex conjugate * * conj(x + iy) = x - iy * * Note that z * conj(z) = $(POWER z.re, 2) + $(POWER z.im, 2) * is always a real number */ creal conj(creal z) { return z.re - z.im*1i; } /** ditto */ ireal conj(ireal y) { return -y; } debug(UnitTest) { unittest { assert(conj(7 + 3i) == 7-3i); ireal z = -3.2Li; assert(conj(z) == -z); } } private { // Return the type which would be returned by a max or min operation template minmaxtype(T...){ static if(T.length == 1) alias typeof(T[0]) minmaxtype; else static if(T.length > 2) alias minmaxtype!(minmaxtype!(T[0..2]), T[2..$]) minmaxtype; else alias typeof (T[1] > T[0] ? T[1] : T[0]) minmaxtype; } } /** Return the minimum of the supplied arguments. * * Note: If the arguments are floating-point numbers, and at least one is a NaN, * the result is undefined. */ minmaxtype!(T) min(T...)(T arg){ static if(arg.length == 1) return arg[0]; else static if(arg.length == 2) return arg[1] < arg[0] ? arg[1] : arg[0]; static if(arg.length > 2) return min(arg[1] < arg[0] ? arg[1] : arg[0], arg[2..$]); } /** Return the maximum of the supplied arguments. * * Note: If the arguments are floating-point numbers, and at least one is a NaN, * the result is undefined. */ minmaxtype!(T) max(T...)(T arg){ static if(arg.length == 1) return arg[0]; else static if(arg.length == 2) return arg[1] > arg[0] ? arg[1] : arg[0]; static if(arg.length > 2) return max(arg[1] > arg[0] ? arg[1] : arg[0], arg[2..$]); } debug(UnitTest) { unittest { assert(max('e', 'f')=='f'); assert(min(3.5, 3.8)==3.5); // check implicit conversion to integer. assert(min(3.5, 18)==3.5); } } /** Returns the minimum number of x and y, favouring numbers over NaNs. * * If both x and y are numbers, the minimum is returned. * If both parameters are NaN, either will be returned. * If one parameter is a NaN and the other is a number, the number is * returned (this behaviour is mandated by IEEE 754R, and is useful * for determining the range of a function). */ real minNum(real x, real y) { if (x<=y || isNaN(y)) return x; else return y; } /** Returns the maximum number of x and y, favouring numbers over NaNs. * * If both x and y are numbers, the maximum is returned. * If both parameters are NaN, either will be returned. * If one parameter is a NaN and the other is a number, the number is * returned (this behaviour is mandated by IEEE 754R, and is useful * for determining the range of a function). */ real maxNum(real x, real y) { if (x>=y || isNaN(y)) return x; else return y; } /** Returns the minimum of x and y, favouring NaNs over numbers * * If both x and y are numbers, the minimum is returned. * If both parameters are NaN, either will be returned. * If one parameter is a NaN and the other is a number, the NaN is returned. */ real minNaN(real x, real y) { return (x<=y || isNaN(x))? x : y; } /** Returns the maximum of x and y, favouring NaNs over numbers * * If both x and y are numbers, the maximum is returned. * If both parameters are NaN, either will be returned. * If one parameter is a NaN and the other is a number, the NaN is returned. */ real maxNaN(real x, real y) { return (x>=y || isNaN(x))? x : y; } debug(UnitTest) { unittest { assert(maxNum(NaN(0xABC), 56.1L)== 56.1L); assert(isIdentical(maxNaN(NaN(1389), 56.1L), NaN(1389))); assert(maxNum(28.0, NaN(0xABC))== 28.0); assert(minNum(1e12, NaN(0xABC))== 1e12); assert(isIdentical(minNaN(1e12, NaN(23454)), NaN(23454))); assert(isIdentical(minNum(NaN(489), NaN(23)), NaN(489))); } } /* * Trig Functions */ /** * Returns cosine of x. x is in radians. * * $(TABLE_SV * $(TR $(TH x) $(TH cos(x)) $(TH invalid?) ) * $(TR $(TD $(NAN)) $(TD $(NAN)) $(TD yes) ) * $(TR $(TD ±∞) $(TD $(NAN)) $(TD yes) ) * ) * Bugs: * Results are undefined if |x| >= $(POWER 2,64). */ real cos(real x) /* intrinsic */ { version(D_InlineAsm_X86) { asm { fld x; fcos; } } else { return tango.stdc.math.cosl(x); } } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(cos(NaN(314)), NaN(314))); } } /** * Returns sine of x. x is in radians. * * $(TABLE_SV * <tr> <th> x <th> sin(x) <th>invalid? * <tr> <td> $(NAN) <td> $(NAN) <td> yes * <tr> <td> ±0.0 <td> ±0.0 <td> no * <tr> <td> ±∞ <td> $(NAN) <td> yes * ) * Bugs: * Results are undefined if |x| >= $(POWER 2,64). */ real sin(real x) /* intrinsic */ { version(D_InlineAsm_X86) { asm { fld x; fsin; } } else { return tango.stdc.math.sinl(x); } } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(sin(NaN(314)), NaN(314))); } } version (GNU) { extern (C) real tanl(real); } /** * Returns tangent of x. x is in radians. * * $(TABLE_SV * <tr> <th> x <th> tan(x) <th> invalid? * <tr> <td> $(NAN) <td> $(NAN) <td> yes * <tr> <td> ±0.0 <td> ±0.0 <td> no * <tr> <td> ±∞ <td> $(NAN) <td> yes * ) */ real tan(real x) { version (GNU) { return tanl(x); } else version (LLVMDC) { return tango.stdc.math.tanl(x); } else { asm { fld x[EBP] ; // load theta fxam ; // test for oddball values fstsw AX ; sahf ; jc trigerr ; // x is NAN, infinity, or empty // 387's can handle denormals SC18: fptan ; fstp ST(0) ; // dump X, which is always 1 fstsw AX ; sahf ; jnp Lret ; // C2 = 1 (x is out of range) // Do argument reduction to bring x into range fldpi ; fxch ; SC17: fprem1 ; fstsw AX ; sahf ; jp SC17 ; fstp ST(1) ; // remove pi from stack jmp SC18 ; trigerr: jnp Lret ; // if x is NaN, return x. fstp ST(0) ; // dump x, which will be infinity } return NaN(TANGO_NAN.TAN_DOMAIN); Lret: ; } } debug(UnitTest) { unittest { // Returns true if equal to precision, false if not // (Used only in unit test for tan()) bool mfeq(real x, real y, real precision) { if (x == y) return true; if (isNaN(x) || isNaN(y)) return false; return fabs(x - y) <= precision; } static real vals[][2] = // angle,tan [ [ 0, 0], [ .5, .5463024898], [ 1, 1.557407725], [ 1.5, 14.10141995], [ 2, -2.185039863], [ 2.5,-.7470222972], [ 3, -.1425465431], [ 3.5, .3745856402], [ 4, 1.157821282], [ 4.5, 4.637332055], [ 5, -3.380515006], [ 5.5,-.9955840522], [ 6, -.2910061914], [ 6.5, .2202772003], [ 10, .6483608275], // special angles [ PI_4, 1], //[ PI_2, real.infinity], [ 3*PI_4, -1], [ PI, 0], [ 5*PI_4, 1], //[ 3*PI_2, -real.infinity], [ 7*PI_4, -1], [ 2*PI, 0], // overflow [ real.infinity, real.nan], [ real.nan, real.nan], ]; int i; for (i = 0; i < vals.length; i++) { real x = vals[i][0]; real r = vals[i][1]; real t = tan(x); //printf("tan(%Lg) = %Lg, should be %Lg\n", x, t, r); if (isNaN(r)) assert(isNaN(t)); else assert(mfeq(r, t, .0000001)); x = -x; r = -r; t = tan(x); //printf("tan(%Lg) = %Lg, should be %Lg\n", x, t, r); if (isNaN(r)) assert(isNaN(t)); else assert(mfeq(r, t, .0000001)); } assert(isIdentical(tan(NaN(735)), NaN(735))); assert(isNaN(tan(real.infinity))); } } /***************************************** * Sine, cosine, and arctangent of multiple of π * * Accuracy is preserved for large values of x. */ real cosPi(real x) { return cos((x%2.0)*PI); } /** ditto */ real sinPi(real x) { return sin((x%2.0)*PI); } /** ditto */ real atanPi(real x) { return PI * atan(x); // BUG: Fix this. } debug(UnitTest) { unittest { assert(isIdentical(sinPi(0.0), 0.0)); assert(isIdentical(sinPi(-0.0), -0.0)); assert(isIdentical(atanPi(0.0), 0.0)); assert(isIdentical(atanPi(-0.0), -0.0)); } } /*********************************** * sine, complex and imaginary * * sin(z) = sin(z.re)*cosh(z.im) + cos(z.re)*sinh(z.im)i * * If both sin(θ) and cos(θ) are required, * it is most efficient to use expi(&theta). */ creal sin(creal z) { creal cs = expi(z.re); return cs.im * cosh(z.im) + cs.re * sinh(z.im) * 1i; } /** ditto */ ireal sin(ireal y) { return cosh(y.im)*1i; } debug(UnitTest) { unittest { assert(sin(0.0+0.0i) == 0.0); assert(sin(2.0+0.0i) == sin(2.0L) ); } } /*********************************** * cosine, complex and imaginary * * cos(z) = cos(z.re)*cosh(z.im) + sin(z.re)*sinh(z.im)i */ creal cos(creal z) { creal cs = expi(z.re); return cs.re * cosh(z.im) + cs.im * sinh(z.im) * 1i; } /** ditto */ real cos(ireal y) { return cosh(y.im); } debug(UnitTest) { unittest{ assert(cos(0.0+0.0i)==1.0); assert(cos(1.3L+0.0i)==cos(1.3L)); assert(cos(5.2Li)== cosh(5.2L)); } } /** * Calculates the arc cosine of x, * returning a value ranging from -π/2 to π/2. * * $(TABLE_SV * <tr> <th> x <th> acos(x) <th> invalid? * <tr> <td> >1.0 <td> $(NAN) <td> yes * <tr> <td> <-1.0 <td> $(NAN) <td> yes * <tr> <td> $(NAN) <td> $(NAN) <td> yes * ) */ real acos(real x) { return tango.stdc.math.acosl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(acos(NaN(254)), NaN(254))); } } /** * Calculates the arc sine of x, * returning a value ranging from -π/2 to π/2. * * $(TABLE_SV * <tr> <th> x <th> asin(x) <th> invalid? * <tr> <td> ±0.0 <td> ±0.0 <td> no * <tr> <td> >1.0 <td> $(NAN) <td> yes * <tr> <td> <-1.0 <td> $(NAN) <td> yes * ) */ real asin(real x) { return tango.stdc.math.asinl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(asin(NaN(7249)), NaN(7249))); } } /** * Calculates the arc tangent of x, * returning a value ranging from -π/2 to π/2. * * $(TABLE_SV * <tr> <th> x <th> atan(x) <th> invalid? * <tr> <td> ±0.0 <td> ±0.0 <td> no * <tr> <td> ±∞ <td> $(NAN) <td> yes * ) */ real atan(real x) { return tango.stdc.math.atanl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(atan(NaN(9876)), NaN(9876))); } } /** * Calculates the arc tangent of y / x, * returning a value ranging from -π/2 to π/2. * * Remarks: * The Complex Argument of a complex number z is given by * Arg(z) = atan2(z.re, z.im) * * $(TABLE_SV * <tr> <th> y <th> x <th> atan(y, x) * <tr> <td> $(NAN) <td> anything <td> $(NAN) * <tr> <td> anything <td> $(NAN) <td> $(NAN) * <tr> <td> ±0.0 <td> > 0.0 <td> ±0.0 * <tr> <td> ±0.0 <td> ±0.0 <td> ±0.0 * <tr> <td> ±0.0 <td> < 0.0 <td> ±π * <tr> <td> ±0.0 <td> -0.0 <td> ±π * <tr> <td> > 0.0 <td> ±0.0 <td> π/2 * <tr> <td> < 0.0 <td> ±0.0 <td> π/2 * <tr> <td> > 0.0 <td> ∞ <td> ±0.0 * <tr> <td> ±∞ <td> anything <td> ±π/2 * <tr> <td> > 0.0 <td> -∞ <td> ±π * <tr> <td> ±∞ <td> ∞ <td> ±π/4 * <tr> <td> ±∞ <td> -∞ <td> ±3π/4 * ) */ real atan2(real y, real x) { return tango.stdc.math.atan2l(y,x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(atan2(5.3, NaN(9876)), NaN(9876))); assert(isIdentical(atan2(NaN(9876), 2.18), NaN(9876))); } } /*********************************** * Complex inverse sine * * asin(z) = -i log( sqrt(1-$(POWER z, 2)) + iz) * where both log and sqrt are complex. */ creal asin(creal z) { return -log(sqrt(1-z*z) + z*1i)*1i; } debug(UnitTest) { unittest { assert(asin(sin(0+0i)) == 0 + 0i); } } /*********************************** * Complex inverse cosine * * acos(z) = &pi/2 - asin(z) */ creal acos(creal z) { return PI_2 - asin(z); } /** * Calculates the hyperbolic cosine of x. * * $(TABLE_SV * <tr> <th> x <th> cosh(x) <th> invalid? * <tr> <td> ±∞ <td> ±0.0 <td> no * ) */ real cosh(real x) { return tango.stdc.math.coshl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(cosh(NaN(432)), NaN(432))); } } /** * Calculates the hyperbolic sine of x. * * $(TABLE_SV * <tr> <th> x <th> sinh(x) <th> invalid? * <tr> <td> ±0.0 <td> ±0.0 <td> no * <tr> <td> ±∞ <td> ±∞ <td> no * ) */ real sinh(real x) { return tango.stdc.math.sinhl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(sinh(NaN(0xABC)), NaN(0xABC))); } } /** * Calculates the hyperbolic tangent of x. * * $(TABLE_SV * <tr> <th> x <th> tanh(x) <th> invalid? * <tr> <td> ±0.0 <td> ±0.0 <td> no * <tr> <td> ±∞ <td> ±1.0 <td> no * ) */ real tanh(real x) { return tango.stdc.math.tanhl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(tanh(NaN(0xABC)), NaN(0xABC))); } } /*********************************** * hyperbolic sine, complex and imaginary * * sinh(z) = cos(z.im)*sinh(z.re) + sin(z.im)*cosh(z.re)i */ creal sinh(creal z) { creal cs = expi(z.im); return cs.re * sinh(z.re) + cs.im * cosh(z.re) * 1i; } /** ditto */ ireal sinh(ireal y) { return sin(y.im)*1i; } debug(UnitTest) { unittest { assert(sinh(4.2L + 0i)==sinh(4.2L)); } } /*********************************** * hyperbolic cosine, complex and imaginary * * cosh(z) = cos(z.im)*cosh(z.re) + sin(z.im)*sinh(z.re)i */ creal cosh(creal z) { creal cs = expi(z.im); return cs.re * cosh(z.re) + cs.im * sinh(z.re) * 1i; } /** ditto */ real cosh(ireal y) { return cos(y.im); } debug(UnitTest) { unittest { assert(cosh(8.3L + 0i)==cosh(8.3L)); } } /** * Calculates the inverse hyperbolic cosine of x. * * Mathematically, acosh(x) = log(x + sqrt( x*x - 1)) * * $(TABLE_DOMRG * $(DOMAIN 1..∞) * $(RANGE 1..log(real.max), ∞ ) * ) * $(TABLE_SV * $(SVH x, acosh(x) ) * $(SV $(NAN), $(NAN) ) * $(SV <1, $(NAN) ) * $(SV 1, 0 ) * $(SV +∞,+∞) * ) */ real acosh(real x) { if (x > 1/real.epsilon) return LN2 + log(x); else return log(x + sqrt(x*x - 1)); } debug(UnitTest) { unittest { assert(isNaN(acosh(0.9))); assert(isNaN(acosh(real.nan))); assert(acosh(1)==0.0); assert(acosh(real.infinity) == real.infinity); // NaN payloads assert(isIdentical(acosh(NaN(0xABC)), NaN(0xABC))); } } /** * Calculates the inverse hyperbolic sine of x. * * Mathematically, * --------------- * asinh(x) = log( x + sqrt( x*x + 1 )) // if x >= +0 * asinh(x) = -log(-x + sqrt( x*x + 1 )) // if x <= -0 * ------------- * * $(TABLE_SV * $(SVH x, asinh(x) ) * $(SV $(NAN), $(NAN) ) * $(SV ±0, ±0 ) * $(SV ±∞,±∞) * ) */ real asinh(real x) { if (tango.math.IEEE.fabs(x) > 1 / real.epsilon) // beyond this point, x*x + 1 == x*x return tango.math.IEEE.copysign(LN2 + log(tango.math.IEEE.fabs(x)), x); else { // sqrt(x*x + 1) == 1 + x * x / ( 1 + sqrt(x*x + 1) ) return tango.math.IEEE.copysign(log1p(tango.math.IEEE.fabs(x) + x*x / (1 + sqrt(x*x + 1)) ), x); } } debug(UnitTest) { unittest { assert(isIdentical(0.0L,asinh(0.0))); assert(isIdentical(-0.0L,asinh(-0.0))); assert(asinh(real.infinity) == real.infinity); assert(asinh(-real.infinity) == -real.infinity); assert(isNaN(asinh(real.nan))); // NaN payloads assert(isIdentical(asinh(NaN(0xABC)), NaN(0xABC))); } } /** * Calculates the inverse hyperbolic tangent of x, * returning a value from ranging from -1 to 1. * * Mathematically, atanh(x) = log( (1+x)/(1-x) ) / 2 * * * $(TABLE_DOMRG * $(DOMAIN -∞..∞) * $(RANGE -1..1) ) * $(TABLE_SV * $(SVH x, atanh(x) ) * $(SV $(NAN), $(NAN) ) * $(SV ±0, ±0) * $(SV ±1, ±∞) * ) */ real atanh(real x) { // log( (1+x)/(1-x) ) == log ( 1 + (2*x)/(1-x) ) return 0.5 * log1p( 2 * x / (1 - x) ); } debug(UnitTest) { unittest { assert(isIdentical(0.0L, atanh(0.0))); assert(isIdentical(-0.0L,atanh(-0.0))); assert(isIdentical(atanh(-1),-real.infinity)); assert(isIdentical(atanh(1),real.infinity)); assert(isNaN(atanh(-real.infinity))); // NaN payloads assert(isIdentical(atanh(NaN(0xABC)), NaN(0xABC))); } } /** ditto */ creal atanh(ireal y) { // Not optimised for accuracy or speed return 0.5*(log(1+y) - log(1-y)); } /** ditto */ creal atanh(creal z) { // Not optimised for accuracy or speed return 0.5 * (log(1 + z) - log(1-z)); } /* * Powers and Roots */ /** * Compute square root of x. * * $(TABLE_SV * <tr> <th> x <th> sqrt(x) <th> invalid? * <tr> <td> -0.0 <td> -0.0 <td> no * <tr> <td> <0.0 <td> $(NAN) <td> yes * <tr> <td> +∞ <td> +∞ <td> no * ) */ float sqrt(float x) /* intrinsic */ { version(D_InlineAsm_X86) { asm { fld x; fsqrt; } } else { return tango.stdc.math.sqrtf(x); } } double sqrt(double x) /* intrinsic */ /// ditto { version(D_InlineAsm_X86) { asm { fld x; fsqrt; } } else { return tango.stdc.math.sqrt(x); } } real sqrt(real x) /* intrinsic */ /// ditto { version(D_InlineAsm_X86) { asm { fld x; fsqrt; } } else { return tango.stdc.math.sqrtl(x); } } /** ditto */ creal sqrt(creal z) { if (z == 0.0) return z; real x,y,w,r; creal c; x = tango.math.IEEE.fabs(z.re); y = tango.math.IEEE.fabs(z.im); if (x >= y) { r = y / x; w = sqrt(x) * sqrt(0.5 * (1 + sqrt(1 + r * r))); } else { r = x / y; w = sqrt(y) * sqrt(0.5 * (r + sqrt(1 + r * r))); } if (z.re >= 0) { c = w + (z.im / (w + w)) * 1.0i; } else { if (z.im < 0) w = -w; c = z.im / (w + w) + w * 1.0i; } return c; } import tango.stdc.stdio; debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(sqrt(NaN(0xABC)), NaN(0xABC))); assert(sqrt(-1+0i) == 1i); assert(isIdentical(sqrt(0-0i), 0-0i)); assert(cfeqrel(sqrt(4+16i)*sqrt(4+16i), 4+16i)>=real.mant_dig-2); } } /** * Calculates the cube root of x. * * $(TABLE_SV * <tr> <th> <i>x</i> <th> cbrt(x) <th> invalid? * <tr> <td> ±0.0 <td> ±0.0 <td> no * <tr> <td> $(NAN) <td> $(NAN) <td> yes * <tr> <td> ±∞ <td> ±∞ <td> no * ) */ real cbrt(real x) { return tango.stdc.math.cbrtl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(cbrt(NaN(0xABC)), NaN(0xABC))); } } /** * Calculates e$(SUP x). * * $(TABLE_SV * <tr> <th> x <th> exp(x) * <tr> <td> +∞ <td> +∞ * <tr> <td> -∞ <td> +0.0 * ) */ real exp(real x) { return tango.stdc.math.expl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(exp(NaN(0xABC)), NaN(0xABC))); } } /** * Calculates the value of the natural logarithm base (e) * raised to the power of x, minus 1. * * For very small x, expm1(x) is more accurate * than exp(x)-1. * * $(TABLE_SV * <tr> <th> x <th> e$(SUP x)-1 * <tr> <td> ±0.0 <td> ±0.0 * <tr> <td> +∞ <td> +∞ * <tr> <td> -∞ <td> -1.0 * ) */ real expm1(real x) { return tango.stdc.math.expm1l(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(expm1(NaN(0xABC)), NaN(0xABC))); } } /** * Calculates 2$(SUP x). * * $(TABLE_SV * <tr> <th> x <th> exp2(x) * <tr> <td> +∞ <td> +∞ * <tr> <td> -∞ <td> +0.0 * ) */ real exp2(real x) { return tango.stdc.math.exp2l(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(exp2(NaN(0xABC)), NaN(0xABC))); } } /* * Powers and Roots */ /** * Calculate the natural logarithm of x. * * $(TABLE_SV * <tr> <th> x <th> log(x) <th> divide by 0? <th> invalid? * <tr> <td> ±0.0 <td> -∞ <td> yes <td> no * <tr> <td> < 0.0 <td> $(NAN) <td> no <td> yes * <tr> <td> +∞ <td> +∞ <td> no <td> no * ) */ real log(real x) { return tango.stdc.math.logl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(log(NaN(0xABC)), NaN(0xABC))); } } /** * Calculates the natural logarithm of 1 + x. * * For very small x, log1p(x) will be more accurate than * log(1 + x). * * $(TABLE_SV * <tr> <th> x <th> log1p(x) <th> divide by 0? <th> invalid? * <tr> <td> ±0.0 <td> ±0.0 <td> no <td> no * <tr> <td> -1.0 <td> -∞ <td> yes <td> no * <tr> <td> <-1.0 <td> $(NAN) <td> no <td> yes * <tr> <td> +∞ <td> -∞ <td> no <td> no * ) */ real log1p(real x) { return tango.stdc.math.log1pl(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(log1p(NaN(0xABC)), NaN(0xABC))); } } /** * Calculates the base-2 logarithm of x: * log<sub>2</sub>x * * $(TABLE_SV * <tr> <th> x <th> log2(x) <th> divide by 0? <th> invalid? * <tr> <td> ±0.0 <td> -∞ <td> yes <td> no * <tr> <td> < 0.0 <td> $(NAN) <td> no <td> yes * <tr> <td> +∞ <td> +∞ <td> no <td> no * ) */ real log2(real x) { return tango.stdc.math.log2l(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(log2(NaN(0xABC)), NaN(0xABC))); } } /** * Calculate the base-10 logarithm of x. * * $(TABLE_SV * <tr> <th> x <th> log10(x) <th> divide by 0? <th> invalid? * <tr> <td> ±0.0 <td> -∞ <td> yes <td> no * <tr> <td> < 0.0 <td> $(NAN) <td> no <td> yes * <tr> <td> +∞ <td> +∞ <td> no <td> no * ) */ real log10(real x) { return tango.stdc.math.log10l(x); } debug(UnitTest) { unittest { // NaN payloads assert(isIdentical(log10(NaN(0xABC)), NaN(0xABC))); } } /*********************************** * Exponential, complex and imaginary * * For complex numbers, the exponential function is defined as * * exp(z) = exp(z.re)cos(z.im) + exp(z.re)sin(z.im)i. * * For a pure imaginary argument, * exp(θi) = cos(θ) + sin(θ)i. * */ creal exp(ireal y) { return expi(y.im); } /** ditto */ creal exp(creal z) { return expi(z.im) * exp(z.re); } debug(UnitTest) { unittest { assert(exp(1.3e5Li)==cos(1.3e5L)+sin(1.3e5L)*1i); assert(exp(0.0Li)==1L+0.0Li); assert(exp(7.2 + 0.0i) == exp(7.2L)); creal c = exp(ireal.nan); assert(isNaN(c.re) && isNaN(c.im)); c = exp(ireal.infinity); assert(isNaN(c.re) && isNaN(c.im)); } } /*********************************** * Natural logarithm, complex * * Returns complex logarithm to the base e (2.718...) of * the complex argument x. * * If z = x + iy, then * log(z) = log(abs(z)) + i arctan(y/x). * * The arctangent ranges from -PI to +PI. * There are branch cuts along both the negative real and negative * imaginary axes. For pure imaginary arguments, use one of the * following forms, depending on which branch is required. * ------------ * log( 0.0 + yi) = log(-y) + PI_2i // y<=-0.0 * log(-0.0 + yi) = log(-y) - PI_2i // y<=-0.0 * ------------ */ creal log(creal z) { return log(abs(z)) + atan2(z.im, z.re)*1i; } debug(UnitTest) { private { /* * feqrel for complex numbers. Returns the worst relative * equality of the two components. */ int cfeqrel(creal a, creal b) { int intmin(int a, int b) { return a<b? a: b; } return intmin(feqrel(a.re, b.re), feqrel(a.im, b.im)); } } unittest { assert(log(3.0L +0i) == log(3.0L)+0i); assert(cfeqrel(log(0.0L-2i),( log(2.0L)-PI_2*1i)) >= real.mant_dig-10); assert(cfeqrel(log(0.0L+2i),( log(2.0L)+PI_2*1i)) >= real.mant_dig-10); } } /** * Fast integral powers. */ real pow(real x, uint n) { real p; switch (n) { case 0: p = 1.0; break; case 1: p = x; break; case 2: p = x * x; break; default: p = 1.0; while (1){ if (n & 1) p *= x; n >>= 1; if (!n) break; x *= x; } break; } return p; } /** ditto */ real pow(real x, int n) { if (n < 0) return pow(x, cast(real)n); else return pow(x, cast(uint)n); } /** * Calculates x$(SUP y). * * $(TABLE_SV * <tr> * <th> x <th> y <th> pow(x, y) <th> div 0 <th> invalid? * <tr> * <td> anything <td> ±0.0 <td> 1.0 <td> no <td> no * <tr> * <td> |x| > 1 <td> +∞ <td> +∞ <td> no <td> no * <tr> * <td> |x| < 1 <td> +∞ <td> +0.0 <td> no <td> no * <tr> * <td> |x| > 1 <td> -∞ <td> +0.0 <td> no <td> no * <tr> * <td> |x| < 1 <td> -∞ <td> +∞ <td> no <td> no * <tr> * <td> +∞ <td> > 0.0 <td> +∞ <td> no <td> no * <tr> * <td> +∞ <td> < 0.0 <td> +0.0 <td> no <td> no * <tr> * <td> -∞ <td> odd integer > 0.0 <td> -∞ <td> no <td> no * <tr> * <td> -∞ <td> > 0.0, not odd integer <td> +∞ <td> no <td> no * <tr> * <td> -∞ <td> odd integer < 0.0 <td> -0.0 <td> no <td> no * <tr> * <td> -∞ <td> < 0.0, not odd integer <td> +0.0 <td> no <td> no * <tr> * <td> ±1.0 <td> ±∞ <td> $(NAN) <td> no <td> yes * <tr> * <td> < 0.0 <td> finite, nonintegral <td> $(NAN) <td> no <td> yes * <tr> * <td> ±0.0 <td> odd integer < 0.0 <td> ±∞ <td> yes <td> no * <tr> * <td> ±0.0 <td> < 0.0, not odd integer <td> +∞ <td> yes <td> no * <tr> * <td> ±0.0 <td> odd integer > 0.0 <td> ±0.0 <td> no <td> no * <tr> * <td> ±0.0 <td> > 0.0, not odd integer <td> +0.0 <td> no <td> no * ) */ real pow(real x, real y) { version (linux) // C pow() often does not handle special values correctly { if (isNaN(y)) return y; if (y == 0) return 1; // even if x is $(NAN) if (isNaN(x) && y != 0) return x; if (isInfinity(y)) { if (tango.math.IEEE.fabs(x) > 1) { if (signbit(y)) return +0.0; else return real.infinity; } else if (tango.math.IEEE.fabs(x) == 1) { return NaN(TANGO_NAN.POW_DOMAIN); } else // < 1 { if (signbit(y)) return real.infinity; else return +0.0; } } if (isInfinity(x)) { if (signbit(x)) { long i; i = cast(long)y; if (y > 0) { if (i == y && i & 1) return -real.infinity; else return real.infinity; } else if (y < 0) { if (i == y && i & 1) return -0.0; else return +0.0; } } else { if (y > 0) return real.infinity; else if (y < 0) return +0.0; } } if (x == 0.0) { if (signbit(x)) { long i; i = cast(long)y; if (y > 0) { if (i == y && i & 1) return -0.0; else return +0.0; } else if (y < 0) { if (i == y && i & 1) return -real.infinity; else return real.infinity; } } else { if (y > 0) return +0.0; else if (y < 0) return real.infinity; } } } return tango.stdc.math.powl(x, y); } debug(UnitTest) { unittest { real x = 46; assert(pow(x,0) == 1.0); assert(pow(x,1) == x); assert(pow(x,2) == x * x); assert(pow(x,3) == x * x * x); assert(pow(x,8) == (x * x) * (x * x) * (x * x) * (x * x)); // NaN payloads assert(isIdentical(pow(NaN(0xABC), 19), NaN(0xABC))); } } /** * Calculates the length of the * hypotenuse of a right-angled triangle with sides of length x and y. * The hypotenuse is the value of the square root of * the sums of the squares of x and y: * * sqrt(x² + y²) * * Note that hypot(x, y), hypot(y, x) and * hypot(x, -y) are equivalent. * * $(TABLE_SV * <tr> <th> x <th> y <th> hypot(x, y) <th> invalid? * <tr> <td> x <td> ±0.0 <td> |x| <td> no * <tr> <td> ±∞ <td> y <td> +∞ <td> no * <tr> <td> ±∞ <td> $(NAN) <td> +∞ <td> no * ) */ real hypot(real x, real y) { /* * This is based on code from: * Cephes Math Library Release 2.1: January, 1989 * Copyright 1984, 1987, 1989 by Stephen L. Moshier * Direct inquiries to 30 Frost Street, Cambridge, MA 02140 */ const int PRECL = real.mant_dig/2; // = 32 real xx, yy, b, re, im; int ex, ey, e; // Note, hypot(INFINITY, NAN) = INFINITY. if (tango.math.IEEE.isInfinity(x) || tango.math.IEEE.isInfinity(y)) return real.infinity; if (tango.math.IEEE.isNaN(x)) return x; if (tango.math.IEEE.isNaN(y)) return y; re = tango.math.IEEE.fabs(x); im = tango.math.IEEE.fabs(y); if (re == 0.0) return im; if (im == 0.0) return re; // Get the exponents of the numbers xx = tango.math.IEEE.frexp(re, ex); yy = tango.math.IEEE.frexp(im, ey); // Check if one number is tiny compared to the other e = ex - ey; if (e > PRECL) return re; if (e < -PRECL) return im; // Find approximate exponent e of the geometric mean. e = (ex + ey) >> 1; // Rescale so mean is about 1 xx = tango.math.IEEE.ldexp(re, -e); yy = tango.math.IEEE.ldexp(im, -e); // Hypotenuse of the right triangle b = sqrt(xx * xx + yy * yy); // Compute the exponent of the answer. yy = tango.math.IEEE.frexp(b, ey); ey = e + ey; // Check it for overflow and underflow. if (ey > real.max_exp + 2) { return real.infinity; } if (ey < real.min_exp - 2) return 0.0; // Undo the scaling b = tango.math.IEEE.ldexp(b, e); return b; } debug(UnitTest) { unittest { static real vals[][3] = // x,y,hypot [ [ 0, 0, 0], [ 0, -0, 0], [ 3, 4, 5], [ -300, -400, 500], [ real.min, real.min, 0x1.6a09e667f3bcc908p-16382L], [ real.max/2, real.max/2, 0x1.6a09e667f3bcc908p+16383L /*8.41267e+4931L*/], [ real.max, 1, real.max], [ real.infinity, real.nan, real.infinity], [ real.nan, real.nan, real.nan], ]; for (int i = 0; i < vals.length; i++) { real x = vals[i][0]; real y = vals[i][1]; real z = vals[i][2]; real h = hypot(x, y); // printf("hypot(%La, %La) = %La, should be %La\n", x, y, h, z); assert(isIdentical(z, h)); } // NaN payloads assert(isIdentical(hypot(NaN(0xABC), 3.14), NaN(0xABC))); assert(isIdentical(hypot(7.6e39, NaN(0xABC)), NaN(0xABC))); } } /** * Evaluate polynomial A(x) = a<sub>0</sub> + a<sub>1</sub>x + a<sub>2</sub>x² + a<sub>3</sub>x³ ... * * Uses Horner's rule A(x) = a<sub>0</sub> + x(a<sub>1</sub> + x(a<sub>2</sub> + x(a<sub>3</sub> + ...))) * Params: * A = array of coefficients a<sub>0</sub>, a<sub>1</sub>, etc. */ T poly(T)(T x, T[] A) in { assert(A.length > 0); } body { version (DigitalMars_D_InlineAsm_X86) { const bool Use_D_InlineAsm_X86 = true; } else const bool Use_D_InlineAsm_X86 = false; // BUG (Inherited from Phobos): This code assumes a frame pointer in EBP. // This is not in the spec. static if (Use_D_InlineAsm_X86 && is(T==real) && T.sizeof == 10) { asm // assembler by W. Bright { // EDX = (A.length - 1) * real.sizeof mov ECX,A[EBP] ; // ECX = A.length dec ECX ; lea EDX,[ECX][ECX*8] ; add EDX,ECX ; add EDX,A+4[EBP] ; fld real ptr [EDX] ; // ST0 = coeff[ECX] jecxz return_ST ; fld x[EBP] ; // ST0 = x fxch ST(1) ; // ST1 = x, ST0 = r align 4 ; L2: fmul ST,ST(1) ; // r *= x fld real ptr -10[EDX] ; sub EDX,10 ; // deg-- faddp ST(1),ST ; dec ECX ; jne L2 ; fxch ST(1) ; // ST1 = r, ST0 = x fstp ST(0) ; // dump x align 4 ; return_ST: ; ; } } else static if ( Use_D_InlineAsm_X86 && is(T==real) && T.sizeof==12){ asm // assembler by W. Bright { // EDX = (A.length - 1) * real.sizeof mov ECX,A[EBP] ; // ECX = A.length dec ECX ; lea EDX,[ECX*8] ; lea EDX,[EDX][ECX*4] ; add EDX,A+4[EBP] ; fld real ptr [EDX] ; // ST0 = coeff[ECX] jecxz return_ST ; fld x ; // ST0 = x fxch ST(1) ; // ST1 = x, ST0 = r align 4 ; L2: fmul ST,ST(1) ; // r *= x fld real ptr -12[EDX] ; sub EDX,12 ; // deg-- faddp ST(1),ST ; dec ECX ; jne L2 ; fxch ST(1) ; // ST1 = r, ST0 = x fstp ST(0) ; // dump x align 4 ; return_ST: ; ; } } else { ptrdiff_t i = A.length - 1; real r = A[i]; while (--i >= 0) { r *= x; r += A[i]; } return r; } } debug(UnitTest) { unittest { debug (math) printf("math.poly.unittest\n"); real x = 3.1; const real pp[] = [56.1L, 32.7L, 6L]; assert( poly(x, pp) == (56.1L + (32.7L + 6L * x) * x) ); assert(isIdentical(poly(NaN(0xABC), pp), NaN(0xABC))); } } package { T rationalPoly(T)(T x, T [] numerator, T [] denominator) { return poly(x, numerator)/poly(x, denominator); } } private enum : int { MANTDIG_2 = real.mant_dig/2 } // Compiler workaround /** Floating point "approximate equality". * * Return true if x is equal to y, to within the specified precision * If roundoffbits is not specified, a reasonable default is used. */ bool feq(int precision = MANTDIG_2, XReal=real, YReal=real)(XReal x, YReal y) { static assert(is( XReal: real) && is(YReal : real)); return tango.math.IEEE.feqrel(x, y) >= precision; } unittest{ assert(!feq(1.0,2.0)); real y = 58.0000000001; assert(feq!(20)(58, y)); } /* * Rounding (returning real) */ /** * Returns the value of x rounded downward to the next integer * (toward negative infinity). */ real floor(real x) { return tango.stdc.math.floorl(x); } debug(UnitTest) { unittest { assert(isIdentical(floor(NaN(0xABC)), NaN(0xABC))); } } /** * Returns the value of x rounded upward to the next integer * (toward positive infinity). */ real ceil(real x) { return tango.stdc.math.ceill(x); } unittest { assert(isIdentical(ceil(NaN(0xABC)), NaN(0xABC))); } /** * Return the value of x rounded to the nearest integer. * If the fractional part of x is exactly 0.5, the return value is rounded to * the even integer. */ real round(real x) { return tango.stdc.math.roundl(x); } debug(UnitTest) { unittest { assert(isIdentical(round(NaN(0xABC)), NaN(0xABC))); } } /** * Returns the integer portion of x, dropping the fractional portion. * * This is also known as "chop" rounding. */ real trunc(real x) { return tango.stdc.math.truncl(x); } debug(UnitTest) { unittest { assert(isIdentical(trunc(NaN(0xABC)), NaN(0xABC))); } } /** * Rounds x to the nearest int or long. * * This is generally the fastest method to convert a floating-point number * to an integer. Note that the results from this function * depend on the rounding mode, if the fractional part of x is exactly 0.5. * If using the default rounding mode (ties round to even integers) * rndint(4.5) == 4, rndint(5.5)==6. */ int rndint(real x) { version(DigitalMars_D_InlineAsm_X86) { int n; asm { fld x; fistp n; } return n; } else { return tango.stdc.math.lrintl(x); } } /** ditto */ long rndlong(real x) { version(DigitalMars_D_InlineAsm_X86) { long n; asm { fld x; fistp n; } return n; } else { return tango.stdc.math.llrintl(x); } } debug(UnitTest) { version(D_InlineAsm_X86) { // Won't work for anything else yet unittest { int r = getIeeeRounding; assert(r==RoundingMode.ROUNDTONEAREST); real b = 5.5; int cnear = tango.math.Math.rndint(b); assert(cnear == 6); auto oldrounding = setIeeeRounding(RoundingMode.ROUNDDOWN); scope (exit) setIeeeRounding(oldrounding); assert(getIeeeRounding==RoundingMode.ROUNDDOWN); int cdown = tango.math.Math.rndint(b); assert(cdown==5); } unittest { // Check that the previous test correctly restored the rounding mode assert(getIeeeRounding==RoundingMode.ROUNDTONEAREST); } } }