Contfrac

Presentation

This is an OCaml module for performing exact arithmetic on real numbers by representing them as continued fractions. It implements the well-known algorithm described by R.W. Gosper (see reference below). The continued fractions are lazy evaluated (eventually infinite) lists. Basic arithmetic operations as well as many transcendent functions are available.

Follow this link for accessing Thomas Baruchel's Home Page.

Download

The package can be downloaded from the following link.

Similar projects

• Creal
• Surreal (the link seems to be dead)

See also at the Mathematics section at the Hump.

Links

• Gosper, R.W., Continued fractions;
• Gosper, R.W., Continued Fraction Arithmetic;
• Vuillemin, J., Exact real computer arithmetic with continued fractions;
• Vardi, I., Code and Pseudo Code, available at the following link as well as that other one;
• Another page of links with interesting comments and quotations: computation with exact real numbers by continued fractions.