diff options
Diffstat (limited to 'stdlib/source/lux/data/number/nat.lux')
| -rw-r--r-- | stdlib/source/lux/data/number/nat.lux | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/stdlib/source/lux/data/number/nat.lux b/stdlib/source/lux/data/number/nat.lux index b1504f048..267846c89 100644 --- a/stdlib/source/lux/data/number/nat.lux +++ b/stdlib/source/lux/data/number/nat.lux @@ -129,6 +129,10 @@ 0 a _ (gcd b (..% b a)))) +(def: #export (co-prime? a b) + (-> Nat Nat Bit) + (..= 1 (..gcd a b))) + (def: #export (lcm a b) {#.doc "Least Common Multiple."} (-> Nat Nat Nat) |