파이썬의 fractions.limit_denominator는 어떻게 구현 되었습니까?

Question

limit_denominator(max_denominator=1000000) 
Finds and returns the closest Fraction to self that has denominator at most max_denominator. This method is useful for finding rational approximations to a given floating-point number: 

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

/999, b/998, c/997을 시도하는 것과 같은 것이 어서는 안되며 근사치를 찾아야합니다.

Answer 1

fractions 모듈은 파이썬으로 작성되었으며 여러분은 소스 코드를 볼 수 있습니다. 여기에는 다음 주석이 들어 있습니다.

# Algorithm notes: For any real number x, define a *best upper 
    # approximation* to x to be a rational number p/q such that: 
    # 
    # (1) p/q >= x, and 
    # (2) if p/q > r/s >= x then s > q, for any rational r/s. 
    # 
    # Define *best lower approximation* similarly. Then it can be 
    # proved that a rational number is a best upper or lower 
    # approximation to x if, and only if, it is a convergent or 
    # semiconvergent of the (unique shortest) continued fraction 
    # associated to x. 
    # 
    # To find a best rational approximation with denominator <= M, 
    # we find the best upper and lower approximations with 
    # denominator <= M and take whichever of these is closer to x. 
    # In the event of a tie, the bound with smaller denominator is 
    # chosen. If both denominators are equal (which can happen 
    # only when max_denominator == 1 and self is midway between 
    # two integers) the lower bound---i.e., the floor of self, is 
    # taken.