|
INT |
Integers |
|
NAT |
Natural numbers, starting with 0 |
|
NAT1 |
Natural numbers, starting with 1 |
|
.. |
Range of numbers |
The set of all integers is denoted by . It contains all elements of the type. The two subsets
and
contain all elements greater than or equal to 0 and 1 respectively. The range of numbers between
and
is denoted by
.
with
and
|
+ |
Addition |
|
- |
Subtraction or unary minus |
|
* |
Multiplication |
|
/ |
Integer division |
|
mod |
Modulo |
|
^ |
Exponentiation |
These are the usual arithmetic operations.
Addition, subtraction and multiplication behave as expected.
The division is defined in a way that and
:
for
and
With ,
for each operator
of
,
,
,
,
:
|
min |
Minimum |
|
max |
Maximum |
and
denotes the smallest and largest number in the set of integers
respectively.
The minimum and maximum are only defined if such a number exists.
and
with
.