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.
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.
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.tarDerniè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).
Sélectionnez l'un des binaires suivant :
ECPPBINARIESRemarques 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.
66921125696\ 3738586471992473357177695309368664238677386377989897942842973147723610\ 2597067638539982680157521103531959968006552170889359188835475305453190\ 56042889912017237320157749017499115968180112317315484537264218388048013Ce 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.