Go backward to
Go up to
Top
Go forward to
Integer Domain
Direct Definition of Integer Numbers
Integer as a tuple <
x
,
y
>.
Difference between
x
and
y
denotes desired value.
For unique definition,
x
or
y
is chosen 0.
Constructor fuction I to build well-formed integers.
More elegant: integer as
class
of all <
x
,
y
> with same difference.
Author:
Wolfgang Schreiner
Last Modification: January 12, 2000
