Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Abstract : We introduce several algorithms for accurately evaluating powers to a positive integer in floating-point arithmetic, assuming a fused multiply-add (fma) instruction is available. We aim at always obtaining correctly-rounded results in round-to-nearest mode, that is, our algorithms return the floating-point number that is nearest the exact value.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278430
Contributor : Jean-Michel Muller <>
Submitted on : Tuesday, May 13, 2008 - 11:01:09 AM
Last modification on : Friday, August 23, 2019 - 3:20:03 PM
Long-term archiving on : Friday, September 28, 2012 - 2:35:22 PM

File

power-journalV9.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : ensl-00278430, version 1

Collections

Citation

Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. 2008. ⟨ensl-00278430⟩

Share

Metrics

Record views

346

Files downloads

331