Searched refs:pi (Results 1 - 8 of 8) sorted by relevance
/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | atan2.c | 18 * 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 D | atan2f.c | 19 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 D | tgamma.c | 21 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 D | lgamma_r.c | 49 * 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 D | lgammal.c | 59 * 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 D | lgammaf_r.c | 20 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 D | pickup.c | 632 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 D | pickup.c | 632 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