A real number r is represented by a converging sequence of rational numbers:
Any particular real number has many different, but equivalent, representations.
Operations are again inherited from the corresponding operations on rationals:
It must be shown that the operation results are independent of the representation chosen for the operands:
See [8, 42, 58] for further details concerning this representation and associated methods.
|Jeff Tupper||March 1996|