blob: 5680215f3e1d9c76bdf9e4cc811b0ed5c6edbf35 [file] [log] [blame]
Jeffrey Yasskind7b00332008-01-15 07:46:24 +00001
Mark Dickinsond058cd22008-02-10 21:29:51 +00002:mod:`fractions` --- Rational numbers
Raymond Hettinger2ddbd802008-02-11 23:34:56 +00003=====================================
Jeffrey Yasskind7b00332008-01-15 07:46:24 +00004
Mark Dickinsond058cd22008-02-10 21:29:51 +00005.. module:: fractions
Jeffrey Yasskind7b00332008-01-15 07:46:24 +00006 :synopsis: Rational numbers.
7.. moduleauthor:: Jeffrey Yasskin <jyasskin at gmail.com>
8.. sectionauthor:: Jeffrey Yasskin <jyasskin at gmail.com>
9.. versionadded:: 2.6
10
11
Mark Dickinsondf90ee62008-06-27 16:49:27 +000012The :mod:`fractions` module provides support for rational number arithmetic.
Jeffrey Yasskind7b00332008-01-15 07:46:24 +000013
14
Mark Dickinsondf90ee62008-06-27 16:49:27 +000015A Fraction instance can be constructed from a pair of integers, from
16another rational number, or from a string.
17
Mark Dickinsond058cd22008-02-10 21:29:51 +000018.. class:: Fraction(numerator=0, denominator=1)
19 Fraction(other_fraction)
20 Fraction(string)
Jeffrey Yasskind7b00332008-01-15 07:46:24 +000021
22 The first version requires that *numerator* and *denominator* are
Mark Dickinson9ad0b362009-07-30 10:00:10 +000023 instances of :class:`numbers.Rational` and returns a new
Mark Dickinsondf90ee62008-06-27 16:49:27 +000024 :class:`Fraction` instance with value ``numerator/denominator``. If
25 *denominator* is :const:`0`, it raises a
26 :exc:`ZeroDivisionError`. The second version requires that
27 *other_fraction* is an instance of :class:`numbers.Rational` and
28 returns an :class:`Fraction` instance with the same value. The
29 last version of the constructor expects a string or unicode
Mark Dickinson8100bd82009-04-22 18:15:25 +000030 instance. The usual form for this instance is::
Jeffrey Yasskind7b00332008-01-15 07:46:24 +000031
Mark Dickinsondf90ee62008-06-27 16:49:27 +000032 [sign] numerator ['/' denominator]
33
34 where the optional ``sign`` may be either '+' or '-' and
35 ``numerator`` and ``denominator`` (if present) are strings of
Mark Dickinson8100bd82009-04-22 18:15:25 +000036 decimal digits. In addition, any string that represents a finite
37 value and is accepted by the :class:`float` constructor is also
38 accepted by the :class:`Fraction` constructor. In either form the
39 input string may also have leading and/or trailing whitespace.
40 Here are some examples::
Mark Dickinsondf90ee62008-06-27 16:49:27 +000041
42 >>> from fractions import Fraction
43 >>> Fraction(16, -10)
44 Fraction(-8, 5)
45 >>> Fraction(123)
46 Fraction(123, 1)
47 >>> Fraction()
48 Fraction(0, 1)
49 >>> Fraction('3/7')
50 Fraction(3, 7)
51 [40794 refs]
52 >>> Fraction(' -3/7 ')
53 Fraction(-3, 7)
54 >>> Fraction('1.414213 \t\n')
55 Fraction(1414213, 1000000)
56 >>> Fraction('-.125')
57 Fraction(-1, 8)
Mark Dickinson8100bd82009-04-22 18:15:25 +000058 >>> Fraction('7e-6')
59 Fraction(7, 1000000)
Mark Dickinsondf90ee62008-06-27 16:49:27 +000060
61
62 The :class:`Fraction` class inherits from the abstract base class
63 :class:`numbers.Rational`, and implements all of the methods and
64 operations from that class. :class:`Fraction` instances are hashable,
65 and should be treated as immutable. In addition,
66 :class:`Fraction` has the following methods:
Jeffrey Yasskind7b00332008-01-15 07:46:24 +000067
68
Benjamin Petersonc7b05922008-04-25 01:29:10 +000069 .. method:: from_float(flt)
Jeffrey Yasskind7b00332008-01-15 07:46:24 +000070
Mark Dickinsondf90ee62008-06-27 16:49:27 +000071 This class method constructs a :class:`Fraction` representing the exact
Benjamin Petersonc7b05922008-04-25 01:29:10 +000072 value of *flt*, which must be a :class:`float`. Beware that
73 ``Fraction.from_float(0.3)`` is not the same value as ``Fraction(3, 10)``
Jeffrey Yasskind7b00332008-01-15 07:46:24 +000074
75
Benjamin Petersonc7b05922008-04-25 01:29:10 +000076 .. method:: from_decimal(dec)
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +000077
Mark Dickinsondf90ee62008-06-27 16:49:27 +000078 This class method constructs a :class:`Fraction` representing the exact
Benjamin Petersonc7b05922008-04-25 01:29:10 +000079 value of *dec*, which must be a :class:`decimal.Decimal`.
Jeffrey Yasskin45169fb2008-01-19 09:56:06 +000080
81
Benjamin Petersonc7b05922008-04-25 01:29:10 +000082 .. method:: limit_denominator(max_denominator=1000000)
Mark Dickinsone1b82472008-02-12 21:31:59 +000083
Benjamin Petersonc7b05922008-04-25 01:29:10 +000084 Finds and returns the closest :class:`Fraction` to ``self`` that has
85 denominator at most max_denominator. This method is useful for finding
86 rational approximations to a given floating-point number:
Mark Dickinsone1b82472008-02-12 21:31:59 +000087
Benjamin Petersonc7b05922008-04-25 01:29:10 +000088 >>> from fractions import Fraction
89 >>> Fraction('3.1415926535897932').limit_denominator(1000)
Mark Dickinsondf90ee62008-06-27 16:49:27 +000090 Fraction(355, 113)
Mark Dickinsone1b82472008-02-12 21:31:59 +000091
Benjamin Petersonc7b05922008-04-25 01:29:10 +000092 or for recovering a rational number that's represented as a float:
Mark Dickinsone1b82472008-02-12 21:31:59 +000093
Benjamin Petersonc7b05922008-04-25 01:29:10 +000094 >>> from math import pi, cos
95 >>> Fraction.from_float(cos(pi/3))
Mark Dickinsondf90ee62008-06-27 16:49:27 +000096 Fraction(4503599627370497, 9007199254740992)
Benjamin Petersonc7b05922008-04-25 01:29:10 +000097 >>> Fraction.from_float(cos(pi/3)).limit_denominator()
Mark Dickinsondf90ee62008-06-27 16:49:27 +000098 Fraction(1, 2)
Mark Dickinsone1b82472008-02-12 21:31:59 +000099
100
Mark Dickinsondf90ee62008-06-27 16:49:27 +0000101.. function:: gcd(a, b)
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000102
Georg Brandle92818f2009-01-03 20:47:01 +0000103 Return the greatest common divisor of the integers *a* and *b*. If either
104 *a* or *b* is nonzero, then the absolute value of ``gcd(a, b)`` is the
105 largest integer that divides both *a* and *b*. ``gcd(a,b)`` has the same
106 sign as *b* if *b* is nonzero; otherwise it takes the sign of *a*. ``gcd(0,
107 0)`` returns ``0``.
Jeffrey Yasskind7b00332008-01-15 07:46:24 +0000108
109
110.. seealso::
111
112 Module :mod:`numbers`
113 The abstract base classes making up the numeric tower.