@MISC{Sünderhauf98incrementaladdition, author = {Philipp Sünderhauf}, title = {Incremental Addition in Exact Real Arithmetic}, year = {1998} }

Bookmark

OpenURL

Abstract

Boehm et al. mention three different main approaches to exact real number arithmetic: Representation of reals via continued fractions, signed digit expansions, and as functions (Cauchy sequences). There exist prototype implementations of packages providing exact real arithmetic based on all three of these approaches. A key property distinguishing the approaches is incrementality: If the accuracy of the result has to be increased in the function approach, computation starts from scratch and all previous calculations have to be disregarded. In contrast, the signed digit approach is incremental, i.e. the previous result is re-used and some further digits are computed to increase precision. In this paper, we show how the function approach can be modified, resulting in a hybrid representation where signed digit expansions can be read as functions and vice versa. We develop an algorithm for addition in this setting combining advantages of both approaches. Keywords: Exact real arithmetic, in...