Algorithms for triple-word arithmetic

Nicolas Fabiano (1) , Jean-Michel Muller (2) , Joris Picot (2)

1 ENS-PSL - École normale supérieure - Paris
2 ARIC - Arithmetic and Computing

Triple-word arithmetic consists in representing high-precision numbers as the unevaluated sum of three floating-point numbers (with "nonoverlapping" constraints that are explicited in the paper). We introduce and analyze various algorithms for manipulating triple-word numbers: rounding a triple-word number to a floating-point number, adding, multiplying, dividing, and computing square-roots of triple-word numbers, etc. We compare our algorithms, implemented in the Campary library, with other solutions of comparable accuracy. It turns out that our new algorithms are significantly faster than what one would obtain by just using the usual floating-point expansion algorithms in the special case of expansions of length 3.

Domaines: Autre [cs.OH]; Arithmétique des ordinateurs

Nicolas Fabiano, Jean-Michel Muller, Joris Picot. Algorithms for triple-word arithmetic. IEEE Transactions on Computers, 2019, 68 (11), pp.1573-1583. ⟨10.1109/TC.2019.2918451⟩. ⟨hal-01869009v2⟩