English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] My module Contfrac
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-03-27 (15:35)
From: Thomas Baruchel <baruchel@l...>
Subject: [Caml-list] My module Contfrac
Brest, le samedi 27 mars


see at http://contfrac.sourceforge.net (unfortunately, I don't know
how to use CVS, so you will have to download the 9ko compressed
file as a whole).

It performs exact arithmetic on real numbers by using continued fraction.
The purpose is similar to creal and surreal, but algorithms are deeply
different. I implement Gosper's algorithm for computing operations between
continued fractions. Many functions are provided, including support for
algebraic numbers of arbitrary degree (of course, exp, log, tan, sin, cos,
atan, sqrt, etc. are included).

Though my initial purpose was not to implement an efficient and quick module
(I was rather interested by the theoretical aspects of the thing), some
very quick and empirical comparisons with CREAL make me think that my
module is quicker for the superficial tests I tried.

This is an alpha release; it is undocumented, except that the .mli file
is understandable and commented.

Some little changes since the announce on fr.comp.lang.caml:
  - licence now is MIT (rather than GNU)
  - a few functions added (mainly conversion functions:
    conversions from/to continued fractions can be done with many
    types (including now streams, objects having a "next" method, lists,
  - a support for converting continued fractions to convergents has been
    added (a ratio_from_cf function, and a class for building successive


« nous devons agir comme si la chose qui peut-être ne sera pas devait
être » (Kant, Métaphysique des moeurs, doctrine du droit, II conclusion)

  Thomas Baruchel <thomas.baruchel@laposte.net>

To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners