Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 1 | /*********************************************************** |
Guido van Rossum | 524b588 | 1995-01-04 19:10:35 +0000 | [diff] [blame] | 2 | Copyright 1991-1995 by Stichting Mathematisch Centrum, Amsterdam, |
| 3 | The Netherlands. |
Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 4 | |
| 5 | All Rights Reserved |
| 6 | |
| 7 | Permission to use, copy, modify, and distribute this software and its |
| 8 | documentation for any purpose and without fee is hereby granted, |
| 9 | provided that the above copyright notice appear in all copies and that |
| 10 | both that copyright notice and this permission notice appear in |
| 11 | supporting documentation, and that the names of Stichting Mathematisch |
| 12 | Centrum or CWI not be used in advertising or publicity pertaining to |
| 13 | distribution of the software without specific, written prior permission. |
| 14 | |
| 15 | STICHTING MATHEMATISCH CENTRUM DISCLAIMS ALL WARRANTIES WITH REGARD TO |
| 16 | THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND |
| 17 | FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH CENTRUM BE LIABLE |
| 18 | FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
| 19 | WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN |
| 20 | ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT |
| 21 | OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
| 22 | |
| 23 | ******************************************************************/ |
| 24 | |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 25 | /* Math module -- standard C math library functions, pi and e */ |
| 26 | |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 27 | #include "allobjects.h" |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 28 | |
Guido van Rossum | 801f473 | 1990-12-20 23:09:14 +0000 | [diff] [blame] | 29 | #include <errno.h> |
Guido van Rossum | 801f473 | 1990-12-20 23:09:14 +0000 | [diff] [blame] | 30 | |
Guido van Rossum | 234f942 | 1993-06-17 12:35:49 +0000 | [diff] [blame] | 31 | #define getdoublearg(v, a) getargs(v, "d", a) |
| 32 | #define get2doublearg(v, a, b) getargs(v, "(dd)", a, b) |
| 33 | |
Guido van Rossum | 6964f73 | 1995-03-01 10:34:29 +0000 | [diff] [blame] | 34 | #include "mymath.h" |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 35 | |
Guido van Rossum | b941868 | 1995-01-12 11:28:16 +0000 | [diff] [blame] | 36 | #ifndef __STDC__ |
| 37 | extern double fmod PROTO((double, double)); |
| 38 | extern double frexp PROTO((double, int *)); |
| 39 | extern double ldexp PROTO((double, int)); |
| 40 | extern double modf PROTO((double, double *)); |
| 41 | #endif |
| 42 | |
Guido van Rossum | 9caac91 | 1995-06-14 22:17:37 +0000 | [diff] [blame] | 43 | #if defined(HAVE_HYPOT) && !defined(NeXT) |
Guido van Rossum | b941868 | 1995-01-12 11:28:16 +0000 | [diff] [blame] | 44 | extern double hypot PROTO((double, double)); |
Guido van Rossum | 3206268 | 1996-01-12 01:39:11 +0000 | [diff] [blame] | 45 | #else |
| 46 | double hypot(x,y) |
| 47 | double x; |
| 48 | double y; |
| 49 | { |
| 50 | double yx; |
| 51 | |
| 52 | x = fabs(x); |
| 53 | y = fabs(y); |
| 54 | if (x < y) { |
| 55 | double temp = x; |
| 56 | x = y; |
| 57 | y = temp; |
| 58 | } |
| 59 | if (x == 0.) |
| 60 | return 0.; |
| 61 | else { |
| 62 | yx = y/x; |
| 63 | return x*sqrt(1.+yx*yx); |
| 64 | } |
| 65 | } |
Guido van Rossum | b941868 | 1995-01-12 11:28:16 +0000 | [diff] [blame] | 66 | #endif |
| 67 | |
Guido van Rossum | 9575a44 | 1993-04-07 14:06:14 +0000 | [diff] [blame] | 68 | #ifdef i860 |
| 69 | /* Cray APP has bogus definition of HUGE_VAL in <math.h> */ |
| 70 | #undef HUGE_VAL |
| 71 | #endif |
| 72 | |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 73 | #ifdef HUGE_VAL |
| 74 | #define CHECK(x) if (errno != 0) ; \ |
| 75 | else if (-HUGE_VAL <= (x) && (x) <= HUGE_VAL) ; \ |
| 76 | else errno = ERANGE |
| 77 | #else |
| 78 | #define CHECK(x) /* Don't know how to check */ |
| 79 | #endif |
| 80 | |
| 81 | static object * |
| 82 | math_error() |
| 83 | { |
| 84 | if (errno == EDOM) |
| 85 | err_setstr(ValueError, "math domain error"); |
| 86 | else if (errno == ERANGE) |
| 87 | err_setstr(OverflowError, "math range error"); |
| 88 | else |
Guido van Rossum | 444db07 | 1992-02-26 15:26:56 +0000 | [diff] [blame] | 89 | err_errno(ValueError); /* Unexpected math error */ |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 90 | return NULL; |
| 91 | } |
| 92 | |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 93 | static object * |
| 94 | math_1(args, func) |
| 95 | object *args; |
| 96 | double (*func) FPROTO((double)); |
| 97 | { |
| 98 | double x; |
| 99 | if (!getdoublearg(args, &x)) |
| 100 | return NULL; |
| 101 | errno = 0; |
| 102 | x = (*func)(x); |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 103 | CHECK(x); |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 104 | if (errno != 0) |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 105 | return math_error(); |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 106 | else |
| 107 | return newfloatobject(x); |
| 108 | } |
| 109 | |
| 110 | static object * |
| 111 | math_2(args, func) |
| 112 | object *args; |
| 113 | double (*func) FPROTO((double, double)); |
| 114 | { |
| 115 | double x, y; |
| 116 | if (!get2doublearg(args, &x, &y)) |
| 117 | return NULL; |
| 118 | errno = 0; |
| 119 | x = (*func)(x, y); |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 120 | CHECK(x); |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 121 | if (errno != 0) |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 122 | return math_error(); |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 123 | else |
| 124 | return newfloatobject(x); |
| 125 | } |
| 126 | |
| 127 | #define FUNC1(stubname, func) \ |
| 128 | static object * stubname(self, args) object *self, *args; { \ |
| 129 | return math_1(args, func); \ |
| 130 | } |
| 131 | |
| 132 | #define FUNC2(stubname, func) \ |
| 133 | static object * stubname(self, args) object *self, *args; { \ |
| 134 | return math_2(args, func); \ |
| 135 | } |
| 136 | |
| 137 | FUNC1(math_acos, acos) |
| 138 | FUNC1(math_asin, asin) |
| 139 | FUNC1(math_atan, atan) |
| 140 | FUNC2(math_atan2, atan2) |
| 141 | FUNC1(math_ceil, ceil) |
| 142 | FUNC1(math_cos, cos) |
| 143 | FUNC1(math_cosh, cosh) |
| 144 | FUNC1(math_exp, exp) |
| 145 | FUNC1(math_fabs, fabs) |
| 146 | FUNC1(math_floor, floor) |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 147 | FUNC2(math_fmod, fmod) |
Guido van Rossum | 411a8bd | 1994-10-20 22:00:28 +0000 | [diff] [blame] | 148 | FUNC2(math_hypot, hypot) |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 149 | FUNC1(math_log, log) |
| 150 | FUNC1(math_log10, log10) |
Guido van Rossum | 1492c27 | 1991-07-27 21:38:43 +0000 | [diff] [blame] | 151 | #ifdef MPW_3_1 /* This hack is needed for MPW 3.1 but not for 3.2 ... */ |
Guido van Rossum | 76f2f2e | 1991-06-24 22:23:10 +0000 | [diff] [blame] | 152 | FUNC2(math_pow, power) |
| 153 | #else |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 154 | FUNC2(math_pow, pow) |
Guido van Rossum | 76f2f2e | 1991-06-24 22:23:10 +0000 | [diff] [blame] | 155 | #endif |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 156 | FUNC1(math_sin, sin) |
| 157 | FUNC1(math_sinh, sinh) |
| 158 | FUNC1(math_sqrt, sqrt) |
| 159 | FUNC1(math_tan, tan) |
| 160 | FUNC1(math_tanh, tanh) |
| 161 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 162 | |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 163 | static object * |
| 164 | math_frexp(self, args) |
| 165 | object *self; |
| 166 | object *args; |
| 167 | { |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 168 | double x; |
| 169 | int i; |
| 170 | if (!getdoublearg(args, &x)) |
| 171 | return NULL; |
| 172 | errno = 0; |
| 173 | x = frexp(x, &i); |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 174 | CHECK(x); |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 175 | if (errno != 0) |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 176 | return math_error(); |
Guido van Rossum | e537240 | 1993-03-16 12:15:04 +0000 | [diff] [blame] | 177 | return mkvalue("(di)", x, i); |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 178 | } |
| 179 | |
| 180 | static object * |
| 181 | math_ldexp(self, args) |
| 182 | object *self; |
| 183 | object *args; |
| 184 | { |
| 185 | double x, y; |
| 186 | /* Cheat -- allow float as second argument */ |
| 187 | if (!get2doublearg(args, &x, &y)) |
| 188 | return NULL; |
| 189 | errno = 0; |
| 190 | x = ldexp(x, (int)y); |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 191 | CHECK(x); |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 192 | if (errno != 0) |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 193 | return math_error(); |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 194 | else |
| 195 | return newfloatobject(x); |
| 196 | } |
| 197 | |
| 198 | static object * |
| 199 | math_modf(self, args) |
| 200 | object *self; |
| 201 | object *args; |
| 202 | { |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 203 | double x, y; |
| 204 | if (!getdoublearg(args, &x)) |
| 205 | return NULL; |
| 206 | errno = 0; |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 207 | #ifdef MPW /* MPW C modf expects pointer to extended as second argument */ |
| 208 | { |
| 209 | extended e; |
| 210 | x = modf(x, &e); |
| 211 | y = e; |
| 212 | } |
| 213 | #else |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 214 | x = modf(x, &y); |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 215 | #endif |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 216 | CHECK(x); |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 217 | if (errno != 0) |
Guido van Rossum | 8832b62 | 1991-12-16 15:44:24 +0000 | [diff] [blame] | 218 | return math_error(); |
Guido van Rossum | e537240 | 1993-03-16 12:15:04 +0000 | [diff] [blame] | 219 | return mkvalue("(dd)", x, y); |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 220 | } |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 221 | |
| 222 | static struct methodlist math_methods[] = { |
| 223 | {"acos", math_acos}, |
| 224 | {"asin", math_asin}, |
| 225 | {"atan", math_atan}, |
| 226 | {"atan2", math_atan2}, |
| 227 | {"ceil", math_ceil}, |
| 228 | {"cos", math_cos}, |
| 229 | {"cosh", math_cosh}, |
| 230 | {"exp", math_exp}, |
| 231 | {"fabs", math_fabs}, |
| 232 | {"floor", math_floor}, |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 233 | {"fmod", math_fmod}, |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 234 | {"frexp", math_frexp}, |
Guido van Rossum | 411a8bd | 1994-10-20 22:00:28 +0000 | [diff] [blame] | 235 | {"hypot", math_hypot}, |
Guido van Rossum | d18ad58 | 1991-10-24 14:57:21 +0000 | [diff] [blame] | 236 | {"ldexp", math_ldexp}, |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 237 | {"log", math_log}, |
| 238 | {"log10", math_log10}, |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 239 | {"modf", math_modf}, |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 240 | {"pow", math_pow}, |
| 241 | {"sin", math_sin}, |
| 242 | {"sinh", math_sinh}, |
| 243 | {"sqrt", math_sqrt}, |
| 244 | {"tan", math_tan}, |
| 245 | {"tanh", math_tanh}, |
| 246 | {NULL, NULL} /* sentinel */ |
| 247 | }; |
| 248 | |
| 249 | void |
| 250 | initmath() |
| 251 | { |
| 252 | object *m, *d, *v; |
Guido van Rossum | 738d4dd | 1990-10-26 14:59:30 +0000 | [diff] [blame] | 253 | |
| 254 | m = initmodule("math", math_methods); |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 255 | d = getmoduledict(m); |
Guido van Rossum | eb38d24 | 1990-11-18 17:36:45 +0000 | [diff] [blame] | 256 | dictinsert(d, "pi", v = newfloatobject(atan(1.0) * 4.0)); |
| 257 | DECREF(v); |
| 258 | dictinsert(d, "e", v = newfloatobject(exp(1.0))); |
| 259 | DECREF(v); |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 260 | } |