previous up next
Go backward to Floor and Ceiling Rules
Go up to Top
Go forward to Example
RISC-Linz logo


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

trunc(x) := if x < 0 then ceiling(x) else floor(x).

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

forall x in R: trunc(-x) = -trunc(x).

Not many nice other properties.

Author: Wolfgang Schreiner
Last Modification: December 14, 1999

previous up next