New big integers library

From: Michel Quercia (quercia@cal.enst.fr)
Date: Wed Feb 02 2000 - 19:46:53 MET

  • Next message: Jean-Marc EBER: "OCaml syntax: vertcal bar in front of the first case of a matching definition ?"

    [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
    



    This archive was generated by hypermail 2b29 : Wed Feb 02 2000 - 23:12:52 MET