Added lcm

marvinborner · Mar 21, 2024 · 93b53a5 · 93b53a5
1 parent 8b82e5d
commit 93b53a5
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 1 deletion.
diff --git a/samples/rosetta/hailstone.bruijn b/samples/rosetta/hailstone.bruijn
@@ -16,6 +16,6 @@ seq-27 hailstone (+27b)
 :test (take (+4) <~>seq-27) ((+1b) : ((+2b) : ((+4b) : {}(+8b))))
 
 all-below-100000 [0 : ∀(hailstone 0)] <$> seq
-	seq take (+1000) (iterate ++‣ (+1b))
+	seq take (+99999) (iterate ++‣ (+1b))
 
 main [head (max-by (M.compare ⋔ tail) all-below-100000)]
diff --git a/samples/rosetta/least_common_multiple.bruijn b/samples/rosetta/least_common_multiple.bruijn
@@ -0,0 +1,8 @@
+:import std/Math .
+
+lcm [[=?1 1 (=?0 0 |(1 / (gcd 1 0) ⋅ 0))]]
+
+:test ((lcm (+12) (+18)) =? (+36)) ([[1]])
+:test ((lcm (+42) (+25)) =? (+1050)) ([[1]])
+
+main [[0]]
diff --git a/std/Math.bruijn b/std/Math.bruijn
@@ -73,6 +73,12 @@ gcd z [[[=?0 1 (2 0 (1 % 0))]]] ⧗ Number → Number → Number
 :test ((gcd (+10) (+5)) =? (+5)) (true)
 :test ((gcd (+3) (+8)) =? (+1)) (true)
 
+# least common multiple using gcd
+lcm [[=?1 1 (=?0 0 |(1 / (gcd 1 0) ⋅ 0))]] ⧗ Number → Number → Number
+
+:test ((lcm (+12) (+18)) =? (+36)) (true)
+:test ((lcm (+42) (+25)) =? (+1050)) (true)
+
 # power function
 pow […!!… (iterate (…⋅… 0) (+1))] ⧗ Number → Number → Number