Re: [Fwd: Re: ruleutils with pretty-print option]

On Thu, 31 Jul 2003 16:30:17 +0200, Andreas Pflug
<pgadmin(at)pse-consulting(dot)de> wrote:
>Well, to me it's not well-known that floating-point addition is not
>associative

This is a case of theory vs. practice mismatch: In theory addition is
associative, in practice there is only limited storage available for a
floating-point number. Let's do an example with 3 significant decimal
digits:

a = 1000 internal representation: 1.00e3
b = 1 internal representation: 1.00e0
a + b = 1.001e3

which cannot be represented in our system, so it is rounded to 1.00e3
and we get

a + b = 1000
a + b + b + b + b + b + b + b + b + b + b = 1000

when evaluated left to right, but

a + (b + b + b + b + b + b + b + b + b + b) =
1.00e3 + 1.00e1 = 1.01e3 = 1001

Servus
Manfred