next up previous contents
Next: Examples for recursion Up: Relational Abstractions Previous: Comparing two numbers: `ltp'   Contents


Comparing two numbers: `gep'

This abstractions tests whether the first of two numbers is greater than or equal to the second.


(define gep 
   (lambda (m n)
      (zerop (sub n m))))


(bdisp! (gep two three))
                             --> false
(bdisp! (gep three two))
                             --> true
(bdisp! (gep two two))
                             --> true



Georg P. Loczewski 2004-03-05


Impressum und Datenschutz