New big integers library

New big integers library

[Michel Quercia]

[English translation below]

J'ai le plaisir de vous annoncer la mise à disposition de Numerix version 0.13.

Numerix est une bibliothèque de calcul multiprécision pour Camllight
versions 0.73, 0.74, 0.75 et Ocaml versions 1.05 à 2.99, implémentant les
entiers de longueur arbitraire et les principales opérations arithmétiques sur
ces entiers, à l'aide d'algorithmes "rapides" lui conférant une grande vitesse
de calcul.

Elle vient s'ajouter aux deux autres bibliothèques multiprécision courament
disponibles pour Camllight/Ocaml : Big_int (partie "entiers" de BigNum) et
GMP-2.02. Avec Numerix est fournie une interface commune pour les trois
bibliothèques permettant d'écrire des programmes indépendants d'une
implémentation particulière des grands entiers, le choix de cette
implémentation se faisant à la compilation voire à l'exécution (dans le cas de
Ocaml uniquement).

Performances. Voici les temps de calcul du premier million de décimales de pi :

Machine de test = PC Linux avec un processeur Pentium-233 et 64Mo de Ram.
Numerix noyau assembleur ....   382s
Numerix noyau C .............  1880s
GMP-2.02 ....................  4820s
Big_int ..................... 63200s

Machine de test = station Dec avec un processeur Alpha-500 et 256Mo de Ram.
Numerix noyau C .............   238s
Big_int .....................  8310s

Numerix est disponible pour des machines Unix uniquement, avec une architecture
binaire 32 ou 64 bits. Le noyau est fourni sous trois versions :

C standard :         compatible toutes machines ;
C double-précision : pour PC Linux avec processeur Intel x86 ;
assembleur x86 :     pour PC Linux avec processeur Intel x86.

Téléchargement :
code source et documentation : http://pauillac.inria.fr/~quercia/numerix.tar.gz
documentation seule :          http://pauillac.inria.fr/~quercia/numerix.ps.gz

------------------------- English translation ----------------------------------

It is my pleasure to announce the avaiblity of Numerix version 0.13.

Numerix is a multiprecision library for Camllight versions 0.73, 0.74, 0.75 and
Ocaml versions 1.05 to 2.99, implementing arbitrary long integers and the usual
arithmetic operations on those numbers. The use of "fast" algorithms gives to
this library a high computing speed.

It comes to play in the same square as the two multiprecision libraries
commonly available for Camllight/Ocaml : Big_int ("integer" part of BigNum) and
GMP-2.02. With Numerix is shipped a common interface for the three libraries
allowing the programmer to write library-independent code and to choose which
library to use at compile time or even at run time (Ocaml only).

Speed. Below are the computing times for the first million digits of pi:

Test computer = Linux PC with a Pentium-233 processor and a 64Mb Ram.
Numerix assembly kernel .....   382s
Numerix C kernel ............  1880s
GMP-2.02 ....................  4820s
Big_int ..................... 63200s

Test computer = Dec workstation with an Alpha-500 processor and a 256Mo Ram.
Numerix C kernel ............   238s
Big_int .....................  8310s

Numerix is available for Unix computers only, with a binary arithmetic on 32
or 64 bits. The kernel is shipped in three flavors :

standard C:         for all computers;
double-precision C: for Linux PC with an x86 processor;
x86 assembly code:  for Linux PC with an x86 processor.

Downloading:
source code and documentation: http://pauillac.inria.fr/~quercia/numerix.tar.gz
English documentation only:  http://pauillac.inria.fr/~quercia/numerix-eng.ps.gz

--
Michel Quercia
9/11 rue du grand rabbin Haguenauer, 54000 Nancy
http://pauillac.inria.fr/~quercia
mailto:quercia@cal.enst.fr