blob: 1ae5bdcc2e4529f3ea0cdad157278c957533bc99 [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
Raymond Hettingerecbdd2e2008-06-09 06:54:45 +000045.. function:: factorial(x)
46
Mark Dickinsonf88f7392008-06-18 09:20:17 +000047 Return *x* factorial. Raises :exc:`ValueError` if *x* is not integral or
Raymond Hettingerecbdd2e2008-06-09 06:54:45 +000048 is negative.
Georg Brandl8ec7f652007-08-15 14:28:01 +000049
50.. function:: floor(x)
51
Jeffrey Yasskin9871d8f2008-01-05 08:47:13 +000052 Return the floor of *x* as a float, the largest integer value less than or equal
53 to *x*.
Georg Brandl8ec7f652007-08-15 14:28:01 +000054
Georg Brandl9749e152008-01-05 19:28:16 +000055 .. versionchanged:: 2.6
56 Added :meth:`__floor__` delegation.
57
Georg Brandl8ec7f652007-08-15 14:28:01 +000058
59.. function:: fmod(x, y)
60
61 Return ``fmod(x, y)``, as defined by the platform C library. Note that the
62 Python expression ``x % y`` may not return the same result. The intent of the C
63 standard is that ``fmod(x, y)`` be exactly (mathematically; to infinite
64 precision) equal to ``x - n*y`` for some integer *n* such that the result has
65 the same sign as *x* and magnitude less than ``abs(y)``. Python's ``x % y``
66 returns a result with the sign of *y* instead, and may not be exactly computable
67 for float arguments. For example, ``fmod(-1e-100, 1e100)`` is ``-1e-100``, but
68 the result of Python's ``-1e-100 % 1e100`` is ``1e100-1e-100``, which cannot be
69 represented exactly as a float, and rounds to the surprising ``1e100``. For
70 this reason, function :func:`fmod` is generally preferred when working with
71 floats, while Python's ``x % y`` is preferred when working with integers.
72
73
74.. function:: frexp(x)
75
76 Return the mantissa and exponent of *x* as the pair ``(m, e)``. *m* is a float
77 and *e* is an integer such that ``x == m * 2**e`` exactly. If *x* is zero,
78 returns ``(0.0, 0)``, otherwise ``0.5 <= abs(m) < 1``. This is used to "pick
79 apart" the internal representation of a float in a portable way.
80
81
Christian Heimese2ca4242008-01-03 20:23:15 +000082.. function:: isinf(x)
83
84 Checks if the float *x* is positive or negative infinite.
85
Andrew M. Kuchling54966a52008-01-04 18:25:05 +000086 .. versionadded:: 2.6
Christian Heimese2ca4242008-01-03 20:23:15 +000087
88
89.. function:: isnan(x)
90
91 Checks if the float *x* is a NaN (not a number). NaNs are part of the
92 IEEE 754 standards. Operation like but not limited to ``inf * 0``,
93 ``inf / inf`` or any operation involving a NaN, e.g. ``nan * 1``, return
94 a NaN.
95
Andrew M. Kuchling54966a52008-01-04 18:25:05 +000096 .. versionadded:: 2.6
Christian Heimese2ca4242008-01-03 20:23:15 +000097
98
Georg Brandl8ec7f652007-08-15 14:28:01 +000099.. function:: ldexp(x, i)
100
101 Return ``x * (2**i)``. This is essentially the inverse of function
102 :func:`frexp`.
103
104
105.. function:: modf(x)
106
107 Return the fractional and integer parts of *x*. Both results carry the sign of
108 *x*, and both are floats.
109
Raymond Hettingercc858cc2008-05-23 00:49:27 +0000110.. function:: sum(iterable)
111
112 Return an accurate floating point sum of values in the iterable. Avoids
113 loss of precision by tracking multiple intermediate partial sums. The
114 algorithm's accuracy depends on IEEE-754 arithmetic guarantees and the
115 typical case where the rounding mode is half-even.
Jeffrey Yasskinca2b69f2008-02-01 06:22:46 +0000116
117.. function:: trunc(x)
118
119 Return the :class:`Real` value *x* truncated to an :class:`Integral` (usually
120 a long integer). Delegates to ``x.__trunc__()``.
121
122 .. versionadded:: 2.6
123
Georg Brandl8ec7f652007-08-15 14:28:01 +0000124Note that :func:`frexp` and :func:`modf` have a different call/return pattern
125than their C equivalents: they take a single argument and return a pair of
126values, rather than returning their second return value through an 'output
127parameter' (there is no such thing in Python).
128
129For the :func:`ceil`, :func:`floor`, and :func:`modf` functions, note that *all*
130floating-point numbers of sufficiently large magnitude are exact integers.
131Python floats typically carry no more than 53 bits of precision (the same as the
132platform C double type), in which case any float *x* with ``abs(x) >= 2**52``
133necessarily has no fractional bits.
134
135Power and logarithmic functions:
136
137
138.. function:: exp(x)
139
140 Return ``e**x``.
141
142
143.. function:: log(x[, base])
144
145 Return the logarithm of *x* to the given *base*. If the *base* is not specified,
146 return the natural logarithm of *x* (that is, the logarithm to base *e*).
147
148 .. versionchanged:: 2.3
149 *base* argument added.
150
151
Christian Heimes6f341092008-04-18 23:13:07 +0000152.. function:: log1p(x)
153
154 Return the natural logarithm of *1+x* (base *e*). The
155 result is calculated in a way which is accurate for *x* near zero.
156
157 .. versionadded:: 2.6
158
159
Georg Brandl8ec7f652007-08-15 14:28:01 +0000160.. function:: log10(x)
161
162 Return the base-10 logarithm of *x*.
163
164
165.. function:: pow(x, y)
166
Mark Dickinson48f7a4a2008-04-19 21:35:35 +0000167 Return ``x`` raised to the power ``y``. Exceptional cases follow
168 Annex 'F' of the C99 standard as far as possible. In particular,
169 ``pow(1.0, x)`` and ``pow(x, 0.0)`` always return ``1.0``, even
170 when ``x`` is a zero or a NaN. If both ``x`` and ``y`` are finite,
171 ``x`` is negative, and ``y`` is not an integer then ``pow(x, y)``
172 is undefined, and raises :exc:`ValueError`.
Christian Heimes6f341092008-04-18 23:13:07 +0000173
174 .. versionchanged:: 2.6
Mark Dickinson48f7a4a2008-04-19 21:35:35 +0000175 The outcome of ``1**nan`` and ``nan**0`` was undefined.
Georg Brandl8ec7f652007-08-15 14:28:01 +0000176
177
178.. function:: sqrt(x)
179
180 Return the square root of *x*.
181
182Trigonometric functions:
183
184
185.. function:: acos(x)
186
187 Return the arc cosine of *x*, in radians.
188
189
190.. function:: asin(x)
191
192 Return the arc sine of *x*, in radians.
193
194
195.. function:: atan(x)
196
197 Return the arc tangent of *x*, in radians.
198
199
200.. function:: atan2(y, x)
201
202 Return ``atan(y / x)``, in radians. The result is between ``-pi`` and ``pi``.
203 The vector in the plane from the origin to point ``(x, y)`` makes this angle
204 with the positive X axis. The point of :func:`atan2` is that the signs of both
205 inputs are known to it, so it can compute the correct quadrant for the angle.
206 For example, ``atan(1``) and ``atan2(1, 1)`` are both ``pi/4``, but ``atan2(-1,
207 -1)`` is ``-3*pi/4``.
208
209
210.. function:: cos(x)
211
212 Return the cosine of *x* radians.
213
214
215.. function:: hypot(x, y)
216
217 Return the Euclidean norm, ``sqrt(x*x + y*y)``. This is the length of the vector
218 from the origin to point ``(x, y)``.
219
220
221.. function:: sin(x)
222
223 Return the sine of *x* radians.
224
225
226.. function:: tan(x)
227
228 Return the tangent of *x* radians.
229
230Angular conversion:
231
232
233.. function:: degrees(x)
234
235 Converts angle *x* from radians to degrees.
236
237
238.. function:: radians(x)
239
240 Converts angle *x* from degrees to radians.
241
242Hyperbolic functions:
243
244
Mark Dickinson47a84aa2008-04-19 21:49:22 +0000245.. function:: acosh(x)
246
247 Return the inverse hyperbolic cosine of *x*.
248
249 .. versionadded:: 2.6
250
251
252.. function:: asinh(x)
253
254 Return the inverse hyperbolic sine of *x*.
255
256 .. versionadded:: 2.6
257
258
259.. function:: atanh(x)
260
261 Return the inverse hyperbolic tangent of *x*.
262
263 .. versionadded:: 2.6
264
265
Georg Brandl8ec7f652007-08-15 14:28:01 +0000266.. function:: cosh(x)
267
268 Return the hyperbolic cosine of *x*.
269
270
271.. function:: sinh(x)
272
273 Return the hyperbolic sine of *x*.
274
275
276.. function:: tanh(x)
277
278 Return the hyperbolic tangent of *x*.
279
Christian Heimes6f341092008-04-18 23:13:07 +0000280
Christian Heimes6f341092008-04-18 23:13:07 +0000281
Georg Brandl8ec7f652007-08-15 14:28:01 +0000282The module also defines two mathematical constants:
283
284
285.. data:: pi
286
287 The mathematical constant *pi*.
288
289
290.. data:: e
291
292 The mathematical constant *e*.
293
Christian Heimes6f341092008-04-18 23:13:07 +0000294
Georg Brandl8ec7f652007-08-15 14:28:01 +0000295.. note::
296
297 The :mod:`math` module consists mostly of thin wrappers around the platform C
298 math library functions. Behavior in exceptional cases is loosely specified
299 by the C standards, and Python inherits much of its math-function
300 error-reporting behavior from the platform C implementation. As a result,
301 the specific exceptions raised in error cases (and even whether some
302 arguments are considered to be exceptional at all) are not defined in any
303 useful cross-platform or cross-release way. For example, whether
304 ``math.log(0)`` returns ``-Inf`` or raises :exc:`ValueError` or
305 :exc:`OverflowError` isn't defined, and in cases where ``math.log(0)`` raises
306 :exc:`OverflowError`, ``math.log(0L)`` may raise :exc:`ValueError` instead.
307
Mark Dickinson48f7a4a2008-04-19 21:35:35 +0000308 All functions return a quiet *NaN* if at least one of the args is *NaN*.
Christian Heimes6f341092008-04-18 23:13:07 +0000309 Signaling *NaN*s raise an exception. The exception type still depends on the
310 platform and libm implementation. It's usually :exc:`ValueError` for *EDOM*
311 and :exc:`OverflowError` for errno *ERANGE*.
312
Georg Brandl173b7392008-05-12 17:43:13 +0000313 .. versionchanged:: 2.6
Christian Heimes6f341092008-04-18 23:13:07 +0000314 In earlier versions of Python the outcome of an operation with NaN as
315 input depended on platform and libm implementation.
316
Georg Brandl8ec7f652007-08-15 14:28:01 +0000317
318.. seealso::
319
320 Module :mod:`cmath`
321 Complex number versions of many of these functions.