diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/math/modular.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/math/number/int.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/math/number/nat.lux | 4 |
3 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index 090481806..40a091008 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -93,17 +93,17 @@ (/.- zero subject))))) (_.cover [/.inverse] (let [one (/.modular (/.modulus subject) +1) - co-prime? (i.co-prime? (//.divisor (/.modulus subject)) + co_prime? (i.co_prime? (//.divisor (/.modulus subject)) (/.value subject))] (case (/.inverse subject) (#.Some subject^-1) - (and co-prime? + (and co_prime? (|> subject (/.* subject^-1) (/.= one))) #.None - (not co-prime?)))) + (not co_prime?)))) (_.cover [/.adapter] (<| (try.default false) (do try.monad diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index 9b650e795..1d95a10e5 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -158,9 +158,9 @@ (/.* right_k right)))] (and same_gcd! bezout_identity!))) - (_.cover [/.co-prime?] + (_.cover [/.co_prime?] (bit\= (/.= +1 (/.gcd left right)) - (/.co-prime? left right))) + (/.co_prime? left right))) (_.cover [/.lcm] (let [lcm (/.lcm left right)] (and (/.= +0 (/.% left lcm)) diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 9577b25db..c9bb2102b 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -112,9 +112,9 @@ (let [gcd (/.gcd left right)] (and (/.= 0 (/.% gcd left)) (/.= 0 (/.% gcd right))))) - (_.cover [/.co-prime?] + (_.cover [/.co_prime?] (bit\= (/.= 1 (/.gcd left right)) - (/.co-prime? left right))) + (/.co_prime? left right))) (_.cover [/.lcm] (let [lcm (/.lcm left right)] (and (/.= 0 (/.% left lcm)) |