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
Jean-Christophe Filliâtre
(formatté avec yamlpp).