Go backward to Floor and Ceiling RulesGo up to TopGo forward to Example |

*Definition:* The *truncated part* of a real number is the number
without its fractional part:

trunc( x) :=ifx< 0thenceiling(x)elsefloor(x).

*Proposition:*
For every `x` in **R**, the truncated part of the negation of
`x` is the negation of the truncated part of `x`:

forallxinR: trunc(-x) = -trunc(x).

*Not many nice other properties.*

Author: Wolfgang Schreiner

Last Modification: December 14, 1999