From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_00,INVALID_MSGID, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,e749bdf6fe4253aa X-Google-Attributes: gid103376,public From: "Jean-Pierre Rosen" Subject: Re: Why no new posts ? Float accuracy Date: 2000/11/15 Message-ID: <8uv11a$9it$1@wanadoo.fr>#1/1 X-Deja-AN: 694074454 References: <002001c04ec8$27db8ee0$b0375140@Fudge> <3A125C2A.2E3BD2F@cadwin.com> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 X-Complaints-To: abuse@wanadoo.fr X-Trace: wanadoo.fr 974325609 9821 193.250.72.184 (15 Nov 2000 22:00:10 GMT) Organization: Wanadoo, l'internet avec France Telecom X-MSMail-Priority: Normal NNTP-Posting-Date: 15 Nov 2000 22:00:10 GMT Newsgroups: comp.lang.ada Date: 2000-11-15T22:00:10+00:00 List-Id: "Nicolas Brunot" a �crit dans le message news: 3A125C2A.2E3BD2F@cadwin.com... > About 10 years ago, I had to rewrote an existing Ada implemention of a method > called CESTAC method, which gave amazing results in giving the number of correct > digits in the result of a floating point operation. > (With surprising results for those who are too much confident in the accuracy > they can expect, and rely only on > type my_float is digits N, with N 'large enough') > > I remember this method was originally developped in a French university in Paris > for Ada implementation. > I don't know if this method is still used today. > It is. The tool is called CADNA, it was developped and is still maintained by University Paris VI (Jussieu), and marketed by a company called Numeral Advance. See http://www-anp.lip6.fr/english/cadna/ for details. It is available for Ada, Fortran, C, C++. -- --------------------------------------------------------- J-P. Rosen (Rosen.Adalog@wanadoo.fr) Visit Adalog's web site at http://pro.wanadoo.fr/adalog