AI ALIGNMENT FORUM
AF

1053
Wikitags

Ceiling

Edited by So8res last updated 27th May 2016

The ceiling of a real number x, denoted ⌈x⌉ or sometimes ceil(x), is the first Integer n≥x. For example, ⌈3.72⌉=4,⌈4⌉=4, and ⌈−3.72⌉=−3. In other words, the ceiling function rounds its input up to the nearest integer.

For the function that rounds its input down to the nearest integer, see Floor. Ceiling and floor are not to be confused with fix and Ceilfix, which round towards and away from zero (respectively).

Formally, ceiling is a function of type R→Z. The ceiling function can also be defined on complex numbers.

Parents:
Function
Discussion
1
Discussion
1