Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  j0l.c

  Sprache: C
 

/* j0l.c
 *
 * Bessel function of order zero
 *
 *
 *
 * SYNOPSIS:
 *
 * long double x, y, j0l();
 *
 * y = j0l( x );
 *
 *
 *
 * DESCRIPTION:
 *
 * Returns Bessel function of first kind, order zero of the argument.
 *
 * The domain is divided into the intervals [0, 9] and
 * (9, infinity). In the first interval the rational approximation
 * is (x^2 - r^2) (x^2 - s^2) (x^2 - t^2) P7(x^2) / Q8(x^2),
 * where r, s, t are the first three zeros of the function.
 * In the second interval the expansion is in terms of the
 * modulus M0(x) = sqrt(J0(x)^2 + Y0(x)^2) and phase  P0(x)
 * = atan(Y0(x)/J0(x)).  M0 is approximated by sqrt(1/x)P7(1/x)/Q7(1/x).
 * The approximation to J0 is M0 * cos(x -  pi/4 + 1/x P5(1/x^2)/Q6(1/x^2)).
 *
 *
 * ACCURACY:
 *
 *                      Absolute error:
 * arithmetic   domain      # trials      peak         rms
 *    IEEE      0, 30       100000      2.8e-19      7.4e-20
 *
 *
 */

/* y0l.c
 *
 * Bessel function of the second kind, order zero
 *
 *
 *
 * SYNOPSIS:
 *
 * double x, y, y0l();
 *
 * y = y0l( x );
 *
 *
 *
 * DESCRIPTION:
 *
 * Returns Bessel function of the second kind, of order
 * zero, of the argument.
 *
 * The domain is divided into the intervals [0, 5>, [5,9> and
 * [9, infinity). In the first interval a rational approximation
 * R(x) is employed to compute y0(x)  = R(x) + 2/pi * log(x) * j0(x).
 *
 * In the second interval, the approximation is
 *     (x - p)(x - q)(x - r)(x - s)P7(x)/Q7(x)
 * where p, q, r, s are zeros of y0(x).
 *
 * The third interval uses the same approximations to modulus
 * and phase as j0(x), whence y0(x) = modulus * sin(phase).
 *
 * ACCURACY:
 *
 *  Absolute error, when y0(x) < 1; else relative error:
 *
 * arithmetic   domain     # trials      peak         rms
 *    IEEE      0, 30       100000      3.4e-19     7.6e-20
 *
 */


/* Copyright 1994 by Stephen L. Moshier (moshier@world.std.com).  */

#include "mconf.h"

/*
j0(x) = (x^2-JZ1)(x^2-JZ2)(x^2-JZ3)P(x**2)/Q(x**2)
0 <= x <= 9
Relative error
n=7, d=8
Peak error =  8.49e-22
Relative error spread =  2.2e-3
*/

#if UNK
static long double j0n[8] = {
 1.296848754518641770562E0L,
-3.239201943301299801018E3L,
 3.490002040733471400107E6L,
-2.076797068740966813173E9L,
 7.283696461857171054941E11L,
-1.487926133645291056388E14L,
 1.620335009643150402368E16L,
-7.173386747526788067407E17L,
};
static long double j0d[8] = {
/* 1.000000000000000000000E0L,*/
 2.281959869176887763845E3L,
 2.910386840401647706984E6L,
 2.608400226578100610991E9L,
 1.752689035792859338860E12L,
 8.879132373286001289461E14L,
 3.265560832845194013669E17L,
 7.881340554308432241892E19L,
 9.466475654163919450528E21L,
};
#endif
#if IBMPC
static short j0n[] = {
0xf759,0x4208,0x23d6,0xa5ff,0x3fff, XPD
0xa9a8,0xe62b,0x3b28,0xca73,0xc00a, XPD
0xfe10,0xb608,0x4829,0xd503,0x4014, XPD
0x008c,0x7b60,0xd119,0xf792,0xc01d, XPD
0x943a,0x69b7,0x36ca,0xa996,0x4026, XPD
0x1b0b,0x6331,0x7add,0x8753,0xc02e, XPD
0x4018,0xad26,0x71ba,0xe643,0x4034, XPD
0xb96c,0xc486,0xfb95,0x9f47,0xc03a, XPD
};
static short j0d[] = {
/*0x0000,0x0000,0x0000,0x8000,0x3fff, XPD*/
0xbdfe,0xc832,0x5b9f,0x8e9f,0x400a, XPD
0xe1a0,0x923f,0xcb5c,0xb1a2,0x4014, XPD
0x66d2,0x93fe,0x0762,0x9b79,0x401e, XPD
0xfed1,0x086d,0x3425,0xcc0a,0x4027, XPD
0x0841,0x8cb6,0x5a46,0xc9e3,0x4030, XPD
0x3d2c,0xed55,0x20e1,0x9105,0x4039, XPD
0xfdce,0xa4ca,0x2ed8,0x88b8,0x4041, XPD
0x00ac,0xfb2b,0x6f62,0x804b,0x4048, XPD
};
#endif
#if MIEEE
static long j0n[24] = {
0x3fff0000,0xa5ff23d6,0x4208f759,
0xc00a0000,0xca733b28,0xe62ba9a8,
0x40140000,0xd5034829,0xb608fe10,
0xc01d0000,0xf792d119,0x7b60008c,
0x40260000,0xa99636ca,0x69b7943a,
0xc02e0000,0x87537add,0x63311b0b,
0x40340000,0xe64371ba,0xad264018,
0xc03a0000,0x9f47fb95,0xc486b96c,
};
static long j0d[24] = {
/*0x3fff0000,0x80000000,0x00000000,*/
0x400a0000,0x8e9f5b9f,0xc832bdfe,
0x40140000,0xb1a2cb5c,0x923fe1a0,
0x401e0000,0x9b790762,0x93fe66d2,
0x40270000,0xcc0a3425,0x086dfed1,
0x40300000,0xc9e35a46,0x8cb60841,
0x40390000,0x910520e1,0xed553d2c,
0x40410000,0x88b82ed8,0xa4cafdce,
0x40480000,0x804b6f62,0xfb2b00ac,
};
#endif
/*
sqrt(j0^2(1/x^2) + y0^2(1/x^2)) = z P(z**2)/Q(z**2)
z(x) = 1/sqrt(x)
Relative error
n=7, d=7
Peak error =  1.80e-20
Relative error spread =  5.1e-2
*/

#if UNK
static long double modulusn[8] = {
 3.947542376069224461532E-1L,
 6.864682945702134624126E0L,
 1.021369773577974343844E1L,
 7.626141421290849630523E0L,
 2.842537511425216145635E0L,
 7.162842530423205720962E-1L,
 9.036664453160200052296E-2L,
 8.461833426898867839659E-3L,
};
static long double modulusd[7] = {
/* 1.000000000000000000000E0L,*/
 9.117176038171821115904E0L,
 1.301235226061478261481E1L,
 9.613002539386213788182E0L,
 3.569671060989910901903E0L,
 8.983920141407590632423E-1L,
 1.132577931332212304986E-1L,
 1.060533546154121770442E-2L,
};
#endif
#if IBMPC
static short modulusn[] = {
0x8559,0xf552,0x3a38,0xca1d,0x3ffd, XPD
0x38a3,0xa663,0x7b91,0xdbab,0x4001, XPD
0xb343,0x2673,0x4e51,0xa36b,0x4002, XPD
0x5e4b,0xe3af,0x59bb,0xf409,0x4001, XPD
0xb1cd,0x4e5e,0x2274,0xb5ec,0x4000, XPD
0xcfe9,0x74e0,0x67a1,0xb75e,0x3ffe, XPD
0x6b78,0x4cc6,0x25b7,0xb912,0x3ffb, XPD
0xcb2b,0x4b73,0x8075,0x8aa3,0x3ff8, XPD
};
static short modulusd[] = {
/*0x0000,0x0000,0x0000,0x8000,0x3fff, XPD*/
0x4498,0x3d2a,0xf3fb,0x91df,0x4002, XPD
0x5e3d,0xb5f4,0x9848,0xd032,0x4002, XPD
0xb837,0x3075,0xdbc0,0x99ce,0x4002, XPD
0x775a,0x1b79,0x7d9c,0xe475,0x4000, XPD
0x7e3f,0xb8dd,0x04df,0xe5fd,0x3ffe, XPD
0xed5a,0x31cd,0xb3ac,0xe7f3,0x3ffb, XPD
0x8a83,0x1b80,0x003e,0xadc2,0x3ff8, XPD
};
#endif
#if MIEEE
static long modulusn[24] = {
0x3ffd0000,0xca1d3a38,0xf5528559,
0x40010000,0xdbab7b91,0xa66338a3,
0x40020000,0xa36b4e51,0x2673b343,
0x40010000,0xf40959bb,0xe3af5e4b,
0x40000000,0xb5ec2274,0x4e5eb1cd,
0x3ffe0000,0xb75e67a1,0x74e0cfe9,
0x3ffb0000,0xb91225b7,0x4cc66b78,
0x3ff80000,0x8aa38075,0x4b73cb2b,
};
static long modulusd[21] = {
/*0x3fff0000,0x80000000,0x00000000,*/
0x40020000,0x91dff3fb,0x3d2a4498,
0x40020000,0xd0329848,0xb5f45e3d,
0x40020000,0x99cedbc0,0x3075b837,
0x40000000,0xe4757d9c,0x1b79775a,
0x3ffe0000,0xe5fd04df,0xb8dd7e3f,
0x3ffb0000,0xe7f3b3ac,0x31cded5a,
0x3ff80000,0xadc2003e,0x1b808a83,
};
#endif
/*
atan(y0(x)/j0(x)) = x - pi/4 + x P(x**2)/Q(x**2)
Absolute error
n=5, d=6
Peak error =  2.80e-21
Relative error spread =  5.5e-1
*/

#if UNK
static long double phasen[6] = {
-7.356766355393571519038E-1L,
-5.001635199922493694706E-1L,
-7.737323518141516881715E-2L,
-3.998893155826990642730E-3L,
-7.496317036829964150970E-5L,
-4.290885090773112963542E-7L,
};
static long double phased[6] = {
/* 1.000000000000000000000E0L,*/
 7.377856408614376072745E0L,
 4.285043297797736118069E0L,
 6.348446472935245102890E-1L,
 3.229866782185025048457E-2L,
 6.014932317342190404134E-4L,
 3.432708072618490390095E-6L,
};
#endif
#if IBMPC
static short phasen[] = {
0x5106,0x12a6,0x4dd2,0xbc55,0xbffe, XPD
0x1e30,0x04da,0xb769,0x800a,0xbffe, XPD
0x8d8a,0x84e7,0xdbd5,0x9e75,0xbffb, XPD
0xe514,0x8866,0x25a9,0x8309,0xbff7, XPD
0xdc17,0x325e,0x8baf,0x9d35,0xbff1, XPD
0x4c2f,0x2dd8,0x79c3,0xe65d,0xbfe9, XPD
};
static short phased[] = {
/*0x0000,0x0000,0x0000,0x8000,0x3fff, XPD*/
0xf3e9,0xb2a5,0x6652,0xec17,0x4001, XPD
0x4b69,0x3f87,0x131f,0x891f,0x4001, XPD
0x6f25,0x2a95,0x2dc6,0xa285,0x3ffe, XPD
0x37bf,0xfcc8,0x9b9f,0x844b,0x3ffa, XPD
0xac5c,0x4806,0x8709,0x9dad,0x3ff4, XPD
0x4c8c,0x2dd8,0x79c3,0xe65d,0x3fec, XPD
};
#endif
#if MIEEE
static long phasen[18] = {
0xbffe0000,0xbc554dd2,0x12a65106,
0xbffe0000,0x800ab769,0x04da1e30,
0xbffb0000,0x9e75dbd5,0x84e78d8a,
0xbff70000,0x830925a9,0x8866e514,
0xbff10000,0x9d358baf,0x325edc17,
0xbfe90000,0xe65d79c3,0x2dd84c2f,
};
static long phased[18] = {
/*0x3fff0000,0x80000000,0x00000000,*/
0x40010000,0xec176652,0xb2a5f3e9,
0x40010000,0x891f131f,0x3f874b69,
0x3ffe0000,0xa2852dc6,0x2a956f25,
0x3ffa0000,0x844b9b9f,0xfcc837bf,
0x3ff40000,0x9dad8709,0x4806ac5c,
0x3fec0000,0xe65d79c3,0x2dd84c8c,
};
#endif
#define JZ1 5.783185962946784521176L
#define JZ2 30.47126234366208639908L
#define JZ3 7.488700679069518344489e1L

#define PIO4L 0.78539816339744830961566L
#ifdef ANSIPROT
extern long double sqrtl ( long double );
extern long double fabsl ( long double );
extern long double polevll ( long doublevoid *, int );
extern long double p1evll ( long doublevoid *, int );
extern long double cosl ( long double );
extern long double sinl ( long double );
extern long double logl ( long double );
long double j0l ( long double );
#else
long double sqrtl(), fabsl(), polevll(), p1evll(), cosl(), sinl(), logl();
long double j0l();
#endif

long double j0l(x)
long double x;
{
long double xx, y, z, modulus, phase;

xx = x * x;
if( xx < 81.0L )
  {
    y = (xx - JZ1) * (xx - JZ2) * (xx -JZ3);
    y *= polevll( xx, j0n, 7 ) / p1evll( xx, j0d, 8 );
    return y;
  }

y = fabsl(x);
xx = 1.0/xx;
phase = polevll( xx, phasen, 5 ) / p1evll( xx, phased, 6 );

z = 1.0/y;
modulus = polevll( z, modulusn, 7 ) / p1evll( z, modulusd, 7 );

y = modulus * cosl( y -  PIO4L + z*phase) / sqrtl(y);
return y;
}


/*
y0(x) = 2/pi * log(x) * j0(x) + P(z**2)/Q(z**2)
0 <= x <= 5
Absolute error
n=7, d=7
Peak error =  8.55e-22
Relative error spread =  2.7e-1
*/

#if UNK
static long double y0n[8] = {
 1.556909814120445353691E4L,
-1.464324149797947303151E7L,
 5.427926320587133391307E9L,
-9.808510181632626683952E11L,
 8.747842804834934784972E13L,
-3.461898868011666236539E15L,
 4.421767595991969611983E16L,
-1.847183690384811186958E16L,
};
static long double y0d[7] = {
/* 1.000000000000000000000E0L,*/
 1.040792201755841697889E3L,
 6.256391154086099882302E5L,
 2.686702051957904669677E8L,
 8.630939306572281881328E10L,
 2.027480766502742538763E13L,
 3.167750475899536301562E15L,
 2.502813268068711844040E17L,
};
#endif
#if IBMPC
static short y0n[] = {
0x126c,0x20be,0x647f,0xf344,0x400c, XPD
0x2ec0,0x7b95,0x297f,0xdf70,0xc016, XPD
0x2fdd,0x4b27,0xca98,0xa1c3,0x401f, XPD
0x3e3c,0xb343,0x46c9,0xe45f,0xc026, XPD
0xb219,0x37ba,0x5142,0x9f1f,0x402d, XPD
0x23c9,0x6b29,0x4244,0xc4c9,0xc032, XPD
0x501f,0x6264,0xbdf4,0x9d17,0x4036, XPD
0x5fbd,0x0171,0x135a,0x8340,0xc035, XPD
};
static short y0d[] = {
/*0x0000,0x0000,0x0000,0x8000,0x3fff, XPD*/
0x9057,0x7f25,0x59b7,0x8219,0x4009, XPD
0xd938,0xb6b2,0x71d8,0x98be,0x4012, XPD
0x97a4,0x90fa,0xa7e9,0x801c,0x401b, XPD
0x553b,0x4dc8,0x8695,0xa0c3,0x4023, XPD
0x6732,0x8c1b,0xc5ab,0x9384,0x402b, XPD
0x04d3,0xa629,0xd61d,0xb410,0x4032, XPD
0x241a,0x8f2b,0x629a,0xde4b,0x4038, XPD
};
#endif
#if MIEEE
static long y0n[24] = {
0x400c0000,0xf344647f,0x20be126c,
0xc0160000,0xdf70297f,0x7b952ec0,
0x401f0000,0xa1c3ca98,0x4b272fdd,
0xc0260000,0xe45f46c9,0xb3433e3c,
0x402d0000,0x9f1f5142,0x37bab219,
0xc0320000,0xc4c94244,0x6b2923c9,
0x40360000,0x9d17bdf4,0x6264501f,
0xc0350000,0x8340135a,0x01715fbd,
};
static long y0d[21] = {
/*0x3fff0000,0x80000000,0x00000000,*/
0x40090000,0x821959b7,0x7f259057,
0x40120000,0x98be71d8,0xb6b2d938,
0x401b0000,0x801ca7e9,0x90fa97a4,
0x40230000,0xa0c38695,0x4dc8553b,
0x402b0000,0x9384c5ab,0x8c1b6732,
0x40320000,0xb410d61d,0xa62904d3,
0x40380000,0xde4b629a,0x8f2b241a,
};
#endif
/*
y0(x) = (x-Y0Z1)(x-Y0Z2)(x-Y0Z3)(x-Y0Z4)P(x)/Q(x)
4.5 <= x <= 9
Absolute error
n=9, d=9
Peak error =  2.35e-20
Relative error spread =  7.8e-13
*/

#if UNK
static long double y059n[10] = {
 2.368715538373384869796E-2L,
-1.472923738545276751402E0L,
 2.525993724177105060507E1L,
 7.727403527387097461580E1L,
-4.578271827238477598563E3L,
 7.051411242092171161986E3L,
 1.951120419910720443331E5L,
 6.515211089266670755622E5L,
-1.164760792144532266855E5L,
-5.566567444353735925323E5L,
};
static long double y059d[9] = {
/* 1.000000000000000000000E0L,*/
-6.235501989189125881723E1L,
 2.224790285641017194158E3L,
-5.103881883748705381186E4L,
 8.772616606054526158657E5L,
-1.096162986826467060921E7L,
 1.083335477747278958468E8L,
-7.045635226159434678833E8L,
 3.518324187204647941098E9L,
 1.173085288957116938494E9L,
};
#endif
#if IBMPC
static short y059n[] = {
0x992f,0xab45,0x90b6,0xc20b,0x3ff9, XPD
0x1207,0x46ea,0xc3db,0xbc88,0xbfff, XPD
0x5504,0x035a,0x59fa,0xca14,0x4003, XPD
0xd5a3,0xf673,0x4e59,0x9a8c,0x4005, XPD
0x62e0,0xc25b,0x2cb3,0x8f12,0xc00b, XPD
0xe8fa,0x4b44,0x4a39,0xdc5b,0x400b, XPD
0x49e2,0xfb52,0x02af,0xbe8a,0x4010, XPD
0x8c07,0x29e3,0x11be,0x9f10,0x4012, XPD
0xfd54,0xb2fe,0x0a23,0xe37e,0xc00f, XPD
0xf90c,0x3510,0x0be9,0x87e7,0xc012, XPD
};
static short y059d[] = {
/*0x0000,0x0000,0x0000,0x8000,0x3fff, XPD*/
0xdebf,0xa468,0x8a55,0xf96b,0xc004, XPD
0xad09,0x8e6a,0xa502,0x8b0c,0x400a, XPD
0xa28c,0x5563,0xd19f,0xc75e,0xc00e, XPD
0xe8b6,0xd705,0xda91,0xd62c,0x4012, XPD
0xec8a,0x4697,0xddde,0xa742,0xc016, XPD
0x27ff,0xca92,0x3d78,0xcea1,0x4019, XPD
0xe26b,0x76b9,0x250a,0xa7fb,0xc01c, XPD
0xceb6,0x3463,0x5ddb,0xd1b5,0x401e, XPD
0x3b3b,0xea0b,0xb8d1,0x8bd7,0x401d, XPD
};
#endif
#if MIEEE
static long y059n[30] = {
0x3ff90000,0xc20b90b6,0xab45992f,
0xbfff0000,0xbc88c3db,0x46ea1207,
0x40030000,0xca1459fa,0x035a5504,
0x40050000,0x9a8c4e59,0xf673d5a3,
0xc00b0000,0x8f122cb3,0xc25b62e0,
0x400b0000,0xdc5b4a39,0x4b44e8fa,
0x40100000,0xbe8a02af,0xfb5249e2,
0x40120000,0x9f1011be,0x29e38c07,
0xc00f0000,0xe37e0a23,0xb2fefd54,
0xc0120000,0x87e70be9,0x3510f90c,
};
static long y059d[27] = {
/*0x3fff0000,0x80000000,0x00000000,*/
0xc0040000,0xf96b8a55,0xa468debf,
0x400a0000,0x8b0ca502,0x8e6aad09,
0xc00e0000,0xc75ed19f,0x5563a28c,
0x40120000,0xd62cda91,0xd705e8b6,
0xc0160000,0xa742ddde,0x4697ec8a,
0x40190000,0xcea13d78,0xca9227ff,
0xc01c0000,0xa7fb250a,0x76b9e26b,
0x401e0000,0xd1b55ddb,0x3463ceb6,
0x401d0000,0x8bd7b8d1,0xea0b3b3b,
};
#endif
#define TWOOPI 6.36619772367581343075535E-1L
#define Y0Z1 3.957678419314857868376e0L
#define Y0Z2 7.086051060301772697624e0L
#define Y0Z3 1.022234504349641701900e1L
#define Y0Z4 1.336109747387276347827e1L
/* #define MAXNUML 1.189731495357231765021e4932L */
extern long double MAXNUML;

long double y0l(x)
long double x;
{
long double xx, y, z, modulus, phase;

if( x < 0.0 )
  {
    return (-MAXNUML);
  }
xx = x * x;
if( xx < 81.0L )
  {
    if( xx < 20.25L )
      {
 y = TWOOPI * logl(x) * j0l(x);
 y += polevll( xx, y0n, 7 ) / p1evll( xx, y0d, 7 );
      }
    else
      {
 y = (x - Y0Z1)*(x - Y0Z2)*(x - Y0Z3)*(x - Y0Z4);
 y *= polevll( x, y059n, 9 ) / p1evll( x, y059d, 9 );
      }
    return y;
  }

y = fabsl(x);
xx = 1.0/xx;
phase = polevll( xx, phasen, 5 ) / p1evll( xx, phased, 6 );

z = 1.0/y;
modulus = polevll( z, modulusn, 7 ) / p1evll( z, modulusd, 7 );

y = modulus * sinl( y -  PIO4L + z*phase) / sqrtl(y);
return y;
}

Messung V0.5 in Prozent
C=96 H=100 G=97

¤ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet am  2026-06-14) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik