Main Index
Number Theory
Arithmetic Functions
�Subject Index
comment on the page
Let
. The integer part function 1 is defined as the largest integer less or equal to
, formally it is defined as
. There are many notations used for this important function but none was generally adopted:���
��the bracket notation (the so-called Gauß bracket)
��(
��) denoted it by This function can also appear also in another form, as the truncation function, where we discard the noninteger part of a positive real number. In general, the term truncation is used for reducing the number of digits right of the decimal point. Given a positive real number
to be truncated and
, the number of digits to be kept behind the decimal point, the truncated value is given by
![]()
For negative real numbers truncation rounds toward zero.
If
and
then
When Iverson introduced his half-bracket notation for the integer part function, he also introduced very closely related ceiling function (previously often called upper integer part function)��
![]()
This function is also often named as the post-office function, because of the rounding the intermediate weights up to the next scale point for postal charges.
If
and
then
This is actually a companion function to the integer part function, and it is usually defined as the difference between
and
, that is
. The symbol
is used for this function, especially in number theory, even if the confusion with the set theoretic meaning of the same symbol is possible.
Clearly,
is a periodic function with period 1 has the following Fourier expansion
| (1) |
If
then we have
, but if
then this relation is not longer true.��To save the previous relation also for negative real numbers, the fractional part function is sometimes also defined by
![]()
The nearest integer function is formally defined as the closed integer to
. Since this definition is not unambiguous for half-integers, the additional rule is necessary to adopt,��for instance
Let us take for the definition the first possibility, that is the nearest integer function denoted by
is defined by��
. Then
This function is defined by
. It is a periodic function with period 1 and Fourier expansion
| (2) |
| 1� | Also called entier function or greatest integer function or floor function |
| [1] � | Gauß, C. F. (1808, Jan.). Theorematis arithmetici demonstratio nova. Comment. Soc. regiae sci. Göttingen , XVI, 1-8 (Werke II, p. 1-8 ). |
| [2] � | Legendre, A. M. (1808). Théorie des nombres (ed. 2). |
| [3] � | Iverson, K. E. (1962). A Programming Language. New York: Wiley. |
Cite this web-page as:
Štefan Porubský: Integer rounding functions.