Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
GNU MP interfacing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Monniaux <David.Monniaux@e...>
Subject: GNU MP interfacing

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.
(for Unix, porting to Windows shouldn't be too hard)



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
(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