blob: b129798033173f370ad1b07193c2789adc5f8d62 [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00002/* Float object implementation */
3
Guido van Rossum2a9096b1990-10-21 22:15:08 +00004/* XXX There should be overflow checks here, but it's hard to check
5 for any kind of float exception without losing portability. */
6
Guido van Rossumc0b618a1997-05-02 03:12:38 +00007#include "Python.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00008
Guido van Rossum3f5da241990-12-20 15:06:42 +00009#include <ctype.h>
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000010
Guido van Rossum9575a441993-04-07 14:06:14 +000011#ifdef i860
12/* Cray APP has bogus definition of HUGE_VAL in <math.h> */
13#undef HUGE_VAL
14#endif
15
Guido van Rossum9d81b551996-06-26 18:27:19 +000016#if defined(HUGE_VAL) && !defined(CHECK)
Guido van Rossum7fa52f81991-12-16 15:43:14 +000017#define CHECK(x) if (errno != 0) ; \
18 else if (-HUGE_VAL <= (x) && (x) <= HUGE_VAL) ; \
19 else errno = ERANGE
Guido van Rossum9d81b551996-06-26 18:27:19 +000020#endif
21
22#ifndef CHECK
Guido van Rossum7fa52f81991-12-16 15:43:14 +000023#define CHECK(x) /* Don't know how to check */
24#endif
25
Guido van Rossum07e3a7e1995-02-27 10:13:37 +000026#if !defined(__STDC__) && !defined(macintosh)
Tim Petersdbd9ba62000-07-09 03:09:57 +000027extern double fmod(double, double);
28extern double pow(double, double);
Guido van Rossum6923e131990-11-02 17:50:43 +000029#endif
30
Martin v. Löwis01c65262001-03-06 12:14:54 +000031#if defined(sun) && !defined(__SVR4)
Guido van Rossum3c03fa81997-10-31 17:00:30 +000032/* On SunOS4.1 only libm.a exists. Make sure that references to all
33 needed math functions exist in the executable, so that dynamic
34 loading of mathmodule does not fail. */
35double (*_Py_math_funcs_hack[])() = {
36 acos, asin, atan, atan2, ceil, cos, cosh, exp, fabs, floor,
37 fmod, log, log10, pow, sin, sinh, sqrt, tan, tanh
38};
39#endif
40
Guido van Rossum93ad0df1997-05-13 21:00:42 +000041/* Special free list -- see comments for same code in intobject.c. */
Guido van Rossum93ad0df1997-05-13 21:00:42 +000042#define BLOCK_SIZE 1000 /* 1K less typical malloc overhead */
Guido van Rossum3fce8831999-03-12 19:43:17 +000043#define BHEAD_SIZE 8 /* Enough for a 64-bit pointer */
Guido van Rossumf61bbc81999-03-12 00:12:21 +000044#define N_FLOATOBJECTS ((BLOCK_SIZE - BHEAD_SIZE) / sizeof(PyFloatObject))
Guido van Rossum3fce8831999-03-12 19:43:17 +000045
Guido van Rossum3fce8831999-03-12 19:43:17 +000046struct _floatblock {
47 struct _floatblock *next;
48 PyFloatObject objects[N_FLOATOBJECTS];
49};
50
51typedef struct _floatblock PyFloatBlock;
52
53static PyFloatBlock *block_list = NULL;
54static PyFloatObject *free_list = NULL;
55
Guido van Rossum93ad0df1997-05-13 21:00:42 +000056static PyFloatObject *
Fred Drakefd99de62000-07-09 05:02:18 +000057fill_free_list(void)
Guido van Rossum93ad0df1997-05-13 21:00:42 +000058{
59 PyFloatObject *p, *q;
Guido van Rossumb18618d2000-05-03 23:44:39 +000060 /* XXX Float blocks escape the object heap. Use PyObject_MALLOC ??? */
61 p = (PyFloatObject *) PyMem_MALLOC(sizeof(PyFloatBlock));
Guido van Rossum93ad0df1997-05-13 21:00:42 +000062 if (p == NULL)
Guido van Rossumb18618d2000-05-03 23:44:39 +000063 return (PyFloatObject *) PyErr_NoMemory();
Guido van Rossum3fce8831999-03-12 19:43:17 +000064 ((PyFloatBlock *)p)->next = block_list;
65 block_list = (PyFloatBlock *)p;
66 p = &((PyFloatBlock *)p)->objects[0];
Guido van Rossum93ad0df1997-05-13 21:00:42 +000067 q = p + N_FLOATOBJECTS;
68 while (--q > p)
Guido van Rossumf61bbc81999-03-12 00:12:21 +000069 q->ob_type = (struct _typeobject *)(q-1);
70 q->ob_type = NULL;
Guido van Rossum93ad0df1997-05-13 21:00:42 +000071 return p + N_FLOATOBJECTS - 1;
72}
73
Guido van Rossumc0b618a1997-05-02 03:12:38 +000074PyObject *
Guido van Rossumc0b618a1997-05-02 03:12:38 +000075PyFloat_FromDouble(double fval)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000076{
Guido van Rossum93ad0df1997-05-13 21:00:42 +000077 register PyFloatObject *op;
78 if (free_list == NULL) {
79 if ((free_list = fill_free_list()) == NULL)
80 return NULL;
81 }
Guido van Rossumb18618d2000-05-03 23:44:39 +000082 /* PyObject_New is inlined */
Guido van Rossum93ad0df1997-05-13 21:00:42 +000083 op = free_list;
Guido van Rossumf61bbc81999-03-12 00:12:21 +000084 free_list = (PyFloatObject *)op->ob_type;
Guido van Rossumb18618d2000-05-03 23:44:39 +000085 PyObject_INIT(op, &PyFloat_Type);
Guido van Rossum2a9096b1990-10-21 22:15:08 +000086 op->ob_fval = fval;
Guido van Rossumc0b618a1997-05-02 03:12:38 +000087 return (PyObject *) op;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000088}
89
Tim Petersef14d732000-09-23 03:39:17 +000090/**************************************************************************
91RED_FLAG 22-Sep-2000 tim
92PyFloat_FromString's pend argument is braindead. Prior to this RED_FLAG,
93
941. If v was a regular string, *pend was set to point to its terminating
95 null byte. That's useless (the caller can find that without any
96 help from this function!).
97
982. If v was a Unicode string, or an object convertible to a character
99 buffer, *pend was set to point into stack trash (the auto temp
100 vector holding the character buffer). That was downright dangerous.
101
102Since we can't change the interface of a public API function, pend is
103still supported but now *officially* useless: if pend is not NULL,
104*pend is set to NULL.
105**************************************************************************/
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000106PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000107PyFloat_FromString(PyObject *v, char **pend)
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000108{
Guido van Rossum4c08d552000-03-10 22:55:18 +0000109 const char *s, *last, *end;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000110 double x;
Tim Petersef14d732000-09-23 03:39:17 +0000111 char buffer[256]; /* for errors */
112 char s_buffer[256]; /* for objects convertible to a char buffer */
Guido van Rossum4c08d552000-03-10 22:55:18 +0000113 int len;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000114
Tim Petersef14d732000-09-23 03:39:17 +0000115 if (pend)
116 *pend = NULL;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000117 if (PyString_Check(v)) {
118 s = PyString_AS_STRING(v);
119 len = PyString_GET_SIZE(v);
120 }
Guido van Rossum9e896b32000-04-05 20:11:21 +0000121 else if (PyUnicode_Check(v)) {
Guido van Rossum9e896b32000-04-05 20:11:21 +0000122 if (PyUnicode_GET_SIZE(v) >= sizeof(s_buffer)) {
123 PyErr_SetString(PyExc_ValueError,
Tim Petersef14d732000-09-23 03:39:17 +0000124 "Unicode float() literal too long to convert");
Guido van Rossum9e896b32000-04-05 20:11:21 +0000125 return NULL;
126 }
Tim Petersef14d732000-09-23 03:39:17 +0000127 if (PyUnicode_EncodeDecimal(PyUnicode_AS_UNICODE(v),
Guido van Rossum9e896b32000-04-05 20:11:21 +0000128 PyUnicode_GET_SIZE(v),
129 s_buffer,
130 NULL))
131 return NULL;
132 s = s_buffer;
Trent Micka248fb62000-08-12 21:37:39 +0000133 len = (int)strlen(s);
Guido van Rossum9e896b32000-04-05 20:11:21 +0000134 }
Guido van Rossum4c08d552000-03-10 22:55:18 +0000135 else if (PyObject_AsCharBuffer(v, &s, &len)) {
136 PyErr_SetString(PyExc_TypeError,
137 "float() needs a string argument");
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000138 return NULL;
Guido van Rossum4c08d552000-03-10 22:55:18 +0000139 }
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000140
Guido van Rossum4c08d552000-03-10 22:55:18 +0000141 last = s + len;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000142 while (*s && isspace(Py_CHARMASK(*s)))
143 s++;
Tim Petersef14d732000-09-23 03:39:17 +0000144 if (*s == '\0') {
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000145 PyErr_SetString(PyExc_ValueError, "empty string for float()");
146 return NULL;
147 }
Tim Petersef14d732000-09-23 03:39:17 +0000148 /* We don't care about overflow or underflow. If the platform supports
149 * them, infinities and signed zeroes (on underflow) are fine.
150 * However, strtod can return 0 for denormalized numbers, where atof
151 * does not. So (alas!) we special-case a zero result. Note that
152 * whether strtod sets errno on underflow is not defined, so we can't
153 * key off errno.
154 */
Tim Peters858346e2000-09-25 21:01:28 +0000155 PyFPE_START_PROTECT("strtod", return NULL)
Tim Petersef14d732000-09-23 03:39:17 +0000156 x = strtod(s, (char **)&end);
Tim Peters858346e2000-09-25 21:01:28 +0000157 PyFPE_END_PROTECT(x)
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000158 errno = 0;
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000159 /* Believe it or not, Solaris 2.6 can move end *beyond* the null
Tim Petersef14d732000-09-23 03:39:17 +0000160 byte at the end of the string, when the input is inf(inity). */
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000161 if (end > last)
162 end = last;
Tim Petersef14d732000-09-23 03:39:17 +0000163 if (end == s) {
164 sprintf(buffer, "invalid literal for float(): %.200s", s);
165 PyErr_SetString(PyExc_ValueError, buffer);
166 return NULL;
167 }
168 /* Since end != s, the platform made *some* kind of sense out
169 of the input. Trust it. */
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000170 while (*end && isspace(Py_CHARMASK(*end)))
171 end++;
172 if (*end != '\0') {
173 sprintf(buffer, "invalid literal for float(): %.200s", s);
174 PyErr_SetString(PyExc_ValueError, buffer);
175 return NULL;
176 }
Guido van Rossum4c08d552000-03-10 22:55:18 +0000177 else if (end != last) {
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000178 PyErr_SetString(PyExc_ValueError,
179 "null byte in argument for float()");
180 return NULL;
181 }
Tim Petersef14d732000-09-23 03:39:17 +0000182 if (x == 0.0) {
183 /* See above -- may have been strtod being anal
184 about denorms. */
Tim Peters858346e2000-09-25 21:01:28 +0000185 PyFPE_START_PROTECT("atof", return NULL)
Tim Petersef14d732000-09-23 03:39:17 +0000186 x = atof(s);
Tim Peters858346e2000-09-25 21:01:28 +0000187 PyFPE_END_PROTECT(x)
Tim Petersef14d732000-09-23 03:39:17 +0000188 errno = 0; /* whether atof ever set errno is undefined */
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000189 }
Barry Warsaw226ae6c1999-10-12 19:54:53 +0000190 return PyFloat_FromDouble(x);
191}
192
Guido van Rossum234f9421993-06-17 12:35:49 +0000193static void
Fred Drakefd99de62000-07-09 05:02:18 +0000194float_dealloc(PyFloatObject *op)
Guido van Rossum3132a5a1992-03-27 17:28:44 +0000195{
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000196 op->ob_type = (struct _typeobject *)free_list;
Guido van Rossum93ad0df1997-05-13 21:00:42 +0000197 free_list = op;
Guido van Rossum3132a5a1992-03-27 17:28:44 +0000198}
199
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000200double
Fred Drakefd99de62000-07-09 05:02:18 +0000201PyFloat_AsDouble(PyObject *op)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000202{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000203 PyNumberMethods *nb;
204 PyFloatObject *fo;
Guido van Rossumb6775db1994-08-01 11:34:53 +0000205 double val;
206
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000207 if (op && PyFloat_Check(op))
208 return PyFloat_AS_DOUBLE((PyFloatObject*) op);
Guido van Rossumb6775db1994-08-01 11:34:53 +0000209
210 if (op == NULL || (nb = op->ob_type->tp_as_number) == NULL ||
211 nb->nb_float == NULL) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000212 PyErr_BadArgument();
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000213 return -1;
214 }
Guido van Rossumb6775db1994-08-01 11:34:53 +0000215
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000216 fo = (PyFloatObject*) (*nb->nb_float) (op);
Guido van Rossumb6775db1994-08-01 11:34:53 +0000217 if (fo == NULL)
218 return -1;
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000219 if (!PyFloat_Check(fo)) {
220 PyErr_SetString(PyExc_TypeError,
221 "nb_float should return float object");
Guido van Rossumb6775db1994-08-01 11:34:53 +0000222 return -1;
223 }
224
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000225 val = PyFloat_AS_DOUBLE(fo);
226 Py_DECREF(fo);
Guido van Rossumb6775db1994-08-01 11:34:53 +0000227
228 return val;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000229}
230
231/* Methods */
232
Guido van Rossum27dec7e1991-06-04 19:42:53 +0000233void
Fred Drakefd99de62000-07-09 05:02:18 +0000234PyFloat_AsStringEx(char *buf, PyFloatObject *v, int precision)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000235{
236 register char *cp;
237 /* Subroutine for float_repr and float_print.
238 We want float numbers to be recognizable as such,
239 i.e., they should contain a decimal point or an exponent.
240 However, %g may print the number as an integer;
241 in such cases, we append ".0" to the string. */
Guido van Rossum57072eb1999-12-23 19:00:28 +0000242 sprintf(buf, "%.*g", precision, v->ob_fval);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000243 cp = buf;
244 if (*cp == '-')
245 cp++;
246 for (; *cp != '\0'; cp++) {
247 /* Any non-digit means it's not an integer;
248 this takes care of NAN and INF as well. */
Guido van Rossum9fa2c111995-02-10 17:00:37 +0000249 if (!isdigit(Py_CHARMASK(*cp)))
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000250 break;
251 }
252 if (*cp == '\0') {
253 *cp++ = '.';
254 *cp++ = '0';
255 *cp++ = '\0';
256 }
257}
258
Neil Schemenauer32117e52001-01-04 01:44:34 +0000259/* Macro and helper that convert PyObject obj to a C double and store
260 the value in dbl; this replaces the functionality of the coercion
261 slot function */
262
263#define CONVERT_TO_DOUBLE(obj, dbl) \
264 if (PyFloat_Check(obj)) \
265 dbl = PyFloat_AS_DOUBLE(obj); \
266 else if (convert_to_double(&(obj), &(dbl)) < 0) \
267 return obj;
268
269static int
270convert_to_double(PyObject **v,
271 double *dbl)
272{
273 register PyObject *obj = *v;
274
275 if (PyInt_Check(obj)) {
276 *dbl = (double)PyInt_AS_LONG(obj);
277 }
278 else if (PyLong_Check(obj)) {
279 PyFPE_START_PROTECT("convert_to_double", {*v=NULL;return -1;})
280 *dbl = PyLong_AsDouble(obj);
Jeremy Hylton2492a202001-02-01 23:53:05 +0000281 PyFPE_END_PROTECT(*dbl)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000282 }
283 else {
284 Py_INCREF(Py_NotImplemented);
285 *v = Py_NotImplemented;
286 return -1;
287 }
288 return 0;
289}
290
Guido van Rossum57072eb1999-12-23 19:00:28 +0000291/* Precisions used by repr() and str(), respectively.
292
293 The repr() precision (17 significant decimal digits) is the minimal number
294 that is guaranteed to have enough precision so that if the number is read
295 back in the exact same binary value is recreated. This is true for IEEE
296 floating point by design, and also happens to work for all other modern
297 hardware.
298
299 The str() precision is chosen so that in most cases, the rounding noise
300 created by various operations is suppressed, while giving plenty of
301 precision for practical use.
302
303*/
304
305#define PREC_REPR 17
306#define PREC_STR 12
307
308void
Fred Drakefd99de62000-07-09 05:02:18 +0000309PyFloat_AsString(char *buf, PyFloatObject *v)
Guido van Rossum57072eb1999-12-23 19:00:28 +0000310{
311 PyFloat_AsStringEx(buf, v, PREC_STR);
312}
313
Guido van Rossum3132a5a1992-03-27 17:28:44 +0000314/* ARGSUSED */
Guido van Rossum90933611991-06-07 16:10:43 +0000315static int
Fred Drakefd99de62000-07-09 05:02:18 +0000316float_print(PyFloatObject *v, FILE *fp, int flags)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000317{
318 char buf[100];
Guido van Rossum57072eb1999-12-23 19:00:28 +0000319 PyFloat_AsStringEx(buf, v, flags&Py_PRINT_RAW ? PREC_STR : PREC_REPR);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000320 fputs(buf, fp);
Guido van Rossum90933611991-06-07 16:10:43 +0000321 return 0;
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000322}
323
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000324static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000325float_repr(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000326{
327 char buf[100];
Guido van Rossum57072eb1999-12-23 19:00:28 +0000328 PyFloat_AsStringEx(buf, v, PREC_REPR);
329 return PyString_FromString(buf);
330}
331
332static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000333float_str(PyFloatObject *v)
Guido van Rossum57072eb1999-12-23 19:00:28 +0000334{
335 char buf[100];
336 PyFloat_AsStringEx(buf, v, PREC_STR);
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000337 return PyString_FromString(buf);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000338}
339
340static int
Fred Drakefd99de62000-07-09 05:02:18 +0000341float_compare(PyFloatObject *v, PyFloatObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000342{
343 double i = v->ob_fval;
344 double j = w->ob_fval;
345 return (i < j) ? -1 : (i > j) ? 1 : 0;
346}
347
Guido van Rossum9bfef441993-03-29 10:43:31 +0000348static long
Fred Drakefd99de62000-07-09 05:02:18 +0000349float_hash(PyFloatObject *v)
Guido van Rossum9bfef441993-03-29 10:43:31 +0000350{
Tim Peters39dce292000-08-15 03:34:48 +0000351 return _Py_HashDouble(v->ob_fval);
Guido van Rossum9bfef441993-03-29 10:43:31 +0000352}
353
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000354static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000355float_add(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000356{
Neil Schemenauer32117e52001-01-04 01:44:34 +0000357 double a,b;
358 CONVERT_TO_DOUBLE(v, a);
359 CONVERT_TO_DOUBLE(w, b);
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000360 PyFPE_START_PROTECT("add", return 0)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000361 a = a + b;
362 PyFPE_END_PROTECT(a)
363 return PyFloat_FromDouble(a);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000364}
365
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000366static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000367float_sub(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000368{
Neil Schemenauer32117e52001-01-04 01:44:34 +0000369 double a,b;
370 CONVERT_TO_DOUBLE(v, a);
371 CONVERT_TO_DOUBLE(w, b);
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000372 PyFPE_START_PROTECT("subtract", return 0)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000373 a = a - b;
374 PyFPE_END_PROTECT(a)
375 return PyFloat_FromDouble(a);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000376}
377
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000378static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000379float_mul(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000380{
Neil Schemenauer32117e52001-01-04 01:44:34 +0000381 double a,b;
382 CONVERT_TO_DOUBLE(v, a);
383 CONVERT_TO_DOUBLE(w, b);
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000384 PyFPE_START_PROTECT("multiply", return 0)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000385 a = a * b;
386 PyFPE_END_PROTECT(a)
387 return PyFloat_FromDouble(a);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000388}
389
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000390static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000391float_div(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000392{
Neil Schemenauer32117e52001-01-04 01:44:34 +0000393 double a,b;
394 CONVERT_TO_DOUBLE(v, a);
395 CONVERT_TO_DOUBLE(w, b);
396 if (b == 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000397 PyErr_SetString(PyExc_ZeroDivisionError, "float division");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000398 return NULL;
399 }
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000400 PyFPE_START_PROTECT("divide", return 0)
Neil Schemenauer32117e52001-01-04 01:44:34 +0000401 a = a / b;
402 PyFPE_END_PROTECT(a)
403 return PyFloat_FromDouble(a);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000404}
405
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000406static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000407float_rem(PyObject *v, PyObject *w)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000408{
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000409 double vx, wx;
Guido van Rossum9263e781999-05-06 14:26:34 +0000410 double mod;
Neil Schemenauer32117e52001-01-04 01:44:34 +0000411 CONVERT_TO_DOUBLE(v, vx);
412 CONVERT_TO_DOUBLE(w, wx);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000413 if (wx == 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000414 PyErr_SetString(PyExc_ZeroDivisionError, "float modulo");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000415 return NULL;
416 }
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000417 PyFPE_START_PROTECT("modulo", return 0)
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000418 mod = fmod(vx, wx);
Guido van Rossum9263e781999-05-06 14:26:34 +0000419 /* note: checking mod*wx < 0 is incorrect -- underflows to
420 0 if wx < sqrt(smallest nonzero double) */
421 if (mod && ((wx < 0) != (mod < 0))) {
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000422 mod += wx;
Guido van Rossum56cd67a1992-01-26 18:16:35 +0000423 }
Guido van Rossum45b83911997-03-14 04:32:50 +0000424 PyFPE_END_PROTECT(mod)
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000425 return PyFloat_FromDouble(mod);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000426}
427
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000428static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000429float_divmod(PyObject *v, PyObject *w)
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000430{
Guido van Rossum15ecff41991-10-20 20:16:45 +0000431 double vx, wx;
Guido van Rossum9263e781999-05-06 14:26:34 +0000432 double div, mod, floordiv;
Neil Schemenauer32117e52001-01-04 01:44:34 +0000433 CONVERT_TO_DOUBLE(v, vx);
434 CONVERT_TO_DOUBLE(w, wx);
Guido van Rossum15ecff41991-10-20 20:16:45 +0000435 if (wx == 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000436 PyErr_SetString(PyExc_ZeroDivisionError, "float divmod()");
Guido van Rossum15ecff41991-10-20 20:16:45 +0000437 return NULL;
438 }
Guido van Rossum09e6ad01997-02-14 22:54:21 +0000439 PyFPE_START_PROTECT("divmod", return 0)
Guido van Rossum15ecff41991-10-20 20:16:45 +0000440 mod = fmod(vx, wx);
Tim Peters78fc0b52000-09-16 03:54:24 +0000441 /* fmod is typically exact, so vx-mod is *mathematically* an
Guido van Rossum9263e781999-05-06 14:26:34 +0000442 exact multiple of wx. But this is fp arithmetic, and fp
443 vx - mod is an approximation; the result is that div may
444 not be an exact integral value after the division, although
445 it will always be very close to one.
446 */
Guido van Rossum15ecff41991-10-20 20:16:45 +0000447 div = (vx - mod) / wx;
Guido van Rossum9263e781999-05-06 14:26:34 +0000448 /* note: checking mod*wx < 0 is incorrect -- underflows to
449 0 if wx < sqrt(smallest nonzero double) */
450 if (mod && ((wx < 0) != (mod < 0))) {
Guido van Rossum15ecff41991-10-20 20:16:45 +0000451 mod += wx;
452 div -= 1.0;
453 }
Guido van Rossum9263e781999-05-06 14:26:34 +0000454 /* snap quotient to nearest integral value */
455 floordiv = floor(div);
456 if (div - floordiv > 0.5)
457 floordiv += 1.0;
Guido van Rossum45b83911997-03-14 04:32:50 +0000458 PyFPE_END_PROTECT(div)
Guido van Rossum9263e781999-05-06 14:26:34 +0000459 return Py_BuildValue("(dd)", floordiv, mod);
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000460}
461
Fred Drakefd99de62000-07-09 05:02:18 +0000462static double powu(double x, long n)
Guido van Rossum39739ea1996-01-12 01:22:56 +0000463{
464 double r = 1.;
465 double p = x;
466 long mask = 1;
467 while (mask > 0 && n >= mask) {
468 if (n & mask)
469 r *= p;
470 mask <<= 1;
471 p *= p;
472 }
473 return r;
474}
475
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000476static PyObject *
Neil Schemenauer32117e52001-01-04 01:44:34 +0000477float_pow(PyObject *v, PyObject *w, PyObject *z)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000478{
479 double iv, iw, ix;
Guido van Rossum39739ea1996-01-12 01:22:56 +0000480 long intw;
Guido van Rossum0b7d02a1994-08-12 12:52:35 +0000481 /* XXX Doesn't handle overflows if z!=None yet; it may never do so :(
482 * The z parameter is really only going to be useful for integers and
483 * long integers. Maybe something clever with logarithms could be done.
484 * [AMK]
485 */
Neil Schemenauer32117e52001-01-04 01:44:34 +0000486 CONVERT_TO_DOUBLE(v, iv);
487 CONVERT_TO_DOUBLE(w, iw);
Guido van Rossum39739ea1996-01-12 01:22:56 +0000488 intw = (long)iw;
Tim Petersc54d1902000-10-06 00:36:09 +0000489
490 /* Sort out special cases here instead of relying on pow() */
491 if (iw == 0) { /* x**0 is 1, even 0**0 */
492 PyFPE_START_PROTECT("pow", return NULL)
493 if ((PyObject *)z != Py_None) {
Neil Schemenauer32117e52001-01-04 01:44:34 +0000494 double iz;
Neil Schemenauer010b0cc2001-01-08 06:29:50 +0000495 CONVERT_TO_DOUBLE(z, iz);
Neil Schemenauer32117e52001-01-04 01:44:34 +0000496 ix=fmod(1.0, iz);
497 if (ix!=0 && iz<0) ix+=iz;
Guido van Rossum70d93461991-05-28 21:57:39 +0000498 }
Tim Petersc54d1902000-10-06 00:36:09 +0000499 else
500 ix = 1.0;
501 PyFPE_END_PROTECT(ix)
502 return PyFloat_FromDouble(ix);
503 }
504 if (iv == 0.0) {
505 if (iw < 0.0) {
506 PyErr_SetString(PyExc_ZeroDivisionError,
Fred Drake661ea262000-10-24 19:57:45 +0000507 "0.0 cannot be raised to a negative power");
Tim Petersc54d1902000-10-06 00:36:09 +0000508 return NULL;
509 }
510 return PyFloat_FromDouble(0.0);
511 }
512
513 if (iw == intw && intw > LONG_MIN) {
514 /* ruled out LONG_MIN because -LONG_MIN isn't representable */
Guido van Rossum86c04c21996-08-09 20:50:14 +0000515 errno = 0;
Tim Petersc54d1902000-10-06 00:36:09 +0000516 PyFPE_START_PROTECT("pow", return NULL)
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000517 if (intw > 0)
518 ix = powu(iv, intw);
519 else
520 ix = 1./powu(iv, -intw);
Guido van Rossum45b83911997-03-14 04:32:50 +0000521 PyFPE_END_PROTECT(ix)
Guido van Rossum86c04c21996-08-09 20:50:14 +0000522 }
523 else {
524 /* Sort out special cases here instead of relying on pow() */
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000525 if (iv < 0.0) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000526 PyErr_SetString(PyExc_ValueError,
Fred Drake661ea262000-10-24 19:57:45 +0000527 "negative number cannot be raised to a fractional power");
Guido van Rossumc13bcca1996-08-16 20:42:57 +0000528 return NULL;
529 }
Guido van Rossum39739ea1996-01-12 01:22:56 +0000530 errno = 0;
Tim Petersc54d1902000-10-06 00:36:09 +0000531 PyFPE_START_PROTECT("pow", return NULL)
Guido van Rossum39739ea1996-01-12 01:22:56 +0000532 ix = pow(iv, iw);
Guido van Rossum45b83911997-03-14 04:32:50 +0000533 PyFPE_END_PROTECT(ix)
Guido van Rossum70d93461991-05-28 21:57:39 +0000534 }
Guido van Rossum7fa52f81991-12-16 15:43:14 +0000535 CHECK(ix);
Guido van Rossum2a9096b1990-10-21 22:15:08 +0000536 if (errno != 0) {
537 /* XXX could it be another type of error? */
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000538 PyErr_SetFromErrno(PyExc_OverflowError);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000539 return NULL;
Guido van Rossum2a9096b1990-10-21 22:15:08 +0000540 }
Tim Petersc54d1902000-10-06 00:36:09 +0000541 if ((PyObject *)z != Py_None) {
Neil Schemenauer32117e52001-01-04 01:44:34 +0000542 double iz;
543 CONVERT_TO_DOUBLE(z, iz);
544 PyFPE_START_PROTECT("pow", return 0)
545 ix=fmod(ix, iz); /* XXX To Be Rewritten */
546 if (ix!=0 && ((iv<0 && iz>0) || (iv>0 && iz<0) )) {
547 ix+=iz;
Tim Petersc54d1902000-10-06 00:36:09 +0000548 }
Neil Schemenauer32117e52001-01-04 01:44:34 +0000549 PyFPE_END_PROTECT(ix)
Guido van Rossum0b7d02a1994-08-12 12:52:35 +0000550 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000551 return PyFloat_FromDouble(ix);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000552}
553
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000554static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000555float_neg(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000556{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000557 return PyFloat_FromDouble(-v->ob_fval);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000558}
559
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000560static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000561float_pos(PyFloatObject *v)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000562{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000563 Py_INCREF(v);
564 return (PyObject *)v;
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000565}
566
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000567static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000568float_abs(PyFloatObject *v)
Guido van Rossumeba1b5e1991-05-05 20:07:00 +0000569{
570 if (v->ob_fval < 0)
571 return float_neg(v);
572 else
573 return float_pos(v);
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000574}
575
Guido van Rossum50b4ef61991-05-14 11:57:01 +0000576static int
Fred Drakefd99de62000-07-09 05:02:18 +0000577float_nonzero(PyFloatObject *v)
Guido van Rossum50b4ef61991-05-14 11:57:01 +0000578{
579 return v->ob_fval != 0.0;
580}
581
Guido van Rossum234f9421993-06-17 12:35:49 +0000582static int
Fred Drakefd99de62000-07-09 05:02:18 +0000583float_coerce(PyObject **pv, PyObject **pw)
Guido van Rossume6eefc21992-08-14 12:06:52 +0000584{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000585 if (PyInt_Check(*pw)) {
586 long x = PyInt_AsLong(*pw);
587 *pw = PyFloat_FromDouble((double)x);
588 Py_INCREF(*pv);
Guido van Rossume6eefc21992-08-14 12:06:52 +0000589 return 0;
590 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000591 else if (PyLong_Check(*pw)) {
592 *pw = PyFloat_FromDouble(PyLong_AsDouble(*pw));
593 Py_INCREF(*pv);
Guido van Rossume6eefc21992-08-14 12:06:52 +0000594 return 0;
595 }
596 return 1; /* Can't do it */
597}
598
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000599static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000600float_int(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000601{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000602 double x = PyFloat_AsDouble(v);
Guido van Rossum03093a21994-09-28 15:51:32 +0000603 if (x < 0 ? (x = ceil(x)) < (double)LONG_MIN
604 : (x = floor(x)) > (double)LONG_MAX) {
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000605 PyErr_SetString(PyExc_OverflowError,
606 "float too large to convert");
Guido van Rossum03093a21994-09-28 15:51:32 +0000607 return NULL;
608 }
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000609 return PyInt_FromLong((long)x);
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000610}
611
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000612static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000613float_long(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000614{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000615 double x = PyFloat_AsDouble(v);
616 return PyLong_FromDouble(x);
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000617}
618
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000619static PyObject *
Fred Drakefd99de62000-07-09 05:02:18 +0000620float_float(PyObject *v)
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000621{
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000622 Py_INCREF(v);
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000623 return v;
624}
625
626
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000627static PyNumberMethods float_as_number = {
Guido van Rossumb6775db1994-08-01 11:34:53 +0000628 (binaryfunc)float_add, /*nb_add*/
629 (binaryfunc)float_sub, /*nb_subtract*/
630 (binaryfunc)float_mul, /*nb_multiply*/
631 (binaryfunc)float_div, /*nb_divide*/
632 (binaryfunc)float_rem, /*nb_remainder*/
633 (binaryfunc)float_divmod, /*nb_divmod*/
Guido van Rossum0b7d02a1994-08-12 12:52:35 +0000634 (ternaryfunc)float_pow, /*nb_power*/
Guido van Rossumb6775db1994-08-01 11:34:53 +0000635 (unaryfunc)float_neg, /*nb_negative*/
636 (unaryfunc)float_pos, /*nb_positive*/
637 (unaryfunc)float_abs, /*nb_absolute*/
638 (inquiry)float_nonzero, /*nb_nonzero*/
Guido van Rossum27acb331991-10-24 14:55:28 +0000639 0, /*nb_invert*/
640 0, /*nb_lshift*/
641 0, /*nb_rshift*/
642 0, /*nb_and*/
643 0, /*nb_xor*/
644 0, /*nb_or*/
Guido van Rossumb6775db1994-08-01 11:34:53 +0000645 (coercion)float_coerce, /*nb_coerce*/
646 (unaryfunc)float_int, /*nb_int*/
647 (unaryfunc)float_long, /*nb_long*/
648 (unaryfunc)float_float, /*nb_float*/
Guido van Rossum1899c2e1992-09-12 11:09:23 +0000649 0, /*nb_oct*/
650 0, /*nb_hex*/
Neil Schemenauer32117e52001-01-04 01:44:34 +0000651 0, /*nb_inplace_add*/
652 0, /*nb_inplace_subtract*/
653 0, /*nb_inplace_multiply*/
654 0, /*nb_inplace_divide*/
655 0, /*nb_inplace_remainder*/
656 0, /*nb_inplace_power*/
657 0, /*nb_inplace_lshift*/
658 0, /*nb_inplace_rshift*/
659 0, /*nb_inplace_and*/
660 0, /*nb_inplace_xor*/
661 0, /*nb_inplace_or*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000662};
663
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000664PyTypeObject PyFloat_Type = {
665 PyObject_HEAD_INIT(&PyType_Type)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000666 0,
667 "float",
Guido van Rossumc0b618a1997-05-02 03:12:38 +0000668 sizeof(PyFloatObject),
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000669 0,
Guido van Rossumb6775db1994-08-01 11:34:53 +0000670 (destructor)float_dealloc, /*tp_dealloc*/
671 (printfunc)float_print, /*tp_print*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000672 0, /*tp_getattr*/
673 0, /*tp_setattr*/
Guido van Rossumb6775db1994-08-01 11:34:53 +0000674 (cmpfunc)float_compare, /*tp_compare*/
Guido van Rossum57072eb1999-12-23 19:00:28 +0000675 (reprfunc)float_repr, /*tp_repr*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000676 &float_as_number, /*tp_as_number*/
677 0, /*tp_as_sequence*/
678 0, /*tp_as_mapping*/
Guido van Rossum57072eb1999-12-23 19:00:28 +0000679 (hashfunc)float_hash, /*tp_hash*/
680 0, /*tp_call*/
681 (reprfunc)float_str, /*tp_str*/
Neil Schemenauer32117e52001-01-04 01:44:34 +0000682 0, /*tp_getattro*/
683 0, /*tp_setattro*/
684 0, /*tp_as_buffer*/
Guido van Rossumf916e7a2001-01-17 15:33:42 +0000685 Py_TPFLAGS_CHECKTYPES /*tp_flags*/
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000686};
Guido van Rossumfbbd57e1997-08-05 02:16:08 +0000687
688void
Fred Drakefd99de62000-07-09 05:02:18 +0000689PyFloat_Fini(void)
Guido van Rossumfbbd57e1997-08-05 02:16:08 +0000690{
Guido van Rossum3fce8831999-03-12 19:43:17 +0000691 PyFloatObject *p;
692 PyFloatBlock *list, *next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000693 int i;
694 int bc, bf; /* block count, number of freed blocks */
695 int frem, fsum; /* remaining unfreed floats per block, total */
696
697 bc = 0;
698 bf = 0;
699 fsum = 0;
700 list = block_list;
701 block_list = NULL;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000702 free_list = NULL;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000703 while (list != NULL) {
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000704 bc++;
705 frem = 0;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000706 for (i = 0, p = &list->objects[0];
707 i < N_FLOATOBJECTS;
708 i++, p++) {
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000709 if (PyFloat_Check(p) && p->ob_refcnt != 0)
710 frem++;
711 }
Guido van Rossum3fce8831999-03-12 19:43:17 +0000712 next = list->next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000713 if (frem) {
Guido van Rossum3fce8831999-03-12 19:43:17 +0000714 list->next = block_list;
715 block_list = list;
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000716 for (i = 0, p = &list->objects[0];
717 i < N_FLOATOBJECTS;
718 i++, p++) {
719 if (!PyFloat_Check(p) || p->ob_refcnt == 0) {
720 p->ob_type = (struct _typeobject *)
721 free_list;
722 free_list = p;
723 }
724 }
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000725 }
726 else {
Guido van Rossumb18618d2000-05-03 23:44:39 +0000727 PyMem_FREE(list); /* XXX PyObject_FREE ??? */
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000728 bf++;
729 }
730 fsum += frem;
Guido van Rossum3fce8831999-03-12 19:43:17 +0000731 list = next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000732 }
Guido van Rossum3fce8831999-03-12 19:43:17 +0000733 if (!Py_VerboseFlag)
734 return;
735 fprintf(stderr, "# cleanup floats");
736 if (!fsum) {
737 fprintf(stderr, "\n");
738 }
739 else {
740 fprintf(stderr,
741 ": %d unfreed float%s in %d out of %d block%s\n",
742 fsum, fsum == 1 ? "" : "s",
743 bc - bf, bc, bc == 1 ? "" : "s");
744 }
745 if (Py_VerboseFlag > 1) {
746 list = block_list;
747 while (list != NULL) {
Guido van Rossumd7b5fb81999-03-19 20:59:40 +0000748 for (i = 0, p = &list->objects[0];
749 i < N_FLOATOBJECTS;
750 i++, p++) {
Guido van Rossum3fce8831999-03-12 19:43:17 +0000751 if (PyFloat_Check(p) && p->ob_refcnt != 0) {
752 char buf[100];
753 PyFloat_AsString(buf, p);
754 fprintf(stderr,
Fred Drakea44d3532000-06-30 15:01:00 +0000755 "# <float at %p, refcnt=%d, val=%s>\n",
756 p, p->ob_refcnt, buf);
Guido van Rossum3fce8831999-03-12 19:43:17 +0000757 }
758 }
759 list = list->next;
Guido van Rossumf61bbc81999-03-12 00:12:21 +0000760 }
761 }
Guido van Rossumfbbd57e1997-08-05 02:16:08 +0000762}