Bibliothèque de réels constructifs pour OCaml

Creal est une bibliothèque d'arithmétique réelle exacte (réels constructifs) pour OCaml

Creal contient en fait deux implémentations différentes des réels exacts :

Les deux interfaces sont quasiment identiques, si bien qu'il est facile de passer de l'une à l'autre, sauf si vous utilisez la fonction approx directement : pour Creal, elle donne une approximation à 1/4^n près, pour Cr à 2^n près

Les deux implémentations sont reposent sur mlgmp de David Monniaux (inclus dans la distribution)

Téléchargement

creal-0.7.tar.gz


Homepage American OCaml
Jean-Christophe Filliâtre (formatté avec yamlpp).