projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3641a98
)
added gcd,lcm to library
author
Jim Pryor
<profjim@jimpryor.net>
Mon, 4 Oct 2010 12:09:22 +0000
(08:09 -0400)
committer
Jim 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
patch
|
blob
|
history
diff --git
a/lambda_library.mdwn
b/lambda_library.mdwn
index
6441d3b
..
bdd0168
100644
(file)
--- 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