X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lambda_library.mdwn;h=2e65f5ccea0e224fdeb262b6dcc2ad10fd9700c8;hp=bdd016875c302e314ae06f632183fd62937c7f19;hb=7369cbe617f9b283dc9a585858dd1085ff7266f8;hpb=c675006fcaa7ef7f096b0cf8e73e28ecb79aa1a9

diff --git a/lambda_library.mdwn b/lambda_library.mdwn
index bdd01687..2e65f5cc 100644
--- a/lambda_library.mdwn
+++ b/lambda_library.mdwn
@@ -237,8 +237,9 @@ and all sorts of other places. Others of them are our own handiwork.
 
 
 	; 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
+	let gcd = Y (\gcd m n. iszero n m (gcd n (mod m n)))  in ; or
+	let gcd = \m n. iszero m n (Y (\gcd m n. iszero n m (lt n m (gcd (sub m n) n) (gcd m (sub n m)))) 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