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

*Proposition:*
For every `x` in **R** and `i` in **Z**, we have:

floor( x+i) = floor(x)+i,ceiling( x+i) = ceiling(x)+i.

x<i<=> floor( x) <i,i<x<=> i< ceiling(x),x<=i<=> ceiling( x) <=i,i<=x<=> i<= floor(x).

*May shift integer terms out of a floor or ceiling; may get rid of floor
and ceiling under some assumptions.*

Author: Wolfgang Schreiner

Last Modification: December 14, 1999