2008-01-15 03:46:24 -04:00
|
|
|
|
2008-02-10 17:29:51 -04:00
|
|
|
:mod:`fractions` --- Rational numbers
|
2008-02-11 19:34:56 -04:00
|
|
|
=====================================
|
2008-01-15 03:46:24 -04:00
|
|
|
|
2008-02-10 17:29:51 -04:00
|
|
|
.. module:: fractions
|
2008-01-15 03:46:24 -04:00
|
|
|
:synopsis: Rational numbers.
|
|
|
|
.. moduleauthor:: Jeffrey Yasskin <jyasskin at gmail.com>
|
|
|
|
.. sectionauthor:: Jeffrey Yasskin <jyasskin at gmail.com>
|
|
|
|
.. versionadded:: 2.6
|
|
|
|
|
|
|
|
|
2008-02-10 17:29:51 -04:00
|
|
|
The :mod:`fractions` module defines an immutable, infinite-precision
|
|
|
|
Fraction number class.
|
2008-01-15 03:46:24 -04:00
|
|
|
|
|
|
|
|
2008-02-10 17:29:51 -04:00
|
|
|
.. class:: Fraction(numerator=0, denominator=1)
|
|
|
|
Fraction(other_fraction)
|
|
|
|
Fraction(string)
|
2008-01-15 03:46:24 -04:00
|
|
|
|
|
|
|
The first version requires that *numerator* and *denominator* are
|
|
|
|
instances of :class:`numbers.Integral` and returns a new
|
2008-02-10 17:29:51 -04:00
|
|
|
``Fraction`` representing ``numerator/denominator``. If
|
2008-01-15 03:46:24 -04:00
|
|
|
*denominator* is :const:`0`, raises a :exc:`ZeroDivisionError`. The
|
2008-02-10 17:29:51 -04:00
|
|
|
second version requires that *other_fraction* is an instance of
|
2008-01-15 03:46:24 -04:00
|
|
|
:class:`numbers.Rational` and returns an instance of
|
2008-02-10 17:29:51 -04:00
|
|
|
:class:`Fraction` with the same value. The third version expects a
|
2008-01-19 05:56:06 -04:00
|
|
|
string of the form ``[-+]?[0-9]+(/[0-9]+)?``, optionally surrounded
|
|
|
|
by spaces.
|
2008-01-15 03:46:24 -04:00
|
|
|
|
|
|
|
Implements all of the methods and operations from
|
2008-01-19 05:56:06 -04:00
|
|
|
:class:`numbers.Rational` and is immutable and hashable.
|
2008-01-15 03:46:24 -04:00
|
|
|
|
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
.. method:: from_float(flt)
|
2008-01-15 03:46:24 -04:00
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
This classmethod constructs a :class:`Fraction` representing the exact
|
|
|
|
value of *flt*, which must be a :class:`float`. Beware that
|
|
|
|
``Fraction.from_float(0.3)`` is not the same value as ``Fraction(3, 10)``
|
2008-01-15 03:46:24 -04:00
|
|
|
|
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
.. method:: from_decimal(dec)
|
2008-01-19 05:56:06 -04:00
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
This classmethod constructs a :class:`Fraction` representing the exact
|
|
|
|
value of *dec*, which must be a :class:`decimal.Decimal`.
|
2008-01-19 05:56:06 -04:00
|
|
|
|
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
.. method:: limit_denominator(max_denominator=1000000)
|
2008-02-12 17:31:59 -04:00
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
Finds and returns the closest :class:`Fraction` to ``self`` that has
|
|
|
|
denominator at most max_denominator. This method is useful for finding
|
|
|
|
rational approximations to a given floating-point number:
|
2008-02-12 17:31:59 -04:00
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
>>> from fractions import Fraction
|
|
|
|
>>> Fraction('3.1415926535897932').limit_denominator(1000)
|
|
|
|
Fraction(355L, 113L)
|
2008-02-12 17:31:59 -04:00
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
or for recovering a rational number that's represented as a float:
|
2008-02-12 17:31:59 -04:00
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
>>> from math import pi, cos
|
|
|
|
>>> Fraction.from_float(cos(pi/3))
|
|
|
|
Fraction(4503599627370497L, 9007199254740992L)
|
|
|
|
>>> Fraction.from_float(cos(pi/3)).limit_denominator()
|
|
|
|
Fraction(1L, 2L)
|
2008-02-12 17:31:59 -04:00
|
|
|
|
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
.. method:: __floor__()
|
2008-01-15 03:46:24 -04:00
|
|
|
|
2008-06-24 12:35:14 -03:00
|
|
|
Returns the greatest :class:`int` ``<= self``.
|
2008-01-15 03:46:24 -04:00
|
|
|
|
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
.. method:: __ceil__()
|
2008-01-15 03:46:24 -04:00
|
|
|
|
2008-06-24 12:35:14 -03:00
|
|
|
Returns the least :class:`int` ``>= self``.
|
2008-01-15 03:46:24 -04:00
|
|
|
|
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
.. method:: __round__()
|
|
|
|
__round__(ndigits)
|
2008-01-15 03:46:24 -04:00
|
|
|
|
2008-04-24 22:29:10 -03:00
|
|
|
The first version returns the nearest :class:`int` to ``self``, rounding
|
|
|
|
half to even. The second version rounds ``self`` to the nearest multiple
|
|
|
|
of ``Fraction(1, 10**ndigits)`` (logically, if ``ndigits`` is negative),
|
2008-06-24 12:35:14 -03:00
|
|
|
again rounding half toward even.
|
2008-01-15 03:46:24 -04:00
|
|
|
|
|
|
|
|
|
|
|
.. seealso::
|
|
|
|
|
|
|
|
Module :mod:`numbers`
|
|
|
|
The abstract base classes making up the numeric tower.
|