From fabrice@lsil.com Mon Sep 22 10:17 EDT 1997 Return-Path: Received: from lsi.lsil.com by caillou (5.x/SMI-SVR4) id AA15416; Mon, 22 Sep 1997 10:17:37 -0400 Received: from mhost.lsil.com (mhost.lsil.com [147.145.69.84]) by lsi.lsil.com with SMTP id GAA23465 (8.6.12/IDA-1.6); Mon, 22 Sep 1997 06:57:31 -0700 Received: from lonfs01.lsil.com (lonfs01-e3) by mhost.lsil.com id AA11056 (4.1/SMI-4.1 for lam@eurecom.fr); Mon, 22 Sep 97 06:55:55 PDT Received: from lonws161.bracknell by lonfs01.lsil.com (4.1/LSI-1.2) id AA21017; Mon, 22 Sep 97 14:55:51 BST Received: from lonws161 by lonws161.bracknell (SMI-8.6/SMI-4.1) id OAA10939; Mon, 22 Sep 1997 14:55:49 +0100 Sender: fabrice@lsil.com Message-Id: <342678E5.763D@lsil.com> Date: Mon, 22 Sep 1997 14:55:49 +0100 From: Fabrice Bellard Organization: LSI Logic X-Mailer: Mozilla 3.01Gold (X11; I; SunOS 5.5.1 sun4u) Mime-Version: 1.0 To: plouffe@math.uqam.ca, delahaye@lifl.fr, morin@lemonde.fr Cc: samuelo@lsil.com, lulmer@datamindcorp.com, Bruno.Beaufils@lifl.fr, lam@eurecom.fr Subject: Le 10^12 ieme chiffre binaire de PI est '1' Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii Content-Length: 1373 Status: OR Bonjour, Le calcul de PI que j'avais lance au debut du mois de septembre vient de se terminer. Le premier calcul et la verification concordent, donc les chances qu'il y ait une erreur sont *tres* faibles. Les chiffres hexadecimaux a partir du 10^12 ieme chiffre binaire sont: 87F72B1DC9786914B15B16FE9218B042A3D410 soit 38 chiffres hexadecimaux ou 152 bits. J'ai suppose que le premier chiffre binaire apres la virgule avait pour rang 1, ce qui est la convention en vigueur. Si on exprime en base 2 a partir du rang 10^12, on obtient: 1000 0111 1111 0111 ... Notez que le 10^12 ieme bit n'a ete fourni que par la verification. Etant donne que la suite concorde, les risques d'erreur sont quasi nuls pour ce bit. Le premier calcul a necessite 220 jours de temps machine. Le second 180 jours grace a un programme mieux optimise. Je n'ai utilise le programme optimise que vers le milieu de la verification. Si je l'avais utilise des le debut, le calcul aurait pris 140 jours de temps machine. En temps reel, le premier calcul a pris 12 jours. Le second 13 jours car moins de machines etaient disponibles. Je tiens a remercier les quelques amis qui ont bien voulu lancer le programme sur les ordinateurs non utilises auxquels ils pouvaient acceder. Je remercie en particulier Samuel Orzan, Theresa Lam, Bruno Beaufils et Lionel Ulmer. Cordialement, Fabrice Bellard.