Correctly Rounded Arbitrary-Precision Floating-Point Summation

Vincent Lefèvre (1)

1 ARIC - Arithmetic and Computing

We present a fast algorithm together with its low-level implementation of correctly rounded arbitrary-precision floating-point summation. The arithmetic is the one used by the GNU MPFR library: radix 2; no subnormals; each variable (each input and the output) has its own precision. We also describe how the implementation is tested.

Mots clés: summation; floating point; arbitrary precision; correct rounding; multiple precision

Domaines: Arithmétique des ordinateurs

Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. 2016. ⟨hal-01394289v1⟩