Major Section: PROGRAMMING
Example Forms: ACL2 !>(ceiling 14 3) 5 ACL2 !>(ceiling -14 3) -4 ACL2 !>(ceiling 14 -3) -4 ACL2 !>(ceiling -14 -3) 5 ACL2 !>(ceiling -15 -3) 5
(Ceiling i j)is the result of taking the quotient of
jand returning the smallest integer that is at least as great as that quotient. For example, the quotient of
-4 2/3, and the smallest integer at least that great is
The guard for
(ceiling i j) requires that
rational (real, in ACL2(r)) numbers and
j is non-zero.
Ceiling is a Common Lisp function. See any Common Lisp
documentation for more information.