前のトピックへ

9.4. decimal — 10進固定及び浮動小数点数の算術演算

次のトピックへ

9.6. random — 擬似乱数を生成する

このページ

9.5. fractions — 有理数

バージョン 2.6 で追加.

fractions モジュールは有理数計算のサポートを提供します。

Fraction インスタンスは一対の整数、他の有理数または文字列から組み立てられます。

class fractions.Fraction(numerator=0, denominator=1)
class fractions.Fraction(other_fraction)
class fractions.Fraction(string)

最初のバージョンは numeratordenominatornumbers.Integral のインスタンスであることを要求し、 numerator/denominator の値を持った新しい Fraction インスタンスを返します。 denominator0 ならば、 ZeroDivisionError を送出します。二番目のバージョンは other_fractionnumbers.Rational のインスタンスであることを要求し、同じ値を持った新しい Fraction インスタンスを返します。最後のバージョンは二つの可能な形式のうちどちらかであるような文字列またはユニコードのインスタンスを渡されると思っています。一つめの形式は:

[sign] numerator ['/' denominator]

で、ここにオプションの sign は ‘+’ か ‘-‘ のどちらかであり、numerator および denominator (もしあるならば) は十進数の数字の並びです。二つめの許容される形式は小数点を含んだ:

[sign] integer '.' [fraction] | [sign] '.' fraction

の形をとり、ここで integerfraction は数字の並びです。どちらの形式でも入力される文字列は前後に空白があって構いません。例を見ましょう:

>>> from fractions import Fraction
>>> Fraction(16, -10)
Fraction(-8, 5)
>>> Fraction(123)
Fraction(123, 1)
>>> Fraction()
Fraction(0, 1)
>>> Fraction('3/7')
Fraction(3, 7)
[40794 refs]
>>> Fraction(' -3/7 ')
Fraction(-3, 7)
>>> Fraction('1.414213 \t\n')
Fraction(1414213, 1000000)
>>> Fraction('-.125')
Fraction(-1, 8)

Fraction クラスは抽象基底クラス numbers.Rational を継承し、その全てのメソッドと演算を実装します。 Fraction インスタンスはハッシュ可能で、したがって不変(immutable)であるものとして扱います。加えて、 Fraction には以下のメソッドがあります:

from_float(flt)

このクラスメソッドは float である flt の正確な値を表す Fraction を構築します。気を付けてください Fraction.from_float(0.3)Fraction(3, 10) の値は同じではありません。

from_decimal(dec)

このクラスメソッドは decimal.Decimal である dec の正確な値を表す Fraction を構築します。

limit_denominator(max_denominator=1000000)

高々 max_denominator を分母に持つ self に最も近い Fraction を見付けて返します。このメソッドは与えられた浮動小数点数の有理数近似を見つけるのに役立ちます:

>>> from fractions import Fraction
>>> Fraction('3.1415926535897932').limit_denominator(1000)
Fraction(355, 113)

あるいは float で表された有理数を元に戻すのにも使えます:

>>> from math import pi, cos
>>> Fraction.from_float(cos(pi/3))
Fraction(4503599627370497, 9007199254740992)
>>> Fraction.from_float(cos(pi/3)).limit_denominator()
Fraction(1, 2)
fractions.gcd(a, b)

整数 ab の最大公約数を返します。 ab もゼロでないとすると、 gcd(a, b) の絶対値は ab の両方を割り切る最も大きな整数です。 gcd(a, b)b がゼロでなければ b と同じ符号になります。そうでなければ a の符号を取ります。 gcd(0, 0)0 を返します。

参考

numbers モジュール
数値の塔を作り上げる抽象基底クラス。