Optimizing polynomials for floating-point implementation

Abstract : The floating-point implementation of a function on an interval often reduces to polynomial approximation, the polynomial being typically provided by Remez algorithm. However, the floating-point evaluation of a Remez polynomial sometimes leads to catastrophic cancellations. This happens when some of the polynomial coefficients are very small in magnitude with respects to others. In this case, it is better to force these coefficients to zero, which also reduces the operation count. This technique, classically used for odd or even functions, may be generalized to a much larger class of functions. An algorithm is presented that forces to zero the smaller coefficients of the initial polynomial thanks to a modified Remez algorithm targeting an incomplete monomial basis. One advantage of this technique is that it is purely numerical, the function being used as a numerical black box. This algorithm is implemented within a larger polynomial implementation tool that is demonstrated on a range of examples, resulting in polynomials with less coefficients than those obtained the usual way.
Type de document :
Pré-publication, Document de travail
12 pages. 2008
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00260563
Contributeur : Christoph Lauter <>
Soumis le : mardi 4 mars 2008 - 14:18:24
Dernière modification le : mardi 24 avril 2018 - 13:52:52
Document(s) archivé(s) le : jeudi 20 mai 2010 - 23:52:49

Fichiers

polynomHAL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : ensl-00260563, version 1
  • ARXIV : 0803.0439

Collections

Citation

Florent De Dinechin, Christoph Lauter. Optimizing polynomials for floating-point implementation. 12 pages. 2008. 〈ensl-00260563〉

Partager

Métriques

Consultations de la notice

233

Téléchargements de fichiers

155