ECPP Version 6.4.5
De 5.6.1 à 6.4.5
Le programme a été modifié pour tenir compte des
avancées récentes présentées dans mon
article à ANTS-III ainsi que
les travaux en cours sur de nouveaux invariants de classes, dont une
partie a été décrite dans un exposé
à Durham. Les
données résultantes rendent le programme plus rapide.
En passant, de nombreux bugs ont été corrigés. En
particulier, des problèmes liés aux tests de composition
ont été réglés, ainsi que ceux
décrits dans mon article à
ISSAC92.
La partie données
Pour rendre le chargement plus pratique, la partie données a
été coupée en 5 parties:
Il vous les faut toutes !
Les voici:
Sur votre machine toto, une fois que vous
avez récupéré le fichier
ecppweber1.tar.gz, tapez:
toto% gzip -dc ecppweber1.tar.gz | tar xvf -
Remarque importante: la partie données a changé
depuis la version 5.6.1. Bien que celle-ci puisse encore être
utilisée, les nouvelles données conduisent à une
plus grande efficacité du programme. Pour comprendre ces
changements, lisez mon article à
ANTS-III
et les transparents de
Durham.
Les binaires
Sélectionnez:
Remarque importante: tous les binaires sont pour des plateformes Un*x.
Performances
Nombres premiers de 512-bit
Le fichier Bench/primes-b512x20 contient 20 nombres de 512
bit. Nous donnons ici le temps moyen nécessaire à la
preuve de leur primalité (avec ma version personnelle).
Pentium III (450MHz) 4.4 sec
Solaris 5.7 9.5 sec
Alpha EV56 (500MHz) 4 sec
Un nombre plus grand
Le test consiste à prouver la primalité du cofacteur de
222 chiffres décimaux de 2, 1958M = 2^979+2^490+1.
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.
Proof Check
Pentium III (450MHz) 16 sec 3.1 sec
Solaris 5.7 38 sec 9.7 sec
Alpha EV56 (500MHz) 13 sec 1.9 sec
Ces temps sont donnés tels que. En particulier, ils
n'impliquent aucun jugement de ma part, ou de mon laboratoire.
MANIFEST
(Extrait)
This work uses the BigNum package developed jointly by INRIA and Digital PRL.
École polytechnique and CNRS make no representations, express or
implicit, with respect to the binaries given, including
without limitations, any implied warranties of merchandability or
fitness for a particular purpose, all of which are expressly
disclaimed. École polytechnique and CNRS shall in no event be liable
for any indirect, incidental or consequential damages.
Les binaires peuvent être utilisés à des fins de
recherche ou pour un usage privé, mais pas dans des produits
commerciaux (incluant bien sûr la cryptographie -- de toute
façon le programme a été ralenti pour les petits
nombres).
Je n'autorise pas l'utilisation de mon programme à partir d'une
page web.
Si vous utilisez mon programme pour battre des records, j'aimerais en
être informé, et j'aimerais être également
associé à ce record, à travers notamment la
version du programme utilisée.
Nombres de hits depuis le 2 avril 2001: