From c675006fcaa7ef7f096b0cf8e73e28ecb79aa1a9 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 4 Oct 2010 08:09:22 -0400 Subject: [PATCH] added gcd,lcm to library Signed-off-by: Jim Pryor --- lambda_library.mdwn | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lambda_library.mdwn b/lambda_library.mdwn index 6441d3b9..bdd01687 100644 --- a/lambda_library.mdwn +++ b/lambda_library.mdwn @@ -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 -- 2.11.0