diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/math/number/nat.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 2acfa18f1..9a5da5d6d 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit ("[1]\[0]" equivalence)]] + ["[0]" bit ("[1]#[0]" equivalence)]] [math ["[0]" random]]]] [\\library @@ -58,7 +58,7 @@ [sample random.nat] ($_ _.and (_.cover [/.even? /.odd?] - (bit\= (/.even? sample) + (bit#= (/.even? sample) (not (/.odd? sample)))) ))) @@ -82,10 +82,10 @@ right random.nat] ($_ _.and (_.cover [/.>] - (bit\= (/.> left right) + (bit#= (/.> left right) (/.< right left))) (_.cover [/.<= /.>=] - (bit\= (/.<= left right) + (bit#= (/.<= left right) (/.>= right left))) )) (do random.monad @@ -104,7 +104,7 @@ (/.= rem (/.% left right))))) )) (do [! random.monad] - [.let [random (\ ! each (|>> (/.% 1,000) ++) random.nat)] + [.let [random (# ! each (|>> (/.% 1,000) ++) random.nat)] left random right random] ($_ _.and @@ -113,7 +113,7 @@ (and (/.= 0 (/.% gcd left)) (/.= 0 (/.% gcd right))))) (_.cover [/.co_prime?] - (bit\= (/.= 1 (/.gcd left right)) + (bit#= (/.= 1 (/.gcd left right)) (/.co_prime? left right))) (_.cover [/.lcm] (let [lcm (/.lcm left right)] @@ -121,7 +121,7 @@ (/.= 0 (/.% right lcm))))) )) (do [! random.monad] - [expected (\ ! each (/.% 1,000,000) random.nat) + [expected (# ! each (/.% 1,000,000) random.nat) sample random.nat] (_.cover [/.frac] (and (|> expected /.frac f.nat (/.= expected)) |