Computing with Continued Logarithms

Gosper developed an algorithm for performing arithmetic on continued fractions (CFs), and introduced continued logarithms (CLs) as a variant of continued fractions better suited to representing extremely large (or small) numbers. CLs are also well-suited to efficient hardware implementation. Here we present the algorithm for arithmetic on CLs, then extend it to the novel contribution of this paper, an algorithm for computing trigonometric, exponential, and log functions on CLs. These methods can be extended to other transcendental functions. As with the corresponding CF algorithms, computations are entirely in the domain of the CL representation, with no floating-point arithmetic; we read one CL input term at a time, producing the next CL term of the result as soon as it is determined. The CL algorithms are in fact simpler than their CF counterparts. We have implemented these algorithms in Haskell.

💡 Research Summary

The paper introduces and systematically develops algorithms for performing arithmetic and evaluating transcendental functions directly on continued logarithms (CLs), a representation first proposed by Gosper as an alternative to continued fractions (CFs). A CL expresses a real number x > 1 as a sequence of integers