Go backward to MotivationGo up to TopGo forward to Constructor function |

Idea:

- Representation: let
<
`a`,`b`> denote the quotient between`a`and`b`. - Normalization:
`a`and`b`are relatively prime and`b`is positive.

Conversion functions:

Z: N->Z_{ >= 0}, Z(x) := <x, 0_{N}>;N: Z->N, N(x) := |x|_{0};

Set definition:

Q:= {<x,y>:xinZ/\yinZ_{> 0}/\N( x) and N(y) are relatively prime}.

Author: Wolfgang Schreiner

Last Modification: November 16, 1999