]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
2 | ** math.h | |
3 | */ | |
4 | ||
5 | int errno, signgam; | |
6 | ||
7 | typedef struct exception { | |
8 | int ttype ; /* should be type */ | |
9 | char *name ; | |
10 | double arg1 ; | |
11 | double arg2 ; | |
12 | double retval ; | |
13 | } __exception ; | |
14 | ||
15 | double acos(double __x ) { ensures true; } | |
16 | double acosh(double __x ) { ensures true; } | |
17 | double asin(double __x ) { ensures true; } | |
18 | double asinh(double __x ) { ensures true; } | |
19 | double atan(double __x ) { ensures true; } | |
20 | double atanh(double __x) { ensures true; } | |
21 | double atan2(double __x,double __y ) { ensures true; } | |
22 | double cbrt(double __x ) { ensures true; } | |
23 | double ceil(double __x ) { ensures true; } | |
24 | double cos(double __x ) { ensures true; } | |
25 | double cosh(double __x ) { ensures true; } | |
26 | double exp(double __x ) { ensures true; } | |
27 | double fabs(double __x ) { ensures true; } | |
28 | double floor(double __x ) { ensures true; } | |
29 | double fmod(double __x,double __y ) { ensures true; } | |
30 | double frexp(double __value, int *__eptr ) { ensures true; } | |
31 | double ldexp(double __value, int __exp ) { ensures true; } | |
32 | double log(double __x ) { ensures true; } | |
33 | double log10(double __x ) { ensures true; } | |
34 | double modf(double __value,double *__iptr) { ensures true; } | |
35 | double pow(double __x,double __y ) { ensures true; } | |
36 | double rint(double __x ) { ensures true; } | |
37 | double sin(double __x ) { ensures true; } | |
38 | double sinh(double __x ) { ensures true; } | |
39 | double sqrt(double __x ) { ensures true; } | |
40 | double tan(double __x ) { ensures true; } | |
41 | double tanh(double __x ) { ensures true; } | |
42 | double trunc(double __x ) { ensures true; } | |
43 | ||
44 | double j0(double __x ) { ensures true; } | |
45 | double j1(double __x ) { ensures true; } | |
46 | double jn( int __n,double __x ) { ensures true; } | |
47 | double y0(double __x ) { ensures true; } | |
48 | double y1(double __x ) { ensures true; } | |
49 | double yn( int __n,double __x ) { ensures true; } | |
50 | double erf(double __x ) { ensures true; } | |
51 | double erfc(double __x ) { ensures true; } | |
52 | double gamma(double __x ) { ensures true; } | |
53 | double lgamma(double __x ) { ensures true; } | |
54 | double hypot(double __x,double __y ) { ensures true; } | |
55 | | int : bool | isnan() { ensures true; } | |
56 | int matherr(struct exception *__x) { ensures true; } | |
57 | ||
58 | constant double M_E; | |
59 | constant double M_LOG2E; | |
60 | constant double M_LOG10E; | |
61 | constant double M_LN2; | |
62 | constant double M_LN10; | |
63 | constant double M_PI ; | |
64 | constant double M_PI_2 ; | |
65 | constant double M_PI_4 ; | |
66 | constant double M_1_PI ; | |
67 | constant double M_2_PI ; | |
68 | constant double M_2_SQRTPI ; | |
69 | constant double M_SQRT2 ; | |
70 | constant double M_SQRT1_2 ; | |
71 | ||
72 | constant double MAXFLOAT; | |
73 | constant double HUGE; | |
74 | ||
75 | enum { DOMAIN, SING, OVERFLOW, | |
76 | UNDERFLOW, TLOSS, PLOSS } _matherrors; | |
77 | ||
78 |