3 ms·
Does it solve the equality issue? An epsilon tracker would allow you to say it's equal within the margin of error for the computation. If so that makes them m
by slededit 9y ago
Does it solve the equality issue? An epsilon tracker would allow you to say it's equal within the margin of error for the computation.
If so that makes them much more interesting to me. Floating point bugs manifest themselves at non linear parts such as equality and comparison operators.
- kraghen 9y agoI haven't really seen the issue of equality dealt with explicitly, but it appears that you can extract the bounds of the interval implied by a given unum. Essentially, it seems like an alternative to interval arithmetic with potentially tighter bounds and faster computation.
- zmonx 9y agoYes, I think these are fair statements. John Gustafson's presentation also includes a few important points about interval arithmetic: http://www.johngustafson.net/presentations/Right-SizingPrecision1.pdf http://www.johngustafson.net/presentations/Right-SizingPreci...