Faithful Polynomial Evaluation with Compensated Horner Algorithm
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2006
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914099109036032 |
|---|---|
| author | Langlois, Philippe Louvet, Nicolas |
| author_facet | Langlois, Philippe Louvet, Nicolas |
| contents | This paper presents two sufficient conditions to ensure a faithful evaluation of polynomial in IEEE-754 floating point arithmetic. Faithfulness means that the computed value is one of the two floating point neighbours of the exact result; it can be satisfied using a more accurate algorithm than the classic Horner scheme. One condition here provided is an apriori bound of the polynomial condition number derived from the error analysis of the compensated Horner algorithm. The second condition is both dynamic and validated to check at the running time the faithfulness of a given evaluation. Numerical experiments illustrate the behavior of these two conditions and that associated running time over-cost is really interesting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_cs_0610122 |
| institution | arXiv |
| publishDate | 2006 |
| record_format | arxiv |
| spellingShingle | Faithful Polynomial Evaluation with Compensated Horner Algorithm Langlois, Philippe Louvet, Nicolas Numerical Analysis Mathematical Software G.4 This paper presents two sufficient conditions to ensure a faithful evaluation of polynomial in IEEE-754 floating point arithmetic. Faithfulness means that the computed value is one of the two floating point neighbours of the exact result; it can be satisfied using a more accurate algorithm than the classic Horner scheme. One condition here provided is an apriori bound of the polynomial condition number derived from the error analysis of the compensated Horner algorithm. The second condition is both dynamic and validated to check at the running time the faithfulness of a given evaluation. Numerical experiments illustrate the behavior of these two conditions and that associated running time over-cost is really interesting. |
| title | Faithful Polynomial Evaluation with Compensated Horner Algorithm |
| topic | Numerical Analysis Mathematical Software G.4 |
| url | https://arxiv.org/abs/cs/0610122 |