diff options
Diffstat (limited to 'stdlib/source/test/lux/math/number/rev.lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/rev.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index a15b3f3f5..90ef03c5f 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit ("[1]\[0]" equivalence)]] + ["[0]" bit ("[1]#[0]" equivalence)]] [math ["[0]" random]]]] [\\library @@ -21,7 +21,7 @@ [// {"+" [hex]} ["n" nat] ["f" frac] - ["[0]" i64 ("[1]\[0]" hash)]]]]) + ["[0]" i64 ("[1]#[0]" hash)]]]]) (def: signature Test @@ -89,9 +89,9 @@ (and (/.< left (/.* left right)) (/.< right (/.* left right))))) (do [! random.monad] - [.let [dividend (\ ! each (i64.and (hex "FFFF")) + [.let [dividend (# ! each (i64.and (hex "FFFF")) random.rev) - divisor (\ ! each (|>> (i64.and (hex "F")) + divisor (# ! each (|>> (i64.and (hex "F")) (i64.or (hex "1")) (i64.right_rotated 8) .rev) @@ -100,14 +100,14 @@ divisor/0 divisor divisor/1 (random.only (|>> (/.= divisor/0) not) divisor) - scale (\ ! each (|>> (n.% 10) ++) + scale (# ! each (|>> (n.% 10) ++) random.nat)] ($_ _.and (_.cover [/./] - (bit\= (/.< divisor/0 divisor/1) + (bit#= (/.< divisor/0 divisor/1) (/.> (/./ divisor/0 dividend) (/./ divisor/1 dividend)))) (_.cover [/.%] - (\ i64.equivalence = + (# i64.equivalence = (.i64 (n.% (.nat divisor/0) (.nat dividend))) (.i64 (/.% divisor/0 dividend)))) (_.cover [/.up /.down] @@ -144,10 +144,10 @@ right random.rev] ($_ _.and (_.cover [/.>] - (bit\= (/.> left right) + (bit#= (/.> left right) (/.< right left))) (_.cover [/.<= /.>=] - (bit\= (/.<= left right) + (bit#= (/.<= left right) (/.>= right left))) )) (do random.monad @@ -156,7 +156,7 @@ (/.= (/.reciprocal sample) (|> sample /.reciprocal .nat /.reciprocal .nat /.reciprocal)))) (do [! random.monad] - [expected (\ ! each (|>> f.abs (f.% +1.0)) + [expected (# ! each (|>> f.abs (f.% +1.0)) random.safe_frac) sample random.rev] (_.cover [/.frac] |