## Contractivity of Linear Fractional Transformations (1998)

Venue: | Third Real Numbers and Computers Conference (RNC3 |

Citations: | 10 - 3 self |

### BibTeX

@INPROCEEDINGS{Heckmann98contractivityof,

author = {Reinhold Heckmann},

title = {Contractivity of Linear Fractional Transformations},

booktitle = {Third Real Numbers and Computers Conference (RNC3},

year = {1998},

pages = {45--59}

}

### OpenURL

### Abstract

One possible approach to exact real arithmetic is to use linear fractional transformations (LFT's) to represent real numbers and computations on real numbers. Recursive expressions built from LFT's are only convergent (i.e., denote a well-defined real number) if the involved LFT's are sufficiently contractive. In this paper, we define a notion of contractivity for LFT's. It is used for convergence theorems and for the analysis and improvement of algorithms for elementary functions. Keywords : Exact Real Arithmetic, Linear Fractional Transformations 1 Introduction Linear Fractional Transformations (LFT's) provide an elegant approach to real number arithmetic [8, 17, 11, 14, 12, 6]. One-dimensional LFT's x 7! ax+c bx+d are used in the representation of real numbers and to implement basic unary functions, while two-dimensional LFT's (x; y) 7! axy+cx+ey+g bxy+dx+fy+h provide binary operations such as addition and multiplication, and can be combined to obtain infinite expression trees ...

### Citations

199 |
Signed-digit number representations for fast parallel arithmetic
- Avizienis
(Show Context)
Citation Context ...n time, only a finite prefix of the stream is known. There are several different stream representations which can be grouped into two large families: variations of the familiar decimal representation =-=[1, 3, 2, 5, 7, 11, 10]-=-, and continued fraction expansions [8, 17, 9]. For the first family, consider the usual decimal representation. 1 A number such as 0:142 \Delta \Delta \Delta can be unraveled from left to right as fo... |

196 | Analytic Theory of Continued Fractions - Wall |

79 |
Exact real computer arithmetic with continued fractions
- Vuillemin
- 1990
(Show Context)
Citation Context ...lementary functions. Keywords : Exact Real Arithmetic, Linear Fractional Transformations 1 Introduction Linear Fractional Transformations (LFT's) provide an elegant approach to real number arithmetic =-=[8, 17, 11, 14, 12, 6]-=-. One-dimensional LFT's x 7! ax+c bx+d are used in the representation of real numbers and to implement basic unary functions, while two-dimensional LFT's (x; y) 7! axy+cx+ey+g bxy+dx+fy+h provide bina... |

54 | PCF extended with real numbers - Escardo - 1996 |

50 |
Exact real arithmetic: Formulating real numbers as functions
- Boehm, Cartwright
- 1990
(Show Context)
Citation Context ...by the group of Edalat and Potts at Imperial College [14, 12, 13, 16, 6]. 2.1 From Digit Streams to Linear Fractional Transformations There are many ways to represent real numbers as infinite objects =-=[3, 2, 4, 5]. Here, we-=- are only concerned with representations as infinite streams of "digits". These streams are evaluated incrementally; at any given time, only a finite prefix of the stream is known. There are... |

49 | A new representation for exact real numbers
- Edalat, Potts
- 1997
(Show Context)
Citation Context ...lementary functions. Keywords : Exact Real Arithmetic, Linear Fractional Transformations 1 Introduction Linear Fractional Transformations (LFT's) provide an elegant approach to real number arithmetic =-=[8, 17, 11, 14, 12, 6]-=-. One-dimensional LFT's x 7! ax+c bx+d are used in the representation of real numbers and to implement basic unary functions, while two-dimensional LFT's (x; y) 7! axy+cx+ey+g bxy+dx+fy+h provide bina... |

43 |
Exact real arithmetic: A case study in higher order programming
- Boehm, Cartwright, et al.
- 1986
(Show Context)
Citation Context ... and the upper end is rounded up to obtain a proper inclusion. Recall that the size ffi (I n ) of I n does not refer to the usual distance, but to the distance d introduced in Section 3.1. Thus, ffi (=-=[1; 2]-=-) is not 1, but 1 3 . The power of 2 occurring in the value of ffi (I n ) indicates how many digit matrices in base r = 2 have been calculated so far. In [15], e is described as Q 1 n=1 i 2n 2n\Gamma1... |

31 | Semantics of exact real arithmetic - Potts, Edalat, et al. - 1997 |

27 |
number computability and domain theory
- Real
- 1996
(Show Context)
Citation Context ...by the group of Edalat and Potts at Imperial College [14, 12, 13, 16, 6]. 2.1 From Digit Streams to Linear Fractional Transformations There are many ways to represent real numbers as infinite objects =-=[3, 2, 4, 5]. Here, we-=- are only concerned with representations as infinite streams of "digits". These streams are evaluated incrementally; at any given time, only a finite prefix of the stream is known. There are... |

22 |
Continued fraction arithmetic
- Gosper
- 1972
(Show Context)
Citation Context ...lementary functions. Keywords : Exact Real Arithmetic, Linear Fractional Transformations 1 Introduction Linear Fractional Transformations (LFT's) provide an elegant approach to real number arithmetic =-=[8, 17, 11, 14, 12, 6]-=-. One-dimensional LFT's x 7! ax+c bx+d are used in the representation of real numbers and to implement basic unary functions, while two-dimensional LFT's (x; y) 7! axy+cx+ey+g bxy+dx+fy+h provide bina... |

21 | Arbitrary precision real arithmetic: design and alogrithms
- Ménissier-Morain
- 1996
(Show Context)
Citation Context ...n time, only a finite prefix of the stream is known. There are several different stream representations which can be grouped into two large families: variations of the familiar decimal representation =-=[1, 3, 2, 5, 7, 11, 10]-=-, and continued fraction expansions [8, 17, 9]. For the first family, consider the usual decimal representation. 1 A number such as 0:142 \Delta \Delta \Delta can be unraveled from left to right as fo... |

19 | Msb- digit serial arithmetic
- Nielsen, Kornerup
- 1995
(Show Context)
Citation Context |

15 | Exact Real Computer Arithmetic - Potts, Edalat - 1997 |

14 | nite precision lexicographic continued fraction number systems - Kornerup, Matula - 1985 |

12 |
A functional approach to real number computation
- Gianantonio
- 1993
(Show Context)
Citation Context ...by the group of Edalat and Potts at Imperial College [14, 12, 13, 16, 6]. 2.1 From Digit Streams to Linear Fractional Transformations There are many ways to represent real numbers as infinite objects =-=[3, 2, 4, 5]. Here, we-=- are only concerned with representations as infinite streams of "digits". These streams are evaluated incrementally; at any given time, only a finite prefix of the stream is known. There are... |

10 |
Efficient on-line computation of real functions using exact floating point,” http://www.purplefinder.com/˜potts/efficient.pdf
- Potts
- 1998
(Show Context)
Citation Context ...tion, subtraction, multiplication, and division by suitable integer tensors [8, 17, 14, 12, 13]. Infinite expressions built from integer tensors may also be used to represent transcendental functions =-=[15]-=-, e.g., ln x = T 0 x(T 1 x(T 2 x(: : :))) where T 0 = i 1 0 1 1 \Gamma1 1 \Gamma1 0 j and Tn = i n 0 2n+1 n+1 n+1 2n+1 0 n j for n ? 0. 3 Contractivity of Matrices An infinite product of matrices Q 1 ... |

9 | Computable real arithmetic using linear fractional transformations. Manuscript presented during the second
- Potts
- 1996
(Show Context)
Citation Context |

8 |
Exact Real Arithmetic based on Linear Fractional Transformations
- Potts, Edalat
- 1996
(Show Context)
Citation Context |