previous up next
Go backward to Motivation
Go up to Top
Go forward to Example
RISC-Linz logo



Z:= Z >= 0 union Z< 0;
Z >= 0 := {<x, 0N>: x in N};
Z< 0 := {<0N, x>: x in N\{0N}};

Constructor function:

I: N x N -> Z
I(x, y) := if x >= N y then <x-Ny, 0N> else <0N, y-Nx>;

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next