added gcd,lcm to library
authorJim Pryor <profjim@jimpryor.net>
Mon, 4 Oct 2010 12:09:22 +0000 (08:09 -0400)
committerJim Pryor <profjim@jimpryor.net>
Mon, 4 Oct 2010 12:09:22 +0000 (08:09 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
lambda_library.mdwn

index 6441d3b..bdd0168 100644 (file)
@@ -236,6 +236,11 @@ and all sorts of other places. Others of them are our own handiwork.
        let Theta = (\u f. f (u u f)) (\u f. f (u u f))  in
 
 
+       ; now you can search for primes, do encryption :-)
+       let gcd = Y (\gcd m n. iszero n m (gcd n (mod m n))) in
+       let lcm = \m n. or (iszero m) (iszero n) 0 (mul (div m (gcd m n)) n) in
+
+
        ; length for version 1 lists
        let length = Y (\self lst. isempty lst 0 (succ (self (tail lst))))  in