1 /* Declarations for math functions.
2 Copyright (C) 1991, 92, 93, 95, 96, 97 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Library General Public License as
7 published by the Free Software Foundation; either version 2 of the
8 License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Library General Public License for more details.
15 You should have received a copy of the GNU Library General Public
16 License along with the GNU C Library; see the file COPYING.LIB. If not,
17 write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
18 Boston, MA 02111-1307, USA. */
21 * ISO C Standard: 4.5 MATHEMATICS <math.h>
31 /* Get machine-dependent HUGE_VAL value (returned on overflow).
32 On all IEEE754 machines, this is +Infinity. */
33 #include <bits/huge_val.h>
35 /* Get machine-dependent NAN value (returned for some domain errors). */
37 # include <bits/nan.h>
41 /* The file <bits/mathcalls.h> contains the prototypes for all the
42 actual math functions. These macros are used for those prototypes,
43 so we can easily declare each function as both `name' and `__name',
44 and can declare the float versions `namef' and `__namef'. */
46 #define __MATHCALL(function,suffix, args) \
47 __MATHDECL (_Mdouble_,function,suffix, args)
48 #define __MATHDECL(type, function,suffix, args) \
49 __MATHDECL_1(type, function,suffix, args); \
50 __MATHDECL_1(type, __CONCAT(__,function),suffix, args)
51 #define __MATHCALLX(function,suffix, args, attrib) \
52 __MATHDECLX (_Mdouble_,function,suffix, args, attrib)
53 #define __MATHDECLX(type, function,suffix, args, attrib) \
54 __MATHDECL_1(type, function,suffix, args) __attribute__ (attrib); \
55 __MATHDECL_1(type, __CONCAT(__,function),suffix, args) __attribute__ (attrib)
56 #define __MATHDECL_1(type, function,suffix, args) \
57 extern type __MATH_PRECNAME(function,suffix) args
59 #define _Mdouble_ double
60 #define __MATH_PRECNAME(name,r) __CONCAT(name,r)
61 #include <bits/mathcalls.h>
63 #undef __MATH_PRECNAME
65 #if defined __USE_MISC || defined __USE_ISOC9X
68 /* Include the file of declarations again, this time using `float'
69 instead of `double' and appending f to each function name. */
72 # define _Mfloat_ float
74 #define _Mdouble_ _Mfloat_
76 # define __MATH_PRECNAME(name,r) name##f##r
78 # define __MATH_PRECNAME(name,r) name/**/f/**/r
80 #include <bits/mathcalls.h>
82 #undef __MATH_PRECNAME
84 #if __STDC__ - 0 || __GNUC__ - 0
85 /* Include the file of declarations again, this time using `long double'
86 instead of `double' and appending l to each function name. */
88 # ifndef _Mlong_double_
89 # define _Mlong_double_ long double
91 # define _Mdouble_ _Mlong_double_
93 # define __MATH_PRECNAME(name,r) name##l##r
95 # define __MATH_PRECNAME(name,r) name/**/l/**/r
97 # include <bits/mathcalls.h>
99 # undef __MATH_PRECNAME
101 #endif /* __STDC__ || __GNUC__ */
103 #endif /* Use misc or ISO C 9X. */
109 #if defined __USE_MISC || defined __USE_XOPEN || defined __USE_ISOC9X
110 /* This variable is used by `gamma' and `lgamma'. */
115 /* ISO C 9X defines some generic macros which work on any data type. */
118 /* Get the architecture specific values describing the floating-point
119 evaluation. The following symbols will get defined:
121 float_t floating-point type at least as wide as `float' used
122 to evaluate `float' expressions
123 double_t floating-point type at least as wide as `double' used
124 to evaluate `double' expressions
128 0 if `float_t' is `float' and `double_t' is `double'
129 1 if `float_t' and `double_t' are `double'
130 2 if `float_t' and `double_t' are `long double'
131 else `float_t' and `double_t' are unspecified
133 INFINITY representation of the infinity value of type `float_t'
135 # include <bits/mathdef.h>
137 /* All floating-point numbers can be put in one of these categories. */
141 # define FP_NAN FP_NAN
143 # define FP_INFINITE FP_INFINITE
145 # define FP_ZERO FP_ZERO
147 # define FP_SUBNORMAL FP_SUBNORMAL
149 # define FP_NORMAL FP_NORMAL
152 /* Return number of classification appropriate for X. */
153 # define fpclassify(x) \
154 (sizeof (x) == sizeof (float) ? \
156 : sizeof (x) == sizeof (double) ? \
157 __fpclassify (x) : __fpclassifyl (x))
159 /* Return nonzero value if sign of X is negative. */
160 # define signbit(x) \
161 (sizeof (x) == sizeof (float) ? \
163 : sizeof (x) == sizeof (double) ? \
164 __signbit (x) : __signbitl (x))
166 /* Return nonzero value if X is not +-Inf or NaN. */
167 # define isfinite(x) \
168 (sizeof (x) == sizeof (float) ? \
170 : sizeof (x) == sizeof (double) ? \
171 __finite (x) : __finitel (x))
173 /* Return nonzero value if X is neither zero, subnormal, Inf, nor NaN. */
174 # define isnormal(x) (fpclassify (x) == FP_NORMAL)
176 /* Return nonzero value if X is a NaN. We could use `fpclassify' but
177 we already have this functions `__isnan' and it is faster. */
179 (sizeof (x) == sizeof (float) ? \
181 : sizeof (x) == sizeof (double) ? \
182 __isnan (x) : __isnanl (x))
185 /* Conversion functions. */
187 /* Round X to nearest integral value according to current rounding
189 extern long int lrint __P ((long double __x));
190 extern long long int llrint __P ((long double __x));
192 /* Round X to nearest integral value, rounding halfway cases away from
194 extern long int lround __P ((long double __x));
195 extern long long int llround __P ((long double __x));
197 #endif /* Use ISO C 9X. */
200 /* Support for various different standard error handling behaviors. */
202 typedef enum { _IEEE_ = -1, _SVID_, _XOPEN_, _POSIX_ } _LIB_VERSION_TYPE;
204 /* This variable can be changed at run-time to any of the values above to
205 affect floating point error handling behavior (it may also be necessary
206 to change the hardware FPU exception settings). */
207 extern _LIB_VERSION_TYPE _LIB_VERSION;
212 /* In SVID error handling, `matherr' is called with this description
213 of the exceptional condition.
215 We have a problem when using C++ since `exception' is reserved in
231 extern int __matherr __P ((struct __exception *__exc));
232 extern int matherr __P ((struct __exception *__exc));
234 extern int __matherr __P ((struct exception *__exc));
235 extern int matherr __P ((struct exception *__exc));
238 # define X_TLOSS 1.41484755040568800000e+16
240 /* Types of exceptions in the `type' field. */
248 /* SVID mode specifies returning this large value instead of infinity. */
249 # define HUGE FLT_MAX
250 # include <float.h> /* Defines FLT_MAX. */
255 /* X/Open wants another strange constant. */
256 # define MAXFLOAT FLT_MAX
265 /* Some useful constants. */
266 # define M_E _Mldbl(2.7182818284590452354) /* e */
267 # define M_LOG2E _Mldbl(1.4426950408889634074) /* log 2e */
268 # define M_LOG10E _Mldbl(0.43429448190325182765) /* log 10e */
269 # define M_LN2 _Mldbl(0.69314718055994530942) /* log e2 */
270 # define M_LN10 _Mldbl(2.30258509299404568402) /* log e10 */
271 # define M_PI _Mldbl(3.14159265358979323846) /* pi */
272 # define M_PI_2 _Mldbl(1.57079632679489661923) /* pi/2 */
273 # define M_PI_4 _Mldbl(0.78539816339744830962) /* pi/4 */
274 # define M_1_PI _Mldbl(0.31830988618379067154) /* 1/pi */
275 # define M_2_PI _Mldbl(0.63661977236758134308) /* 2/pi */
276 # define M_2_SQRTPI _Mldbl(1.12837916709551257390) /* 2/sqrt(pi) */
277 # define M_SQRT2 _Mldbl(1.41421356237309504880) /* sqrt(2) */
278 # define M_SQRT1_2 _Mldbl(0.70710678118654752440) /* 1/sqrt(2) */
282 /* Our constants might specify more precision than `double' can represent.
283 Use `long double' constants in standard and GNU C, where they are
284 supported and the cast to `double'.
286 If the constants are use in code which does not use prototypes, one
287 might get problems if a function takes a `double' argument and any
288 of the constants are provided as the argument. In this case, cast
289 the argument to `double'.
291 Please note we define the macro even if the constants are not defined.
292 This helps us to use the macros in other places. */
293 #if __STDC__ - 0 || __GNUC__ - 0
294 # define _Mldbl(x) x##L
295 #else /* Traditional C. */
297 #endif /* Standard or GNU C. */
300 /* Get machine-dependent inline versions (if there are any). */
301 #if (!defined __NO_MATH_INLINES && defined __OPTIMIZE__) \
302 || defined __LIBC_M81_MATH_INLINES
303 # include <bits/mathinline.h>
308 /* ISO C 9X defines some macros to compare number while taking care
309 for unordered numbers. Since many FPUs provide special
310 instructions to support these and these tests are defined in
311 <bits/mathinline.h>, we define the macros at this late point. */
313 /* Return nonzero value if X is greater than Y. */
315 # define isgreater(x, y) (!isunordered ((x), (y)) && (x) > (y))
318 /* Return nonzero value if X is greater than or equal to Y. */
319 # ifndef isgreaterequal
320 # define isgreaterequal(x, y) (!isunordered ((x), (y)) && (x) >= (y))
323 /* Return nonzero value if X is less than Y. */
325 # define isless(x, y) (!isunordered ((x), (y)) && (x) < (y))
328 /* Return nonzero value if X is less than or equal to Y. */
330 # define islessequal(x, y) (!isunordered ((x), (y)) && (x) <= (y))
333 /* Return nonzero value if either X is less than Y or Y is less than X. */
334 # ifndef islessgreater
335 # define islessgreater(x, y) \
336 (!isunordered ((x), (y)) && ((x) < (y) || (y) < (x)))
339 /* Return nonzero value if arguments are unordered. */
341 # define isunordered(x, y) \
342 (fpclassify (x) == FP_NAN || fpclassify (y) == FP_NAN)