Worst Cases of a Periodic Function for Large Arguments (original) (raw)

Rapport (Rapport De Recherche) Année : 2007

Résumé

One considers the problem of finding hard to round cases of a periodic function for large floating-point inputs, more precisely when the function cannot be efficiently approximated by a polynomial. This is one of the last few issues that prevents from guaranteeing an efficient computation of correctly rounded transcendentals for the whole IEEE-754 double precision format. The first non-naive algorithm for that problem is presented, with an heuristic complexity of O(20.676p)O(2^{0.676 p})O(20.676p) for a precision of ppp bits. The efficiency of the algorithm is shown on the largest IEEE-754 double precision binade for the sine function, and some corresponding bad cases are given. We can hope that all the worst cases of the trigonometric functions in their whole domain will be found within a few years, a task that was considered out of reach until now.

Domaines

Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00126474

Soumis le : jeudi 25 janvier 2007-10:13:05

Dernière modification le : mercredi 18 mars 2026-11:52:02

Archivage à long terme le : mardi 6 avril 2010-20:33:22

Dates et versions

inria-00126474 , version 1 (25-01-2007)

inria-00126474 , version 2 (29-01-2007)

Licence

Identifiants

Citer

Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann. Worst Cases of a Periodic Function for Large Arguments. [Research Report] 2007. ⟨inria-00126474v1⟩

897 Consultations

737 Téléchargements