Claude Heiland-Allen schrieb:
> I've been working on [0] Haskell bindings for [1] libqd for [2]
> double-double and quad-double arithmetic,
At the ICIAM conference in Zurich 2007 I heard about the sum algorithm
with two double precision floating point numbers in three talks. :-)
Nice to know that
Hi everyone,
I've been working on [0] Haskell bindings for [1] libqd for [2]
double-double and quad-double arithmetic, and have been struggling to
implement [3] RealFloat, in particular [4] decodeFloat, mostly because
of its postcondition but also some issues relating to variable precision: