blob: 45dad11e060769d210d3f7db3a0897ca7387b232 [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{
60 return c_log(c_sum(x,c_prod(c_i,
61 c_sqrt(c_diff(c_1,c_prod(x,x))))));
62}
63
Guido van Rossumc6e22901998-12-04 19:26:43 +000064static char c_acosh_doc [] =
65"acosh(x)\n\
66\n\
67Return the hyperbolic cosine of x.";
68
69
Guido van Rossum9e720e31996-07-21 02:31:35 +000070static Py_complex c_asin(x)
71 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +000072{
73 return c_neg(c_prodi(c_log(c_sum(c_prod(c_i,x),
74 c_sqrt(c_diff(c_1,c_prod(x,x)))))));
75}
76
Guido van Rossumc6e22901998-12-04 19:26:43 +000077static char c_asin_doc [] =
78"asin(x)\n\
79\n\
80Return the arc sine of x.";
81
82
Guido van Rossum9e720e31996-07-21 02:31:35 +000083static Py_complex c_asinh(x)
84 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +000085{
86 return c_neg(c_log(c_diff(c_sqrt(c_sum(c_1,c_prod(x,x))),x)));
87}
88
Guido van Rossumc6e22901998-12-04 19:26:43 +000089static char c_asinh_doc [] =
90"asinh(x)\n\
91\n\
92Return the hyperbolic arc sine of x.";
93
94
Guido van Rossum9e720e31996-07-21 02:31:35 +000095static Py_complex c_atan(x)
96 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +000097{
98 return c_prod(c_i2,c_log(c_quot(c_sum(c_i,x),c_diff(c_i,x))));
99}
100
Guido van Rossumc6e22901998-12-04 19:26:43 +0000101static char c_atan_doc [] =
102"atan(x)\n\
103\n\
104Return the arc tangent of x.";
105
106
Guido van Rossum9e720e31996-07-21 02:31:35 +0000107static Py_complex c_atanh(x)
108 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000109{
110 return c_prod(c_half,c_log(c_quot(c_sum(c_1,x),c_diff(c_1,x))));
111}
112
Guido van Rossumc6e22901998-12-04 19:26:43 +0000113static char c_atanh_doc [] =
114"atanh(x)\n\
115\n\
116Return the hyperbolic arc tangent of x.";
117
118
Guido van Rossum9e720e31996-07-21 02:31:35 +0000119static Py_complex c_cos(x)
120 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000121{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000122 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000123 r.real = cos(x.real)*cosh(x.imag);
124 r.imag = -sin(x.real)*sinh(x.imag);
125 return r;
126}
127
Guido van Rossumc6e22901998-12-04 19:26:43 +0000128static char c_cos_doc [] =
129"cos(x)\n\
130\n\
131Return the cosine of x.";
132
133
Guido van Rossum9e720e31996-07-21 02:31:35 +0000134static Py_complex c_cosh(x)
135 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000136{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000137 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000138 r.real = cos(x.imag)*cosh(x.real);
139 r.imag = sin(x.imag)*sinh(x.real);
140 return r;
141}
142
Guido van Rossumc6e22901998-12-04 19:26:43 +0000143static char c_cosh_doc [] =
144"cosh(x)\n\
145\n\
146Return the hyperbolic cosine of x.";
147
148
Guido van Rossum9e720e31996-07-21 02:31:35 +0000149static Py_complex c_exp(x)
150 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000151{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000152 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000153 double l = exp(x.real);
154 r.real = l*cos(x.imag);
155 r.imag = l*sin(x.imag);
156 return r;
157}
158
Guido van Rossumc6e22901998-12-04 19:26:43 +0000159static char c_exp_doc [] =
160"exp(x)\n\
161\n\
162Return the exponential value e**x.";
163
164
Guido van Rossum9e720e31996-07-21 02:31:35 +0000165static Py_complex c_log(x)
166 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000167{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000168 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000169 double l = hypot(x.real,x.imag);
170 r.imag = atan2(x.imag, x.real);
171 r.real = log(l);
172 return r;
173}
174
Guido van Rossumc6e22901998-12-04 19:26:43 +0000175static char c_log_doc [] =
176"log(x)\n\
177\n\
178Return the natural logarithm of x.";
179
180
Guido van Rossum9e720e31996-07-21 02:31:35 +0000181static Py_complex c_log10(x)
182 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000183{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000184 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000185 double l = hypot(x.real,x.imag);
186 r.imag = atan2(x.imag, x.real)/log(10.);
187 r.real = log10(l);
188 return r;
189}
190
Guido van Rossumc6e22901998-12-04 19:26:43 +0000191static char c_log10_doc [] =
192"log10(x)\n\
193\n\
194Return the base-10 logarithm of x.";
195
196
197/* internal function not available from Python */
Guido van Rossum9e720e31996-07-21 02:31:35 +0000198static Py_complex c_prodi(x)
199 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000200{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000201 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000202 r.real = -x.imag;
203 r.imag = x.real;
204 return r;
205}
206
Guido van Rossumc6e22901998-12-04 19:26:43 +0000207
Guido van Rossum9e720e31996-07-21 02:31:35 +0000208static Py_complex c_sin(x)
209 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000210{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000211 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000212 r.real = sin(x.real)*cosh(x.imag);
213 r.imag = cos(x.real)*sinh(x.imag);
214 return r;
215}
216
Guido van Rossumc6e22901998-12-04 19:26:43 +0000217static char c_sin_doc [] =
218"sin(x)\n\
219\n\
220Return the sine of x.";
221
222
Guido van Rossum9e720e31996-07-21 02:31:35 +0000223static Py_complex c_sinh(x)
224 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000225{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000226 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000227 r.real = cos(x.imag)*sinh(x.real);
228 r.imag = sin(x.imag)*cosh(x.real);
229 return r;
230}
231
Guido van Rossumc6e22901998-12-04 19:26:43 +0000232static char c_sinh_doc [] =
233"sinh(x)\n\
234\n\
235Return the hyperbolic sine of x.";
236
237
Guido van Rossum9e720e31996-07-21 02:31:35 +0000238static Py_complex c_sqrt(x)
239 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000240{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000241 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000242 double s,d;
243 if (x.real == 0. && x.imag == 0.)
244 r = x;
245 else {
246 s = sqrt(0.5*(fabs(x.real) + hypot(x.real,x.imag)));
247 d = 0.5*x.imag/s;
248 if (x.real > 0.) {
249 r.real = s;
250 r.imag = d;
251 }
252 else if (x.imag >= 0.) {
253 r.real = d;
254 r.imag = s;
255 }
256 else {
257 r.real = -d;
258 r.imag = -s;
259 }
260 }
261 return r;
262}
263
Guido van Rossumc6e22901998-12-04 19:26:43 +0000264static char c_sqrt_doc [] =
265"sqrt(x)\n\
266\n\
267Return the square root of x.";
268
269
Guido van Rossum9e720e31996-07-21 02:31:35 +0000270static Py_complex c_tan(x)
271 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000272{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000273 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000274 double sr,cr,shi,chi;
275 double rs,is,rc,ic;
276 double d;
277 sr = sin(x.real);
278 cr = cos(x.real);
279 shi = sinh(x.imag);
280 chi = cosh(x.imag);
281 rs = sr*chi;
282 is = cr*shi;
283 rc = cr*chi;
284 ic = -sr*shi;
285 d = rc*rc + ic*ic;
286 r.real = (rs*rc+is*ic)/d;
287 r.imag = (is*rc-rs*ic)/d;
288 return r;
289}
290
Guido van Rossumc6e22901998-12-04 19:26:43 +0000291static char c_tan_doc [] =
292"tan(x)\n\
293\n\
294Return the tangent of x.";
295
296
Guido van Rossum9e720e31996-07-21 02:31:35 +0000297static Py_complex c_tanh(x)
298 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000299{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000300 Py_complex r;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000301 double si,ci,shr,chr;
302 double rs,is,rc,ic;
303 double d;
304 si = sin(x.imag);
305 ci = cos(x.imag);
306 shr = sinh(x.real);
307 chr = cosh(x.real);
308 rs = ci*shr;
309 is = si*chr;
310 rc = ci*chr;
311 ic = si*shr;
312 d = rc*rc + ic*ic;
313 r.real = (rs*rc+is*ic)/d;
314 r.imag = (is*rc-rs*ic)/d;
315 return r;
316}
317
Guido van Rossumc6e22901998-12-04 19:26:43 +0000318static char c_tanh_doc [] =
319"tanh(x)\n\
320\n\
321Return the hyperbolic tangent of x.";
322
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000323
324/* And now the glue to make them available from Python: */
325
Roger E. Masse24070ca1996-12-09 22:59:53 +0000326static PyObject *
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000327math_error()
328{
329 if (errno == EDOM)
Roger E. Masse24070ca1996-12-09 22:59:53 +0000330 PyErr_SetString(PyExc_ValueError, "math domain error");
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000331 else if (errno == ERANGE)
Roger E. Masse24070ca1996-12-09 22:59:53 +0000332 PyErr_SetString(PyExc_OverflowError, "math range error");
333 else /* Unexpected math error */
334 PyErr_SetFromErrno(PyExc_ValueError);
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000335 return NULL;
336}
337
Roger E. Masse24070ca1996-12-09 22:59:53 +0000338static PyObject *
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000339math_1(args, func)
Roger E. Masse24070ca1996-12-09 22:59:53 +0000340 PyObject *args;
341 Py_complex (*func) Py_FPROTO((Py_complex));
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000342{
Guido van Rossum9e720e31996-07-21 02:31:35 +0000343 Py_complex x;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000344 if (!PyArg_ParseTuple(args, "D", &x))
345 return NULL;
346 errno = 0;
Guido van Rossum52fa3a61997-02-14 22:59:58 +0000347 PyFPE_START_PROTECT("complex function", return 0)
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000348 x = (*func)(x);
Guido van Rossum45b83911997-03-14 04:32:50 +0000349 PyFPE_END_PROTECT(x)
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000350 CHECK(x.real);
351 CHECK(x.imag);
352 if (errno != 0)
353 return math_error();
354 else
Roger E. Masse24070ca1996-12-09 22:59:53 +0000355 return PyComplex_FromCComplex(x);
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000356}
357
358#define FUNC1(stubname, func) \
Roger E. Masse24070ca1996-12-09 22:59:53 +0000359 static PyObject * stubname(self, args) PyObject *self, *args; { \
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000360 return math_1(args, func); \
361 }
362
363FUNC1(cmath_acos, c_acos)
364FUNC1(cmath_acosh, c_acosh)
365FUNC1(cmath_asin, c_asin)
366FUNC1(cmath_asinh, c_asinh)
367FUNC1(cmath_atan, c_atan)
368FUNC1(cmath_atanh, c_atanh)
369FUNC1(cmath_cos, c_cos)
370FUNC1(cmath_cosh, c_cosh)
371FUNC1(cmath_exp, c_exp)
372FUNC1(cmath_log, c_log)
373FUNC1(cmath_log10, c_log10)
374FUNC1(cmath_sin, c_sin)
375FUNC1(cmath_sinh, c_sinh)
376FUNC1(cmath_sqrt, c_sqrt)
377FUNC1(cmath_tan, c_tan)
378FUNC1(cmath_tanh, c_tanh)
379
380
Guido van Rossumc6e22901998-12-04 19:26:43 +0000381static char module_doc [] =
382"This module is always available. It provides access to mathematical\n\
383functions for complex numbers.";
384
385
Roger E. Masse24070ca1996-12-09 22:59:53 +0000386static PyMethodDef cmath_methods[] = {
Guido van Rossumc6e22901998-12-04 19:26:43 +0000387 {"acos", cmath_acos, 1, c_acos_doc},
388 {"acosh", cmath_acosh, 1, c_acosh_doc},
389 {"asin", cmath_asin, 1, c_asin_doc},
390 {"asinh", cmath_asinh, 1, c_asinh_doc},
391 {"atan", cmath_atan, 1, c_atan_doc},
392 {"atanh", cmath_atanh, 1, c_atanh_doc},
393 {"cos", cmath_cos, 1, c_cos_doc},
394 {"cosh", cmath_cosh, 1, c_cosh_doc},
395 {"exp", cmath_exp, 1, c_exp_doc},
396 {"log", cmath_log, 1, c_log_doc},
397 {"log10", cmath_log10, 1, c_log10_doc},
398 {"sin", cmath_sin, 1, c_sin_doc},
399 {"sinh", cmath_sinh, 1, c_sinh_doc},
400 {"sqrt", cmath_sqrt, 1, c_sqrt_doc},
401 {"tan", cmath_tan, 1, c_tan_doc},
402 {"tanh", cmath_tanh, 1, c_tanh_doc},
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000403 {NULL, NULL} /* sentinel */
404};
405
Guido van Rossum3886bb61998-12-04 18:50:17 +0000406DL_EXPORT(void)
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000407initcmath()
408{
Roger E. Masse24070ca1996-12-09 22:59:53 +0000409 PyObject *m, *d, *v;
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000410
Guido van Rossumc6e22901998-12-04 19:26:43 +0000411 m = Py_InitModule3("cmath", cmath_methods, module_doc);
Roger E. Masse24070ca1996-12-09 22:59:53 +0000412 d = PyModule_GetDict(m);
413 PyDict_SetItemString(d, "pi",
414 v = PyFloat_FromDouble(atan(1.0) * 4.0));
415 Py_DECREF(v);
416 PyDict_SetItemString(d, "e", v = PyFloat_FromDouble(exp(1.0)));
417 Py_DECREF(v);
Guido van Rossum71aa32f1996-01-12 01:34:57 +0000418}