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 Es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss