blob: b98f1649a32af12f2e919407362bfd2188b2349f [file] [log] [blame]
Georg Brandl8ec7f652007-08-15 14:28:01 +00001
2:mod:`math` --- Mathematical functions
3======================================
4
5.. module:: math
6 :synopsis: Mathematical functions (sin() etc.).
7
8
9This module is always available. It provides access to the mathematical
10functions defined by the C standard.
11
12These functions cannot be used with complex numbers; use the functions of the
13same name from the :mod:`cmath` module if you require support for complex
14numbers. The distinction between functions which support complex numbers and
15those which don't is made since most users do not want to learn quite as much
16mathematics as required to understand complex numbers. Receiving an exception
17instead of a complex result allows earlier detection of the unexpected complex
18number used as a parameter, so that the programmer can determine how and why it
19was generated in the first place.
20
21The following functions are provided by this module. Except when explicitly
22noted otherwise, all return values are floats.
23
24Number-theoretic and representation functions:
25
26
27.. function:: ceil(x)
28
Jeffrey Yasskin9871d8f2008-01-05 08:47:13 +000029 Return the ceiling of *x* as a float, the smallest integer value greater than or
30 equal to *x*.
Georg Brandl8ec7f652007-08-15 14:28:01 +000031
32
Christian Heimeseebb79c2008-01-03 22:32:26 +000033.. function:: copysign(x, y)
34
35 Return *x* with the sign of *y*. ``copysign`` copies the sign bit of an IEEE
36 754 float, ``copysign(1, -0.0)`` returns *-1.0*.
37
Andrew M. Kuchling54966a52008-01-04 18:25:05 +000038 .. versionadded:: 2.6
Christian Heimeseebb79c2008-01-03 22:32:26 +000039
40
Georg Brandl8ec7f652007-08-15 14:28:01 +000041.. function:: fabs(x)
42
43 Return the absolute value of *x*.
44
45
46.. function:: floor(x)
47
Jeffrey Yasskin9871d8f2008-01-05 08:47:13 +000048 Return the floor of *x* as a float, the largest integer value less than or equal
49 to *x*.
Georg Brandl8ec7f652007-08-15 14:28:01 +000050
Georg Brandl9749e152008-01-05 19:28:16 +000051 .. versionchanged:: 2.6
52 Added :meth:`__floor__` delegation.
53
Georg Brandl8ec7f652007-08-15 14:28:01 +000054
55.. function:: fmod(x, y)
56
57 Return ``fmod(x, y)``, as defined by the platform C library. Note that the
58 Python expression ``x % y`` may not return the same result. The intent of the C
59 standard is that ``fmod(x, y)`` be exactly (mathematically; to infinite
60 precision) equal to ``x - n*y`` for some integer *n* such that the result has
61 the same sign as *x* and magnitude less than ``abs(y)``. Python's ``x % y``
62 returns a result with the sign of *y* instead, and may not be exactly computable
63 for float arguments. For example, ``fmod(-1e-100, 1e100)`` is ``-1e-100``, but
64 the result of Python's ``-1e-100 % 1e100`` is ``1e100-1e-100``, which cannot be
65 represented exactly as a float, and rounds to the surprising ``1e100``. For
66 this reason, function :func:`fmod` is generally preferred when working with
67 floats, while Python's ``x % y`` is preferred when working with integers.
68
69
70.. function:: frexp(x)
71
72 Return the mantissa and exponent of *x* as the pair ``(m, e)``. *m* is a float
73 and *e* is an integer such that ``x == m * 2**e`` exactly. If *x* is zero,
74 returns ``(0.0, 0)``, otherwise ``0.5 <= abs(m) < 1``. This is used to "pick
75 apart" the internal representation of a float in a portable way.
76
77
Christian Heimese2ca4242008-01-03 20:23:15 +000078.. function:: isinf(x)
79
80 Checks if the float *x* is positive or negative infinite.
81
Andrew M. Kuchling54966a52008-01-04 18:25:05 +000082 .. versionadded:: 2.6
Christian Heimese2ca4242008-01-03 20:23:15 +000083
84
85.. function:: isnan(x)
86
87 Checks if the float *x* is a NaN (not a number). NaNs are part of the
88 IEEE 754 standards. Operation like but not limited to ``inf * 0``,
89 ``inf / inf`` or any operation involving a NaN, e.g. ``nan * 1``, return
90 a NaN.
91
Andrew M. Kuchling54966a52008-01-04 18:25:05 +000092 .. versionadded:: 2.6
Christian Heimese2ca4242008-01-03 20:23:15 +000093
94
Georg Brandl8ec7f652007-08-15 14:28:01 +000095.. function:: ldexp(x, i)
96
97 Return ``x * (2**i)``. This is essentially the inverse of function
98 :func:`frexp`.
99
100
101.. function:: modf(x)
102
103 Return the fractional and integer parts of *x*. Both results carry the sign of
104 *x*, and both are floats.
105
Raymond Hettingercc858cc2008-05-23 00:49:27 +0000106.. function:: sum(iterable)
107
108 Return an accurate floating point sum of values in the iterable. Avoids
109 loss of precision by tracking multiple intermediate partial sums. The
110 algorithm's accuracy depends on IEEE-754 arithmetic guarantees and the
111 typical case where the rounding mode is half-even.
Jeffrey Yasskinca2b69f2008-02-01 06:22:46 +0000112
113.. function:: trunc(x)
114
115 Return the :class:`Real` value *x* truncated to an :class:`Integral` (usually
116 a long integer). Delegates to ``x.__trunc__()``.
117
118 .. versionadded:: 2.6
119
Georg Brandl8ec7f652007-08-15 14:28:01 +0000120Note that :func:`frexp` and :func:`modf` have a different call/return pattern
121than their C equivalents: they take a single argument and return a pair of
122values, rather than returning their second return value through an 'output
123parameter' (there is no such thing in Python).
124
125For the :func:`ceil`, :func:`floor`, and :func:`modf` functions, note that *all*
126floating-point numbers of sufficiently large magnitude are exact integers.
127Python floats typically carry no more than 53 bits of precision (the same as the
128platform C double type), in which case any float *x* with ``abs(x) >= 2**52``
129necessarily has no fractional bits.
130
131Power and logarithmic functions:
132
133
134.. function:: exp(x)
135
136 Return ``e**x``.
137
138
139.. function:: log(x[, base])
140
141 Return the logarithm of *x* to the given *base*. If the *base* is not specified,
142 return the natural logarithm of *x* (that is, the logarithm to base *e*).
143
144 .. versionchanged:: 2.3
145 *base* argument added.
146
147
Christian Heimes6f341092008-04-18 23:13:07 +0000148.. function:: log1p(x)
149
150 Return the natural logarithm of *1+x* (base *e*). The
151 result is calculated in a way which is accurate for *x* near zero.
152
153 .. versionadded:: 2.6
154
155
Georg Brandl8ec7f652007-08-15 14:28:01 +0000156.. function:: log10(x)
157
158 Return the base-10 logarithm of *x*.
159
160
161.. function:: pow(x, y)
162
Mark Dickinson48f7a4a2008-04-19 21:35:35 +0000163 Return ``x`` raised to the power ``y``. Exceptional cases follow
164 Annex 'F' of the C99 standard as far as possible. In particular,
165 ``pow(1.0, x)`` and ``pow(x, 0.0)`` always return ``1.0``, even
166 when ``x`` is a zero or a NaN. If both ``x`` and ``y`` are finite,
167 ``x`` is negative, and ``y`` is not an integer then ``pow(x, y)``
168 is undefined, and raises :exc:`ValueError`.
Christian Heimes6f341092008-04-18 23:13:07 +0000169
170 .. versionchanged:: 2.6
Mark Dickinson48f7a4a2008-04-19 21:35:35 +0000171 The outcome of ``1**nan`` and ``nan**0`` was undefined.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000172
173
174.. function:: sqrt(x)
175
176 Return the square root of *x*.
177
178Trigonometric functions:
179
180
181.. function:: acos(x)
182
183 Return the arc cosine of *x*, in radians.
184
185
186.. function:: asin(x)
187
188 Return the arc sine of *x*, in radians.
189
190
191.. function:: atan(x)
192
193 Return the arc tangent of *x*, in radians.
194
195
196.. function:: atan2(y, x)
197
198 Return ``atan(y / x)``, in radians. The result is between ``-pi`` and ``pi``.
199 The vector in the plane from the origin to point ``(x, y)`` makes this angle
200 with the positive X axis. The point of :func:`atan2` is that the signs of both
201 inputs are known to it, so it can compute the correct quadrant for the angle.
202 For example, ``atan(1``) and ``atan2(1, 1)`` are both ``pi/4``, but ``atan2(-1,
203 -1)`` is ``-3*pi/4``.
204
205
206.. function:: cos(x)
207
208 Return the cosine of *x* radians.
209
210
211.. function:: hypot(x, y)
212
213 Return the Euclidean norm, ``sqrt(x*x + y*y)``. This is the length of the vector
214 from the origin to point ``(x, y)``.
215
216
217.. function:: sin(x)
218
219 Return the sine of *x* radians.
220
221
222.. function:: tan(x)
223
224 Return the tangent of *x* radians.
225
226Angular conversion:
227
228
229.. function:: degrees(x)
230
231 Converts angle *x* from radians to degrees.
232
233
234.. function:: radians(x)
235
236 Converts angle *x* from degrees to radians.
237
238Hyperbolic functions:
239
240
Mark Dickinson47a84aa2008-04-19 21:49:22 +0000241.. function:: acosh(x)
242
243 Return the inverse hyperbolic cosine of *x*.
244
245 .. versionadded:: 2.6
246
247
248.. function:: asinh(x)
249
250 Return the inverse hyperbolic sine of *x*.
251
252 .. versionadded:: 2.6
253
254
255.. function:: atanh(x)
256
257 Return the inverse hyperbolic tangent of *x*.
258
259 .. versionadded:: 2.6
260
261
Georg Brandl8ec7f652007-08-15 14:28:01 +0000262.. function:: cosh(x)
263
264 Return the hyperbolic cosine of *x*.
265
266
267.. function:: sinh(x)
268
269 Return the hyperbolic sine of *x*.
270
271
272.. function:: tanh(x)
273
274 Return the hyperbolic tangent of *x*.
275
Christian Heimes6f341092008-04-18 23:13:07 +0000276
Christian Heimes6f341092008-04-18 23:13:07 +0000277
Georg Brandl8ec7f652007-08-15 14:28:01 +0000278The module also defines two mathematical constants:
279
280
281.. data:: pi
282
283 The mathematical constant *pi*.
284
285
286.. data:: e
287
288 The mathematical constant *e*.
289
Christian Heimes6f341092008-04-18 23:13:07 +0000290
Georg Brandl8ec7f652007-08-15 14:28:01 +0000291.. note::
292
293 The :mod:`math` module consists mostly of thin wrappers around the platform C
294 math library functions. Behavior in exceptional cases is loosely specified
295 by the C standards, and Python inherits much of its math-function
296 error-reporting behavior from the platform C implementation. As a result,
297 the specific exceptions raised in error cases (and even whether some
298 arguments are considered to be exceptional at all) are not defined in any
299 useful cross-platform or cross-release way. For example, whether
300 ``math.log(0)`` returns ``-Inf`` or raises :exc:`ValueError` or
301 :exc:`OverflowError` isn't defined, and in cases where ``math.log(0)`` raises
302 :exc:`OverflowError`, ``math.log(0L)`` may raise :exc:`ValueError` instead.
303
Mark Dickinson48f7a4a2008-04-19 21:35:35 +0000304 All functions return a quiet *NaN* if at least one of the args is *NaN*.
Christian Heimes6f341092008-04-18 23:13:07 +0000305 Signaling *NaN*s raise an exception. The exception type still depends on the
306 platform and libm implementation. It's usually :exc:`ValueError` for *EDOM*
307 and :exc:`OverflowError` for errno *ERANGE*.
308
Georg Brandl173b7392008-05-12 17:43:13 +0000309 .. versionchanged:: 2.6
Christian Heimes6f341092008-04-18 23:13:07 +0000310 In earlier versions of Python the outcome of an operation with NaN as
311 input depended on platform and libm implementation.
312
Georg Brandl8ec7f652007-08-15 14:28:01 +0000313
314.. seealso::
315
316 Module :mod:`cmath`
317 Complex number versions of many of these functions.