next up previous contents
Next: Signed Binary Digit Streams Up: Representations Previous: Streams

Representing Reals as Streams

In section 2.2.1, we showed why an infinite sequence of binary or decimal digits would be inadequate for the purposes of exact real arithmetic. We now define the alternative representations used here using streams.

These representations are of reals in a closed interval. In section 3.4 we show how to extend these representations to the whole real line.


Martin Escardo