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; multiple precision; correct rounding

Domaines: Arithmétique des ordinateurs

Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation. 23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. ⟨10.1109/ARITH.2016.9⟩. ⟨hal-01242127v3⟩