ECPP Version 5.6.1

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:

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

Modifications

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 :

ecpp.V5.6.1j.alpha.tar.gz (365 ko)

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 (très faibles) 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.