Go backward to Integer Arithmetic
Go up to Top
Go forward to Isomorphism of Integer Constructions

Example

5 = [<7,2>] = {<5, 0>, <6, 1>, <7, 2>, <8, 3>, ...}

-6 = [<3,9>] = {<0, 6>, <1, 7>, <2, 8>, <3, 9>, ...}

5+(-6) = [<7,2>] + [<3,9>] = [<10, 11>] = [<0, 1>] = -1

5*(-6) = [<7,2>] * [<3,9>] = [<39, 69>] = [<0, 30>] = -30

5 <= -6 <=> [<7,2>] <= [<3,9>] <=> 16 <= 5 <=> F.

Author: Wolfgang Schreiner
Last Modification: January 12, 2000

5	=	[<7,2>] = {<5, 0>, <6, 1>, <7, 2>, <8, 3>, ...}
-6	=	[<3,9>] = {<0, 6>, <1, 7>, <2, 8>, <3, 9>, ...}
5+(-6)	=	[<7,2>] + [<3,9>] = [<10, 11>] = [<0, 1>] = -1
5*(-6)	=	[<7,2>] * [<3,9>] = [<39, 69>] = [<0, 30>] = -30
5 <= -6	<=>	[<7,2>] <= [<3,9>] <=> 16 <= 5 <=> F.