Relative error in floating-point multiplication

A model of the relative error in floating point multiplication is developed and is analyzed stochastically for various choices of computer design parameters. These parameters include the base, the type of rounding rule, the number of guard digits, and whether the post-arithmetic normalization shift (if needed) is done before or after rounding. Under the assumption of logarithmic distribution for the fraction (mantissa), the major stochastic conclusions are:1.The average relative error in multiplication increases as the base increases.2.This error is minimized by selecting the machine base to be binary (better yet, binary with a hidden bit) and is rather large for machines with base 16.3.The classical relative error bounds are pessimistic. The average overestimation by those bounds increases as the base increases.ZusammenfassungEs wird ein Modell für den relativen Fehler bei der Gleitkomma-Multiplikation entwickelt unf für verschiedene Kombinationen der Arithmetikparameter stochastisch analysiert. Die Parameter sind die Basis, die Rundungsart, die Anzahl der Schutzstellen, und ob die Normalisierung vor oder nach dem Runden erfolgt. Bei einer angenommenen logarithmischen Verteilung für die Mantisse kommt man zu folgenden Schlüssen:1.Der durchschnittliche relative Fehler bei der Multiplikation wächst mit der Basis.2.Dieser Fehler wird minimal für die Basis 2 (am besten mit verborgenem ersten Bit) und recht groß für die Basis 16.3.Die klassischen Schranken für den relativen Fehler sind pessimistisch. Ihre durchschnittliche Überschätzung wächst mit der Basis.