blob: b33c597d7bdeda6e584f439f19614d0a016c3a79 [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
Georg Brandl8ec7f652007-08-15 14:28:01 +000024
Benjamin Peterson4f6ec9d2008-12-20 02:51:26 +000025Number-theoretic and representation functions
26---------------------------------------------
Georg Brandl8ec7f652007-08-15 14:28:01 +000027
28.. function:: ceil(x)
29
Jeffrey Yasskin9871d8f2008-01-05 08:47:13 +000030 Return the ceiling of *x* as a float, the smallest integer value greater than or
31 equal to *x*.
Georg Brandl8ec7f652007-08-15 14:28:01 +000032
33
Christian Heimeseebb79c2008-01-03 22:32:26 +000034.. function:: copysign(x, y)
35
36 Return *x* with the sign of *y*. ``copysign`` copies the sign bit of an IEEE
37 754 float, ``copysign(1, -0.0)`` returns *-1.0*.
38
Andrew M. Kuchling54966a52008-01-04 18:25:05 +000039 .. versionadded:: 2.6
Christian Heimeseebb79c2008-01-03 22:32:26 +000040
41
Georg Brandl8ec7f652007-08-15 14:28:01 +000042.. function:: fabs(x)
43
44 Return the absolute value of *x*.
45
Georg Brandl5da652e2008-06-18 09:28:22 +000046
Raymond Hettingerecbdd2e2008-06-09 06:54:45 +000047.. function:: factorial(x)
48
Mark Dickinsonf88f7392008-06-18 09:20:17 +000049 Return *x* factorial. Raises :exc:`ValueError` if *x* is not integral or
Raymond Hettingerecbdd2e2008-06-09 06:54:45 +000050 is negative.
Georg Brandl8ec7f652007-08-15 14:28:01 +000051
Georg Brandl5da652e2008-06-18 09:28:22 +000052 .. versionadded:: 2.6
53
54
Georg Brandl8ec7f652007-08-15 14:28:01 +000055.. function:: floor(x)
56
Jeffrey Yasskin9871d8f2008-01-05 08:47:13 +000057 Return the floor of *x* as a float, the largest integer value less than or equal
58 to *x*.
Georg Brandl8ec7f652007-08-15 14:28:01 +000059
Georg Brandl9749e152008-01-05 19:28:16 +000060 .. versionchanged:: 2.6
61 Added :meth:`__floor__` delegation.
62
Georg Brandl8ec7f652007-08-15 14:28:01 +000063
64.. function:: fmod(x, y)
65
66 Return ``fmod(x, y)``, as defined by the platform C library. Note that the
67 Python expression ``x % y`` may not return the same result. The intent of the C
68 standard is that ``fmod(x, y)`` be exactly (mathematically; to infinite
69 precision) equal to ``x - n*y`` for some integer *n* such that the result has
70 the same sign as *x* and magnitude less than ``abs(y)``. Python's ``x % y``
71 returns a result with the sign of *y* instead, and may not be exactly computable
72 for float arguments. For example, ``fmod(-1e-100, 1e100)`` is ``-1e-100``, but
73 the result of Python's ``-1e-100 % 1e100`` is ``1e100-1e-100``, which cannot be
74 represented exactly as a float, and rounds to the surprising ``1e100``. For
75 this reason, function :func:`fmod` is generally preferred when working with
76 floats, while Python's ``x % y`` is preferred when working with integers.
77
78
79.. function:: frexp(x)
80
81 Return the mantissa and exponent of *x* as the pair ``(m, e)``. *m* is a float
82 and *e* is an integer such that ``x == m * 2**e`` exactly. If *x* is zero,
83 returns ``(0.0, 0)``, otherwise ``0.5 <= abs(m) < 1``. This is used to "pick
84 apart" the internal representation of a float in a portable way.
85
86
Mark Dickinsonfef6b132008-07-30 16:20:10 +000087.. function:: fsum(iterable)
88
89 Return an accurate floating point sum of values in the iterable. Avoids
90 loss of precision by tracking multiple intermediate partial sums. The
91 algorithm's accuracy depends on IEEE-754 arithmetic guarantees and the
92 typical case where the rounding mode is half-even.
93
Mark Dickinson23957cb2008-07-30 20:23:15 +000094 .. note::
95
Mark Dickinsondadcd1f2008-08-01 09:13:07 +000096 The accuracy of fsum() may be impaired on builds that use
97 extended precision addition and then double-round the results.
Mark Dickinson23957cb2008-07-30 20:23:15 +000098
Mark Dickinsonfef6b132008-07-30 16:20:10 +000099 .. versionadded:: 2.6
100
101
Christian Heimese2ca4242008-01-03 20:23:15 +0000102.. function:: isinf(x)
103
104 Checks if the float *x* is positive or negative infinite.
105
Andrew M. Kuchling54966a52008-01-04 18:25:05 +0000106 .. versionadded:: 2.6
Christian Heimese2ca4242008-01-03 20:23:15 +0000107
108
109.. function:: isnan(x)
110
111 Checks if the float *x* is a NaN (not a number). NaNs are part of the
Georg Brandlc62ef8b2009-01-03 20:55:06 +0000112 IEEE 754 standards. Operation like but not limited to ``inf * 0``,
Christian Heimese2ca4242008-01-03 20:23:15 +0000113 ``inf / inf`` or any operation involving a NaN, e.g. ``nan * 1``, return
114 a NaN.
115
Andrew M. Kuchling54966a52008-01-04 18:25:05 +0000116 .. versionadded:: 2.6
Christian Heimese2ca4242008-01-03 20:23:15 +0000117
118
Georg Brandl8ec7f652007-08-15 14:28:01 +0000119.. function:: ldexp(x, i)
120
121 Return ``x * (2**i)``. This is essentially the inverse of function
122 :func:`frexp`.
123
124
125.. function:: modf(x)
126
Benjamin Peterson2d54e722008-12-20 02:48:02 +0000127 Return the fractional and integer parts of *x*. Both results carry the sign
Benjamin Peterson9de72982008-12-20 22:49:24 +0000128 of *x* and are floats.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000129
Georg Brandl5da652e2008-06-18 09:28:22 +0000130
Jeffrey Yasskinca2b69f2008-02-01 06:22:46 +0000131.. function:: trunc(x)
132
133 Return the :class:`Real` value *x* truncated to an :class:`Integral` (usually
134 a long integer). Delegates to ``x.__trunc__()``.
135
136 .. versionadded:: 2.6
137
Georg Brandl5da652e2008-06-18 09:28:22 +0000138
Georg Brandl8ec7f652007-08-15 14:28:01 +0000139Note that :func:`frexp` and :func:`modf` have a different call/return pattern
140than their C equivalents: they take a single argument and return a pair of
141values, rather than returning their second return value through an 'output
142parameter' (there is no such thing in Python).
143
144For the :func:`ceil`, :func:`floor`, and :func:`modf` functions, note that *all*
145floating-point numbers of sufficiently large magnitude are exact integers.
146Python floats typically carry no more than 53 bits of precision (the same as the
147platform C double type), in which case any float *x* with ``abs(x) >= 2**52``
148necessarily has no fractional bits.
149
Benjamin Peterson4f6ec9d2008-12-20 02:51:26 +0000150
151Power and logarithmic functions
152-------------------------------
Georg Brandl8ec7f652007-08-15 14:28:01 +0000153
Georg Brandl8ec7f652007-08-15 14:28:01 +0000154.. function:: exp(x)
155
156 Return ``e**x``.
157
158
159.. function:: log(x[, base])
160
161 Return the logarithm of *x* to the given *base*. If the *base* is not specified,
162 return the natural logarithm of *x* (that is, the logarithm to base *e*).
163
164 .. versionchanged:: 2.3
165 *base* argument added.
166
167
Christian Heimes6f341092008-04-18 23:13:07 +0000168.. function:: log1p(x)
169
170 Return the natural logarithm of *1+x* (base *e*). The
171 result is calculated in a way which is accurate for *x* near zero.
172
173 .. versionadded:: 2.6
174
175
Georg Brandl8ec7f652007-08-15 14:28:01 +0000176.. function:: log10(x)
177
178 Return the base-10 logarithm of *x*.
179
180
181.. function:: pow(x, y)
182
Mark Dickinson48f7a4a2008-04-19 21:35:35 +0000183 Return ``x`` raised to the power ``y``. Exceptional cases follow
184 Annex 'F' of the C99 standard as far as possible. In particular,
185 ``pow(1.0, x)`` and ``pow(x, 0.0)`` always return ``1.0``, even
186 when ``x`` is a zero or a NaN. If both ``x`` and ``y`` are finite,
187 ``x`` is negative, and ``y`` is not an integer then ``pow(x, y)``
188 is undefined, and raises :exc:`ValueError`.
Christian Heimes6f341092008-04-18 23:13:07 +0000189
190 .. versionchanged:: 2.6
Mark Dickinson48f7a4a2008-04-19 21:35:35 +0000191 The outcome of ``1**nan`` and ``nan**0`` was undefined.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000192
193
194.. function:: sqrt(x)
195
196 Return the square root of *x*.
197
Georg Brandl8ec7f652007-08-15 14:28:01 +0000198
Benjamin Peterson4f6ec9d2008-12-20 02:51:26 +0000199Trigonometric functions
200-----------------------
Georg Brandl8ec7f652007-08-15 14:28:01 +0000201
202.. function:: acos(x)
203
204 Return the arc cosine of *x*, in radians.
205
206
207.. function:: asin(x)
208
209 Return the arc sine of *x*, in radians.
210
211
212.. function:: atan(x)
213
214 Return the arc tangent of *x*, in radians.
215
216
217.. function:: atan2(y, x)
218
219 Return ``atan(y / x)``, in radians. The result is between ``-pi`` and ``pi``.
220 The vector in the plane from the origin to point ``(x, y)`` makes this angle
221 with the positive X axis. The point of :func:`atan2` is that the signs of both
222 inputs are known to it, so it can compute the correct quadrant for the angle.
223 For example, ``atan(1``) and ``atan2(1, 1)`` are both ``pi/4``, but ``atan2(-1,
224 -1)`` is ``-3*pi/4``.
225
226
227.. function:: cos(x)
228
229 Return the cosine of *x* radians.
230
231
232.. function:: hypot(x, y)
233
234 Return the Euclidean norm, ``sqrt(x*x + y*y)``. This is the length of the vector
235 from the origin to point ``(x, y)``.
236
237
238.. function:: sin(x)
239
240 Return the sine of *x* radians.
241
242
243.. function:: tan(x)
244
245 Return the tangent of *x* radians.
246
Georg Brandl8ec7f652007-08-15 14:28:01 +0000247
Benjamin Peterson4f6ec9d2008-12-20 02:51:26 +0000248Angular conversion
249------------------
Georg Brandl8ec7f652007-08-15 14:28:01 +0000250
251.. function:: degrees(x)
252
253 Converts angle *x* from radians to degrees.
254
255
256.. function:: radians(x)
257
258 Converts angle *x* from degrees to radians.
259
Georg Brandl8ec7f652007-08-15 14:28:01 +0000260
Benjamin Peterson4f6ec9d2008-12-20 02:51:26 +0000261Hyperbolic functions
262--------------------
Georg Brandl8ec7f652007-08-15 14:28:01 +0000263
Mark Dickinson47a84aa2008-04-19 21:49:22 +0000264.. function:: acosh(x)
265
266 Return the inverse hyperbolic cosine of *x*.
267
268 .. versionadded:: 2.6
269
270
271.. function:: asinh(x)
272
273 Return the inverse hyperbolic sine of *x*.
274
275 .. versionadded:: 2.6
276
277
278.. function:: atanh(x)
279
280 Return the inverse hyperbolic tangent of *x*.
281
282 .. versionadded:: 2.6
283
284
Georg Brandl8ec7f652007-08-15 14:28:01 +0000285.. function:: cosh(x)
286
287 Return the hyperbolic cosine of *x*.
288
289
290.. function:: sinh(x)
291
292 Return the hyperbolic sine of *x*.
293
294
295.. function:: tanh(x)
296
297 Return the hyperbolic tangent of *x*.
298
Christian Heimes6f341092008-04-18 23:13:07 +0000299
Benjamin Peterson4f6ec9d2008-12-20 02:51:26 +0000300Constants
301---------
Georg Brandl8ec7f652007-08-15 14:28:01 +0000302
Georg Brandl8ec7f652007-08-15 14:28:01 +0000303.. data:: pi
304
305 The mathematical constant *pi*.
306
307
308.. data:: e
309
310 The mathematical constant *e*.
311
Christian Heimes6f341092008-04-18 23:13:07 +0000312
Georg Brandl8ec7f652007-08-15 14:28:01 +0000313.. note::
314
315 The :mod:`math` module consists mostly of thin wrappers around the platform C
316 math library functions. Behavior in exceptional cases is loosely specified
317 by the C standards, and Python inherits much of its math-function
318 error-reporting behavior from the platform C implementation. As a result,
319 the specific exceptions raised in error cases (and even whether some
320 arguments are considered to be exceptional at all) are not defined in any
321 useful cross-platform or cross-release way. For example, whether
322 ``math.log(0)`` returns ``-Inf`` or raises :exc:`ValueError` or
323 :exc:`OverflowError` isn't defined, and in cases where ``math.log(0)`` raises
324 :exc:`OverflowError`, ``math.log(0L)`` may raise :exc:`ValueError` instead.
325
Mark Dickinson48f7a4a2008-04-19 21:35:35 +0000326 All functions return a quiet *NaN* if at least one of the args is *NaN*.
Georg Brandl9481ba32008-08-30 22:00:28 +0000327 Signaling *NaN*\s raise an exception. The exception type still depends on the
Christian Heimes6f341092008-04-18 23:13:07 +0000328 platform and libm implementation. It's usually :exc:`ValueError` for *EDOM*
329 and :exc:`OverflowError` for errno *ERANGE*.
330
Georg Brandl173b7392008-05-12 17:43:13 +0000331 .. versionchanged:: 2.6
Christian Heimes6f341092008-04-18 23:13:07 +0000332 In earlier versions of Python the outcome of an operation with NaN as
333 input depended on platform and libm implementation.
334
Georg Brandl8ec7f652007-08-15 14:28:01 +0000335
336.. seealso::
337
338 Module :mod:`cmath`
339 Complex number versions of many of these functions.