When (3x/3) and 3(x/3) are not equal to x - Archive ouverte HAL
Preprints, Working Papers, ... Year : 2016

When (3x/3) and 3(x/3) are not equal to x

Abstract

Rounding Error Analysis is routinely used to compute a worst-case error bound on the result of algorithms that use floating-point arithmetic. However, for some applications (e.g., when it is necessary to prove some inclusion of the result in a domain), the knowledge of both an upper-bound of the magnitude of the error and of its sign is paramount. Using standard rounding error analysis together with a simple systematic approach, we compute such information for the expressions $3x$, $x/3$, $3(x/3)$, and $3x/3$, which can be used, e.g., in the proof of interval arithmetic operators.
Fichier principal
Vignette du fichier
muldiv3.pdf (228.07 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01451457 , version 1 (01-02-2017)

Identifiers

  • HAL Id : hal-01451457 , version 1

Cite

Frédéric Goualard. When (3x/3) and 3(x/3) are not equal to x. 2016. ⟨hal-01451457⟩
318 View
88 Download

Share

More