From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: precise floats
Date: 1998/08/06
Date: 1998-08-06T00:00:00+00:00 [thread overview]
Message-ID: <dewar.902417129@merv> (raw)
C Green said
<<
In article <6q7vtb$jk$1@heliodor.xara.net>,
Bob Fletcher <bob@radge.nospam.globalnet.co.uk> wrote:
What is the best way to define a float type that has greater precision,
(like a lot greater), than the default one? Is there a simple way to do
this?
type my_very_precise_type is digits <N>;
where <N> is the number of digits of precision you need. Be aware, however,
that few compilers support float types of precision greater than 15 digits.
>>
Surely better advice is
type my_very_precise_type is System.Max_Digits;
<<
If you have an application that depends on floating-point calculations of
very high precision, be especially careful in numerical analysis, design,
and testing. Don't accept vendor's claims that their numerical libraries
perform correctly; test them in computations that are required in your
application.
>>
or insist on Annex G validation. For almost all purposes, the ACVC
validation tests for accuracy of elementary functions should prove
adequate.
next reply other threads:[~1998-08-06 0:00 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-08-06 0:00 Robert Dewar [this message]
1998-08-06 0:00 ` precise floats Samuel Mize
1998-08-07 0:00 ` Matthew Heaney
1998-08-07 0:00 ` Robert Dewar
1998-08-06 0:00 ` Corey Ashford
-- strict thread matches above, loose matches on Subject: below --
1998-08-04 0:00 Bob Fletcher
1998-08-04 0:00 ` David C. Hoos, Sr.
1998-08-05 0:00 ` Bob Fletcher
1998-08-04 0:00 ` Corey Ashford
1998-08-04 0:00 ` Corey Ashford
1998-08-05 0:00 ` Frank Klemm
1998-08-06 0:00 ` Robert Dewar
1998-08-06 0:00 ` dennison
1998-08-07 0:00 ` paul.english
1998-08-08 0:00 ` Robert Dewar
1998-08-12 0:00 ` Kevin Radke
1998-08-25 0:00 ` Gene Ouye
1998-08-10 0:00 ` dennison
1998-08-07 0:00 ` Robert Dewar
1998-08-07 0:00 ` Tom Weis
1998-08-07 0:00 ` Robert Dewar
1998-08-04 0:00 ` Christopher Green
1998-08-05 0:00 ` Matthew Heaney
1998-08-09 0:00 ` Bob Fletcher
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox