Comment récupérer le paquetage ECPP 

Le paquetage est divisé en deux parties ; la première contient les données nécessaires aux calculs (polynômes de Weber, etc.) et la seconde dépend de l'architecture désirée. Chaque fichier tar a été compressé à l'aide de gzip.

Une fois que vous avez récupéré les fichiers, utilisez gzip -d pour les décompresser. Tapez tar xvf pour installer les fichiers. Cela créera entre autres le répertoire Ecpp. Allez dans ce répertoire et lisez le fichier README.ecpp pour apprendre la fin de la procédure.

La partie données

Comme il est plus facile de rappatrier plusieurs petits fichiers plutôt qu'un gros, j'ai découpé les fichiers données en 5 parties.

Il vous les faut toutes !

Les voici:

ECPPDATA Pour donner un exemple, sur votre machine toto, après récupération du fichier ecppweber1.tar.gz, vous devez taper :
toto% gzip -d ecppweber1.tar.gz
toto% tar xvf ecppweber1.tar
Dernière modification des données le 07/10/97 pour correction de bogues signalés par des utilisateurs (fichiers non présents dans la distribution).

Les binaires

Sélectionnez l'un des binaires suivant :

ECPPBINARIES

Remarques importantes : tous les binaires sont pour des systèmes de type Un*x. De nouveaux binaires s'ajouteront au fur et à mesure de mes disponibilités.

Temps de calcul

Le test de temps consiste à prouver la primalité du cofacteur de 2, 1958M = 2^979+2^490+1, qui est un nombre de 222 chiffres décimaux.
                                                           66921125696\
3738586471992473357177695309368664238677386377989897942842973147723610\
2597067638539982680157521103531959968006552170889359188835475305453190\
56042889912017237320157749017499115968180112317315484537264218388048013
Ce nombre est pris des tables du Projet Cunningham ("Factorizations of b**n+/-1 up to high powers" by John Brillhart, D. H. Lehmer, J. L. Selfridge, Bryant Tuckerman and S. S. Wagstaff, Jr., vol 22 of AMS Contemporary Mathematics series), qui sont mises à jour régulièrement. C'est le premier nombre non trivial dont j'ai prouvé la primalité en 1987. ECPPBENCHMARKS Les temps sont en secondes. Les mesures fournies sont données à titre indicatif et n'induisent aucun jugement de valeur de ma part ou de celle du Laboratoire.