use decimal

Mark Miller erights at gmail.com
Thu Sep 18 18:14:23 PDT 2008


2008/9/18 Mark S. Miller <erights at google.com>

>
> * 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.mozilla.org/pipermail/es-discuss/attachments/20080918/966faa27/attachment.html 


More information about the Es-discuss mailing list