Go backward to Constructor functionGo up to TopGo forward to Rational Arithmetic |

Let `r` in **Q** and take `x` and `y` such that
`r`=<`x`, `y`>. We call
`x` the *numerator* of `r` and `y` its
*denominator*:

numerator( r):= suchx:existsy:rinQ/\r= <x,y>;denominator( r):= suchy:existsx:rinQ/\r= <x,y>.

*Numerator and denominator are uniquely defined.*

Author: Wolfgang Schreiner

Last Modification: November 16, 1999