2008/9/18 Mark S. Miller <[EMAIL PROTECTED]>
>
> * The standards require various well behaved properties like:
>
> Let Tr = B2R(Xb) +r B2R(Yb) // Tr stands for True sum as a real number
> If representable(Tr) then Tr ===r B2R(Xb +b Yb)
> Else (greatest representable number <r Tr) <r B2R(Xb +b Yb) <r
> (smallest representable number >r Tr)
>
Oops. That last line should obviously be
Else (greatest representable number <r Tr) <=r B2R(Xb +b Yb) <=r
(smallest representable number >r Tr)
--
Text by me above is hereby placed in the public domain
Cheers,
--MarkM
_______________________________________________
Es-discuss mailing list
[email protected]
https://mail.mozilla.org/listinfo/es-discuss
