This site is supported by donations to The OEIS Foundation.

Floor

From OeisWiki
(Redirected from Rounding towards minus infinity)
Jump to: navigation, search


This article page is a stub, please help by expanding it.


Floor is a function that gives the largest integer below a given real number , i.e. rounding towards minus infinity. It is generally notated , or in computer programming languages, ​floor(x)​. For example, . For , then is the same as the integer part (or truncation, i.e. rounding towards zero) of ; but if , then is one less than the integer part (which is now the same as the ceiling ). For example, , not –9 (the latter number is the integer part of ).

In the OEIS, some sequences of nonintegers are entered by flooring the terms. For example, A013629 gives the floor of the imaginary parts of the nontrivial zeros of the Riemann zeta function (these are given in order of magnitude if the Riemann hypothesis is true). The first zero is , and thus the first term of that sequence is 14.

See also