home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / T4105.LF < prev    next >
Text File  |  1996-06-04  |  57b  |  2 lines
  1. divides(M,N) -> cond((N/M) =:= floor(N/M), true, false).
  2.