Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 1 | |
Christian Heimes | 3feef61 | 2008-02-11 06:19:17 +0000 | [diff] [blame] | 2 | :mod:`fractions` --- Rational numbers |
Christian Heimes | 0bd4e11 | 2008-02-12 22:59:25 +0000 | [diff] [blame] | 3 | ===================================== |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 4 | |
Christian Heimes | 3feef61 | 2008-02-11 06:19:17 +0000 | [diff] [blame] | 5 | .. module:: fractions |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 6 | :synopsis: Rational numbers. |
| 7 | .. moduleauthor:: Jeffrey Yasskin <jyasskin at gmail.com> |
| 8 | .. sectionauthor:: Jeffrey Yasskin <jyasskin at gmail.com> |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 9 | |
| 10 | |
Christian Heimes | 3feef61 | 2008-02-11 06:19:17 +0000 | [diff] [blame] | 11 | The :mod:`fractions` module defines an immutable, infinite-precision |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 12 | Rational number class. |
| 13 | |
| 14 | |
Christian Heimes | 3feef61 | 2008-02-11 06:19:17 +0000 | [diff] [blame] | 15 | .. class:: Fraction(numerator=0, denominator=1) |
| 16 | Fraction(other_fraction) |
| 17 | Fraction(string) |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 18 | |
| 19 | The first version requires that *numerator* and *denominator* are |
| 20 | instances of :class:`numbers.Integral` and returns a new |
Christian Heimes | 3feef61 | 2008-02-11 06:19:17 +0000 | [diff] [blame] | 21 | ``Fraction`` representing ``numerator/denominator``. If |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 22 | *denominator* is :const:`0`, raises a :exc:`ZeroDivisionError`. The |
Christian Heimes | 3feef61 | 2008-02-11 06:19:17 +0000 | [diff] [blame] | 23 | second version requires that *other_fraction* is an instance of |
| 24 | :class:`numbers.Fraction` and returns an instance of |
Christian Heimes | 587c2bf | 2008-01-19 16:21:02 +0000 | [diff] [blame] | 25 | :class:`Rational` with the same value. The third version expects a |
| 26 | string of the form ``[-+]?[0-9]+(/[0-9]+)?``, optionally surrounded |
| 27 | by spaces. |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 28 | |
| 29 | Implements all of the methods and operations from |
Christian Heimes | 587c2bf | 2008-01-19 16:21:02 +0000 | [diff] [blame] | 30 | :class:`numbers.Rational` and is immutable and hashable. |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 31 | |
| 32 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 33 | .. method:: from_float(flt) |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 34 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 35 | This classmethod constructs a :class:`Fraction` representing the exact |
| 36 | value of *flt*, which must be a :class:`float`. Beware that |
| 37 | ``Fraction.from_float(0.3)`` is not the same value as ``Rational(3, 10)`` |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 38 | |
| 39 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 40 | .. method:: from_decimal(dec) |
Christian Heimes | 587c2bf | 2008-01-19 16:21:02 +0000 | [diff] [blame] | 41 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 42 | This classmethod constructs a :class:`Fraction` representing the exact |
| 43 | value of *dec*, which must be a :class:`decimal.Decimal`. |
Christian Heimes | 587c2bf | 2008-01-19 16:21:02 +0000 | [diff] [blame] | 44 | |
| 45 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 46 | .. method:: limit_denominator(max_denominator=1000000) |
Christian Heimes | 68f5fbe | 2008-02-14 08:27:37 +0000 | [diff] [blame] | 47 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 48 | Finds and returns the closest :class:`Fraction` to ``self`` that has |
| 49 | denominator at most max_denominator. This method is useful for finding |
| 50 | rational approximations to a given floating-point number: |
Christian Heimes | 68f5fbe | 2008-02-14 08:27:37 +0000 | [diff] [blame] | 51 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 52 | >>> from fractions import Fraction |
| 53 | >>> Fraction('3.1415926535897932').limit_denominator(1000) |
| 54 | Fraction(355L, 113L) |
Christian Heimes | 68f5fbe | 2008-02-14 08:27:37 +0000 | [diff] [blame] | 55 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 56 | or for recovering a rational number that's represented as a float: |
Christian Heimes | 68f5fbe | 2008-02-14 08:27:37 +0000 | [diff] [blame] | 57 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 58 | >>> from math import pi, cos |
| 59 | >>> Fraction.from_float(cos(pi/3)) |
| 60 | Fraction(4503599627370497L, 9007199254740992L) |
| 61 | >>> Fraction.from_float(cos(pi/3)).limit_denominator() |
| 62 | Fraction(1L, 2L) |
Christian Heimes | 68f5fbe | 2008-02-14 08:27:37 +0000 | [diff] [blame] | 63 | |
| 64 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 65 | .. method:: __floor__() |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 66 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 67 | Returns the greatest :class:`int` ``<= self``. Will be accessible through |
| 68 | :func:`math.floor` in Py3k. |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 69 | |
| 70 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 71 | .. method:: __ceil__() |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 72 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 73 | Returns the least :class:`int` ``>= self``. Will be accessible through |
| 74 | :func:`math.ceil` in Py3k. |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 75 | |
| 76 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 77 | .. method:: __round__() |
| 78 | __round__(ndigits) |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 79 | |
Benjamin Peterson | e41251e | 2008-04-25 01:59:09 +0000 | [diff] [blame] | 80 | The first version returns the nearest :class:`int` to ``self``, rounding |
| 81 | half to even. The second version rounds ``self`` to the nearest multiple |
| 82 | of ``Fraction(1, 10**ndigits)`` (logically, if ``ndigits`` is negative), |
| 83 | again rounding half toward even. Will be accessible through :func:`round` |
| 84 | in Py3k. |
Guido van Rossum | 7736b5b | 2008-01-15 21:44:53 +0000 | [diff] [blame] | 85 | |
| 86 | |
| 87 | .. seealso:: |
| 88 | |
| 89 | Module :mod:`numbers` |
| 90 | The abstract base classes making up the numeric tower. |