Hi,

I've made some functional interface to the GNU MP multiprecision
arithmetic package.

It somehow doubles with Bignum, which is standard. Nevertheless, it
includes number-theoretic functions such as exponentiation and inverses in
Z/nZ rings, Jacobi and Legendre symbols etc..., and also provides
arbitrary precision floating-point.

http://www.ens-lyon.fr/~dmonniau/arcs/mlgmp.tar.gz
(for Unix, porting to Windows shouldn't be too hard)

--------------------------------------------------------------------

Bonjour,

j'ai fait une interface avec la bibliothèque multiprécision GNU MP.

Elle fait un peu double-emploi avec Bignum, standard sur O'Caml.
Néanmoins, GNU MP a un certain nombre de fonctions intéressantes, comme
des fonctions d'exponentiation et d'inverse dans Z/nZ, de symboles de
Jacobi et Legendre... ainsi qu'un calcul en virgule flottante à précision
arbitraire.

http://www.ens-lyon.fr/~dmonniau/arcs/mlgmp.tar.gz
(pour Unix, porter vers Windows ne devrait pas être trop dur)

"Si l'informatique marchait, cela se saurait."
"If computers worked, it'd be known."
Computer science student at ENS, Lyon, France
http://www.ens-lyon.fr/~dmonniau