Searched refs:pi (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/libs/libmuslc/src/math/
H A Datan2.c18 * ARG (x+iy) = pi - arctan[y/(-x)] ... if x < 0,
25 * ATAN2(+-0, -(anything but NaN)) is +-pi ;
26 * ATAN2(+-(anything but 0 and NaN), 0) is +-pi/2;
28 * ATAN2(+-(anything but INF and NaN), -INF) is +-pi;
29 * ATAN2(+-INF,+INF ) is +-pi/4 ;
30 * ATAN2(+-INF,-INF ) is +-3pi/4;
31 * ATAN2(+-INF, (anything but,0,NaN, and INF)) is +-pi/2;
43 pi = 3.1415926535897931160E+00, /* 0x400921FB, 0x54442D18 */ variable
66 case 2: return pi; /* atan(+0,-anything) = pi */
[all...]
H A Datan2f.c19 pi = 3.1415927410e+00, /* 0x40490fdb */ variable
42 case 2: return pi; /* atan(+0,-anything) = pi */
43 case 3: return -pi; /* atan(-0,-anything) =-pi */
48 return m&1 ? -pi/2 : pi/2;
53 case 0: return pi/4; /* atan(+INF,+INF) */
54 case 1: return -pi/4; /* atan(-INF,+INF) */
55 case 2: return 3*pi/
[all...]
H A Dtgamma.c21 Gamma(x)*Gamma(-x) = -pi/(x sin(pi x))
27 static const double pi = 3.141592653589793238462643383279502884; variable
29 /* sin(pi x) with x > 0x1p-100, if sin(pi*x)==0 the sign is arbitrary */
44 x *= pi;
163 r = -pi / (sinpi(absx) * absx * r);
216 r = log(pi/(fabs(x)*absx)) - r;
H A Dlgamma_r.c49 * lgamma(x)~(x-0.5)log(x)-x+0.5*log(2pi)+1/(12x)-1/(360x**3)+....
51 * lgamma(x)~(x-0.5)*(log(x)-1)-.5*(log(2pi)-1) + ...)
61 * -x*G(-x)*G(x) = pi/sin(pi*x),
63 * G(x) = pi/(sin(pi*x)*(-x)*G(-x))
64 * since G(-x) is positive, sign(G(x)) = sign(sin(pi*x)) for x<0
65 * Hence, for x<0, signgam = sign(sin(pi*x)) and
67 * = log(pi/(|x*sin(pi*
85 pi = 3.14159265358979311600e+00, /* 0x400921FB, 0x54442D18 */ variable
[all...]
H A Dlgammal.c59 * lgamma(x)~(x-0.5)log(x)-x+0.5*log(2pi)+1/(12x)-1/(360x**3)+....
61 * lgamma(x)~(x-0.5)*(log(x)-1)-.5*(log(2pi)-1) + ...)
69 * -x*G(-x)*G(x) = pi/sin(pi*x),
71 * G(x) = pi/(sin(pi*x)*(-x)*G(-x))
72 * since G(-x) is positive, sign(G(x)) = sign(sin(pi*x)) for x<0
73 * Hence, for x<0, signgam = sign(sin(pi*x)) and
75 * = log(pi/(|x*sin(pi*
101 pi = 3.14159265358979323846264L, variable
[all...]
H A Dlgammaf_r.c20 pi = 3.1415927410e+00, /* 0x40490fdb */ variable
84 /* sin(pi*x) assuming x > 2^-100, if sin(pi*x)==0 the sign is arbitrary */
135 nadj = logf(pi/(t*x));
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dpickup.c632 menu_item *pi; /* pick item */ local
651 *pick_list = pi = (menu_item *) alloc(sizeof(menu_item) * n);
660 pi[n].item.a_obj = curr;
661 pi[n].count = curr->quan;
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dpickup.c632 menu_item *pi; /* pick item */ local
651 *pick_list = pi = (menu_item *) alloc(sizeof(menu_item) * n);
660 pi[n].item.a_obj = curr;
661 pi[n].count = curr->quan;

Completed in 50 milliseconds