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:
[Counter]