Re: Comparing Floating Point Values

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

markp writes:
> I was wondering if there was a convention for comparing 2 floats
> dealing with significant digits. For example, if I had 2 variables (x
> and y) and wanted to see if they were equal in an if statement, is
> there a standard way to do a compare based on "x" significant digits?

The way we usually do this is by defining our own floating-point types
and redefine the "=" operator to deal with the precision appropriate
for the type and the application.  For example:

type Kilograms is digits 6 range 0.0 .. 600_000.0;

function "=" (L, R : Kilograms) is
   Epsilon : constant Kilograms := 0.1;
begin
   if L < R then
      return R - L < Epsilon;
   else
      return L - R < Epsilon;
   end if;
end "=";

The above uses an absolute precision; it would be trivial to use a
relative precision instead.

HTH

-- 
Ludovic Brenta.