blob: 313827b211c20ff102a6e1ca66c7c7421038b4b4 [file] [log] [blame]
Guido van Rossum71aa32f1996-01-12 01:34:57 +00001/* Complex math module */
2
3/* much code borrowed from mathmodule.c */
4
Roger E. Masse24070ca1996-12-09 22:59:53 +00005#include "Python.h"
Guido van Rossum71aa32f1996-01-12 01:34:57 +00006
Guido van Rossum71aa32f1996-01-12 01:34:57 +00007#include "mymath.h"
8
9#ifdef i860
10/* Cray APP has bogus definition of HUGE_VAL in <math.h> */
11#undef HUGE_VAL
12#endif
13
14#ifdef HUGE_VAL
15#define CHECK(x) if (errno != 0) ; \
16 else if (-HUGE_VAL <= (x) && (x) <= HUGE_VAL) ; \
17 else errno = ERANGE
18#else
19#define CHECK(x) /* Don't know how to check */
20#endif
21
22#ifndef M_PI
23#define M_PI (3.141592653589793239)
24#endif
25
26/* First, the C functions that do the real work */
27
28/* constants */
Guido van Rossum9e720e31996-07-21 02:31:35 +000029static Py_complex c_1 = {1., 0.};
30static Py_complex c_half = {0.5, 0.};
31static Py_complex c_i = {0., 1.};
32static Py_complex c_i2 = {0., 0.5};
Guido van Rossuma376cc51996-12-05 23:43:35 +000033#if 0
Guido van Rossum9e720e31996-07-21 02:31:35 +000034static Py_complex c_mi = {0., -1.};
35static Py_complex c_pi2 = {M_PI/2., 0.};
Guido van Rossuma376cc51996-12-05 23:43:35 +000036#endif
Guido van Rossum71aa32f1996-01-12 01:34:57 +000037
38/* forward declarations */
Guido van Rossum9e720e31996-07-21 02:31:35 +000039staticforward Py_complex c_log();
40staticforward Py_complex c_prodi();
41staticforward Py_complex c_sqrt();
Guido van Rossum71aa32f1996-01-12 01:34:57 +000042
43
Guido van Rossum9e720e31996-07-21 02:31:35 +000044static Py_complex c_acos(x)
45 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +000046{
47 return c_neg(c_prodi(c_log(c_sum(x,c_prod(c_i,
48 c_sqrt(c_diff(c_1,c_prod(x,x))))))));
49}
50
Guido van Rossumc6e22901998-12-04 19:26:43 +000051static char c_acos_doc [] =
52"acos(x)\n\
53\n\
54Return the arc cosine of x.";
55
56
Guido van Rossum9e720e31996-07-21 02:31:35 +000057static Py_complex c_acosh(x)
58 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +000059{
Guido van Rossumf385c5e2000-06-30 02:29:22 +000060 Py_complex z;
61 z = c_sqrt(c_half);
62 z = c_log(c_prod(z, c_sum(c_sqrt(c_sum(x,c_1)),
63 c_sqrt(c_diff(x,c_1)))));
64 return c_sum(z, z);
Guido van Rossum71aa32f1996-01-12 01:34:57 +000065}
66
Guido van Rossumc6e22901998-12-04 19:26:43 +000067static char c_acosh_doc [] =
68"acosh(x)\n\
69\n\
Fred Drake0e11c491999-03-16 14:17:48 +000070Return the hyperbolic arccosine of x.";
Guido van Rossumc6e22901998-12-04 19:26:43 +000071
72
Guido van Rossum9e720e31996-07-21 02:31:35 +000073static Py_complex c_asin(x)
74 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +000075{
Guido van Rossumf385c5e2000-06-30 02:29:22 +000076 Py_complex z;
77 z = c_sqrt(c_half);
78 z = c_log(c_prod(z, c_sum(c_sqrt(c_sum(x,c_i)),
79 c_sqrt(c_diff(x,c_i)))));
80 return c_sum(z, z);
Guido van Rossum71aa32f1996-01-12 01:34:57 +000081}
82
Guido van Rossumc6e22901998-12-04 19:26:43 +000083static char c_asin_doc [] =
84"asin(x)\n\
85\n\
86Return the arc sine of x.";
87
88
Guido van Rossum9e720e31996-07-21 02:31:35 +000089static Py_complex c_asinh(x)
90 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +000091{
Guido van Rossum11a50711999-01-14 19:11:11 +000092 /* Break up long expression for WATCOM */
93 Py_complex z;
Guido van Rossumf385c5e2000-06-30 02:29:22 +000094 z = c_sum(c_1,c_prod(x, x));
95 return c_log(c_sum(c_sqrt(z), x));
Guido van Rossum71aa32f1996-01-12 01:34:57 +000096}
97
Guido van Rossumc6e22901998-12-04 19:26:43 +000098static char c_asinh_doc [] =
99"asinh(x)\n\
100\n\
101Return the hyperbolic arc sine of x.";
102
103
Guido van Rossum9e720e31996-07-21 02:31:35 +0000104static Py_complex c_atan(x)
105 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000106{
107 return c_prod(c_i2,c_log(c_quot(c_sum(c_i,x),c_diff(c_i,x))));
108}
109
Guido van Rossumc6e22901998-12-04 19:26:43 +0000110static char c_atan_doc [] =
111"atan(x)\n\
112\n\
113Return the arc tangent of x.";
114
115
Guido van Rossum9e720e31996-07-21 02:31:35 +0000116static Py_complex c_atanh(x)
117 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000118{
119 return c_prod(c_half,c_log(c_quot(c_sum(c_1,x),c_diff(c_1,x))));
120}
121
Guido van Rossumc6e22901998-12-04 19:26:43 +0000122static char c_atanh_doc [] =
123"atanh(x)\n\
124\n\
125Return the hyperbolic arc tangent of x.";
126
127
Guido van Rossum9e720e31996-07-21 02:31:35 +0000128static Py_complex c_cos(x)
129 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000130{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000131 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000132 r.real = cos(x.real)*cosh(x.imag);
133 r.imag = -sin(x.real)*sinh(x.imag);
134 return r;
135}
136
Guido van Rossumc6e22901998-12-04 19:26:43 +0000137static char c_cos_doc [] =
138"cos(x)\n\
139\n\
140Return the cosine of x.";
141
142
Guido van Rossum9e720e31996-07-21 02:31:35 +0000143static Py_complex c_cosh(x)
144 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000145{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000146 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000147 r.real = cos(x.imag)*cosh(x.real);
148 r.imag = sin(x.imag)*sinh(x.real);
149 return r;
150}
151
Guido van Rossumc6e22901998-12-04 19:26:43 +0000152static char c_cosh_doc [] =
153"cosh(x)\n\
154\n\
155Return the hyperbolic cosine of x.";
156
157
Guido van Rossum9e720e31996-07-21 02:31:35 +0000158static Py_complex c_exp(x)
159 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000160{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000161 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000162 double l = exp(x.real);
163 r.real = l*cos(x.imag);
164 r.imag = l*sin(x.imag);
165 return r;
166}
167
Guido van Rossumc6e22901998-12-04 19:26:43 +0000168static char c_exp_doc [] =
169"exp(x)\n\
170\n\
171Return the exponential value e**x.";
172
173
Guido van Rossum9e720e31996-07-21 02:31:35 +0000174static Py_complex c_log(x)
175 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000176{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000177 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000178 double l = hypot(x.real,x.imag);
179 r.imag = atan2(x.imag, x.real);
180 r.real = log(l);
181 return r;
182}
183
Guido van Rossumc6e22901998-12-04 19:26:43 +0000184static char c_log_doc [] =
185"log(x)\n\
186\n\
187Return the natural logarithm of x.";
188
189
Guido van Rossum9e720e31996-07-21 02:31:35 +0000190static Py_complex c_log10(x)
191 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000192{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000193 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000194 double l = hypot(x.real,x.imag);
195 r.imag = atan2(x.imag, x.real)/log(10.);
196 r.real = log10(l);
197 return r;
198}
199
Guido van Rossumc6e22901998-12-04 19:26:43 +0000200static char c_log10_doc [] =
201"log10(x)\n\
202\n\
203Return the base-10 logarithm of x.";
204
205
206/* internal function not available from Python */
Guido van Rossum9e720e31996-07-21 02:31:35 +0000207static Py_complex c_prodi(x)
208 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000209{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000210 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000211 r.real = -x.imag;
212 r.imag = x.real;
213 return r;
214}
215
Guido van Rossumc6e22901998-12-04 19:26:43 +0000216
Guido van Rossum9e720e31996-07-21 02:31:35 +0000217static Py_complex c_sin(x)
218 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000219{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000220 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000221 r.real = sin(x.real)*cosh(x.imag);
222 r.imag = cos(x.real)*sinh(x.imag);
223 return r;
224}
225
Guido van Rossumc6e22901998-12-04 19:26:43 +0000226static char c_sin_doc [] =
227"sin(x)\n\
228\n\
229Return the sine of x.";
230
231
Guido van Rossum9e720e31996-07-21 02:31:35 +0000232static Py_complex c_sinh(x)
233 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000234{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000235 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000236 r.real = cos(x.imag)*sinh(x.real);
237 r.imag = sin(x.imag)*cosh(x.real);
238 return r;
239}
240
Guido van Rossumc6e22901998-12-04 19:26:43 +0000241static char c_sinh_doc [] =
242"sinh(x)\n\
243\n\
244Return the hyperbolic sine of x.";
245
246
Guido van Rossum9e720e31996-07-21 02:31:35 +0000247static Py_complex c_sqrt(x)
248 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000249{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000250 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000251 double s,d;
252 if (x.real == 0. && x.imag == 0.)
253 r = x;
254 else {
255 s = sqrt(0.5*(fabs(x.real) + hypot(x.real,x.imag)));
256 d = 0.5*x.imag/s;
257 if (x.real > 0.) {
258 r.real = s;
259 r.imag = d;
260 }
261 else if (x.imag >= 0.) {
262 r.real = d;
263 r.imag = s;
264 }
265 else {
266 r.real = -d;
267 r.imag = -s;
268 }
269 }
270 return r;
271}
272
Guido van Rossumc6e22901998-12-04 19:26:43 +0000273static char c_sqrt_doc [] =
274"sqrt(x)\n\
275\n\
276Return the square root of x.";
277
278
Guido van Rossum9e720e31996-07-21 02:31:35 +0000279static Py_complex c_tan(x)
280 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000281{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000282 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000283 double sr,cr,shi,chi;
284 double rs,is,rc,ic;
285 double d;
286 sr = sin(x.real);
287 cr = cos(x.real);
288 shi = sinh(x.imag);
289 chi = cosh(x.imag);
290 rs = sr*chi;
291 is = cr*shi;
292 rc = cr*chi;
293 ic = -sr*shi;
294 d = rc*rc + ic*ic;
295 r.real = (rs*rc+is*ic)/d;
296 r.imag = (is*rc-rs*ic)/d;
297 return r;
298}
299
Guido van Rossumc6e22901998-12-04 19:26:43 +0000300static char c_tan_doc [] =
301"tan(x)\n\
302\n\
303Return the tangent of x.";
304
305
Guido van Rossum9e720e31996-07-21 02:31:35 +0000306static Py_complex c_tanh(x)
307 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000308{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000309 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000310 double si,ci,shr,chr;
311 double rs,is,rc,ic;
312 double d;
313 si = sin(x.imag);
314 ci = cos(x.imag);
315 shr = sinh(x.real);
316 chr = cosh(x.real);
317 rs = ci*shr;
318 is = si*chr;
319 rc = ci*chr;
320 ic = si*shr;
321 d = rc*rc + ic*ic;
322 r.real = (rs*rc+is*ic)/d;
323 r.imag = (is*rc-rs*ic)/d;
324 return r;
325}
326
Guido van Rossumc6e22901998-12-04 19:26:43 +0000327static char c_tanh_doc [] =
328"tanh(x)\n\
329\n\
330Return the hyperbolic tangent of x.";
331
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000332
333/* And now the glue to make them available from Python: */
334
Roger E. Masse24070ca1996-12-09 22:59:53 +0000335static PyObject *
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000336math_error()
337{
338 if (errno == EDOM)
Roger E. Masse24070ca1996-12-09 22:59:53 +0000339 PyErr_SetString(PyExc_ValueError, "math domain error");
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000340 else if (errno == ERANGE)
Roger E. Masse24070ca1996-12-09 22:59:53 +0000341 PyErr_SetString(PyExc_OverflowError, "math range error");
342 else /* Unexpected math error */
343 PyErr_SetFromErrno(PyExc_ValueError);
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000344 return NULL;
345}
346
Roger E. Masse24070ca1996-12-09 22:59:53 +0000347static PyObject *
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000348math_1(args, func)
Roger E. Masse24070ca1996-12-09 22:59:53 +0000349 PyObject *args;
350 Py_complex (*func) Py_FPROTO((Py_complex));
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000351{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000352 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000353 if (!PyArg_ParseTuple(args, "D", &x))
354 return NULL;
355 errno = 0;
Guido van Rossum52fa3a61997-02-14 22:59:58 +0000356 PyFPE_START_PROTECT("complex function", return 0)
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000357 x = (*func)(x);
Guido van Rossum45b83911997-03-14 04:32:50 +0000358 PyFPE_END_PROTECT(x)
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000359 CHECK(x.real);
360 CHECK(x.imag);
361 if (errno != 0)
362 return math_error();
363 else
Roger E. Masse24070ca1996-12-09 22:59:53 +0000364 return PyComplex_FromCComplex(x);
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000365}
366
367#define FUNC1(stubname, func) \
Roger E. Masse24070ca1996-12-09 22:59:53 +0000368 static PyObject * stubname(self, args) PyObject *self, *args; { \
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000369 return math_1(args, func); \
370 }
371
372FUNC1(cmath_acos, c_acos)
373FUNC1(cmath_acosh, c_acosh)
374FUNC1(cmath_asin, c_asin)
375FUNC1(cmath_asinh, c_asinh)
376FUNC1(cmath_atan, c_atan)
377FUNC1(cmath_atanh, c_atanh)
378FUNC1(cmath_cos, c_cos)
379FUNC1(cmath_cosh, c_cosh)
380FUNC1(cmath_exp, c_exp)
381FUNC1(cmath_log, c_log)
382FUNC1(cmath_log10, c_log10)
383FUNC1(cmath_sin, c_sin)
384FUNC1(cmath_sinh, c_sinh)
385FUNC1(cmath_sqrt, c_sqrt)
386FUNC1(cmath_tan, c_tan)
387FUNC1(cmath_tanh, c_tanh)
388
389
Guido van Rossumc6e22901998-12-04 19:26:43 +0000390static char module_doc [] =
391"This module is always available. It provides access to mathematical\n\
392functions for complex numbers.";
393
394
Roger E. Masse24070ca1996-12-09 22:59:53 +0000395static PyMethodDef cmath_methods[] = {
Guido van Rossumc6e22901998-12-04 19:26:43 +0000396 {"acos", cmath_acos, 1, c_acos_doc},
397 {"acosh", cmath_acosh, 1, c_acosh_doc},
398 {"asin", cmath_asin, 1, c_asin_doc},
399 {"asinh", cmath_asinh, 1, c_asinh_doc},
400 {"atan", cmath_atan, 1, c_atan_doc},
401 {"atanh", cmath_atanh, 1, c_atanh_doc},
402 {"cos", cmath_cos, 1, c_cos_doc},
403 {"cosh", cmath_cosh, 1, c_cosh_doc},
404 {"exp", cmath_exp, 1, c_exp_doc},
405 {"log", cmath_log, 1, c_log_doc},
406 {"log10", cmath_log10, 1, c_log10_doc},
407 {"sin", cmath_sin, 1, c_sin_doc},
408 {"sinh", cmath_sinh, 1, c_sinh_doc},
409 {"sqrt", cmath_sqrt, 1, c_sqrt_doc},
410 {"tan", cmath_tan, 1, c_tan_doc},
411 {"tanh", cmath_tanh, 1, c_tanh_doc},
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000412 {NULL, NULL} /* sentinel */
413};
414
Guido van Rossum3886bb61998-12-04 18:50:17 +0000415DL_EXPORT(void)
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000416initcmath()
417{
Roger E. Masse24070ca1996-12-09 22:59:53 +0000418 PyObject *m, *d, *v;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000419
Guido van Rossumc6e22901998-12-04 19:26:43 +0000420 m = Py_InitModule3("cmath", cmath_methods, module_doc);
Roger E. Masse24070ca1996-12-09 22:59:53 +0000421 d = PyModule_GetDict(m);
422 PyDict_SetItemString(d, "pi",
423 v = PyFloat_FromDouble(atan(1.0) * 4.0));
424 Py_DECREF(v);
425 PyDict_SetItemString(d, "e", v = PyFloat_FromDouble(exp(1.0)));
426 Py_DECREF(v);
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000427}