In computing, a roundoff error, also called rounding error, is the difference between the result produced by a given algorithm using exact arithmetic and the result produced by the same algorithm using finite-precision, rounded arithmetic. Rounding errors are due to inexactness in the representation of real numbers and the arithmetic operations done with them. This is a form of quantization error. When using approximation equations or algorithms, especially when using finitely many digits to represent real numbers (which in theory have infinitely many digits), one of the goals of numerical analysis is to estimate computation errors. Computation errors, also called numerical errors, include both truncation errors and roundoff errors. When a sequence of calculations with an input involving any roundoff error are made, errors may accumulate, sometimes dominating the calculation. In ill-conditioned problems, significant error may accumulate. In short, there are two major facets of roundoff errors involved in numerical calculations:
The ability of computers to represent both magnitude and precision of numbers is inherently limited. Certain numerical manipulations are highly sensitive to roundoff errors. This can result from both mathematical considerations as well as from the way in which computers perform arithmetic operations.
Representation error The error introduced by attempting to represent a number using a finite string of digits is a form of roundoff error called representation error. Here are some examples of representation error in decimal representations:
Increasing the number of digits allowed in a representation reduces the magnitude of possible roundoff errors, but any representation limited to finitely many digits will still cause some degree of roundoff error for uncountably many real numbers. Additional digits used for intermediary steps of a calculation are known as guard digits. Rounding multiple times can cause error to accumulate. For example, if 9.945309 is rounded to two decimal places (9.95), then rounded again to one decimal place (10.0), the total error is 0.054691. Rounding 9.945309 to one decimal place (9.9) in a single step introduces less error (0.045309). This can occur, for example, when software performs arithmetic in x86 80-bit floating-point and then rounds the result to IEEE 754 binary64 floating-point.
Floating-point number system Compared with the fixed-point number system, the floating-point number system is more efficient in representing real numbers so it is widely used in modern computers. While the real numbers R {\displaystyle \mathbb {R} } are infinite and continuous, a floating-point number system F {\displaystyle F} is finite and discrete. Thus, representation error, which leads to roundoff error, occurs under the floating-point number system.
Notation of floating-point number system A floating-point number system F {\displaystyle F} is characterized by 4 {\displaystyle 4} integers:
β {\displaystyle \beta } : base or radix
p {\displaystyle p} : precision
[ L , U ] {\displaystyle [L,U]} : exponent range, where L {\displaystyle L} is the lower bound and U {\displaystyle U} is the upper bound Any x ∈ F {\displaystyle x\in F} has the following form:
x = ± ( d 0 . d 1 d 2 … d p − 1 ⏟ significand ) β × β E ⏞ exponent = ± d 0 × β E + d 1 × β E − 1 + … + d p − 1 × β E − ( p − 1 ) {\displaystyle x=\pm (\underbrace {d_{0}.d_{1}d_{2}\ldots d_{p-1}} _{\text{significand}})_{\beta }\times \beta ^{\overbrace {E} ^{\text{exponent}}}=\pm d_{0}\times \beta ^{E}+d_{1}\times \beta ^{E-1}+\ldots +d_{p-1}\times \beta ^{E-(p-1)}}
where d i {\displaystyle d_{i}} is an integer such that 0 ≤ d i ≤ β − 1 {\displaystyle 0\leq d_{i}\leq \beta -1} for i = 0 , 1 , … , p − 1 {\displaystyle i=0,1,\ldots ,p-1} , and E {\displaystyle E} is an integer such that L ≤ E ≤ U {\displaystyle L\leq E\leq U} .
… excerpt ends here. Continue reading the full article.
