diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/lux/data/number.lux | 13 | ||||
| -rw-r--r-- | stdlib/source/lux/math/complex.lux | 5 | ||||
| -rw-r--r-- | stdlib/source/lux/math/ratio.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/lux/math/simple.lux | 89 | ||||
| -rw-r--r-- | stdlib/test/test/lux/data/error/exception.lux | 22 | ||||
| -rw-r--r-- | stdlib/test/test/lux/data/format/json.lux | 57 | ||||
| -rw-r--r-- | stdlib/test/test/lux/data/ident.lux | 4 | ||||
| -rw-r--r-- | stdlib/test/test/lux/data/number.lux | 69 | ||||
| -rw-r--r-- | stdlib/test/test/lux/data/text.lux | 18 | ||||
| -rw-r--r-- | stdlib/test/test/lux/math.lux | 33 | ||||
| -rw-r--r-- | stdlib/test/test/lux/math/complex.lux | 21 | ||||
| -rw-r--r-- | stdlib/test/test/lux/math/simple.lux | 4 |
13 files changed, 236 insertions, 111 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index bff74ff0c..dd8e70ab6 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -2074,7 +2074,7 @@ [ Nat "nat" n.= "=" n.< n.<= "<" n.> n.>= "Natural equality." "Natural less-than." "Natural less-than-equal." "Natural greater-than." "Natural greater-than-equal."] - [ Int "jvm" i.= "leq" i.< i.<= "llt" i.> i.>= + [ Int "jvm" i.= "leq" i.< i.<= "llt" i.> i.>= "Integer equality." "Integer less-than." "Integer less-than-equal." "Integer greater-than." "Integer greater-than-equal."] [Frac "frac" f.= "=" f.< f.<= "<" f.> f.>= diff --git a/stdlib/source/lux/data/number.lux b/stdlib/source/lux/data/number.lux index 8c3d08dbf..046e681b8 100644 --- a/stdlib/source/lux/data/number.lux +++ b/stdlib/source/lux/data/number.lux @@ -109,7 +109,8 @@ [ Nat (_lux_proc ["nat" "max-value"] []) (_lux_proc ["nat" "min-value"] [])] [ Int (_lux_proc ["jvm" "getstatic:java.lang.Long:MAX_VALUE"] []) (_lux_proc ["jvm" "getstatic:java.lang.Long:MIN_VALUE"] [])] - [Real (_lux_proc ["jvm" "getstatic:java.lang.Double:MAX_VALUE"] []) (_lux_proc ["jvm" "getstatic:java.lang.Double:MIN_VALUE"] [])]) + [Real (_lux_proc ["jvm" "getstatic:java.lang.Double:MAX_VALUE"] []) (_lux_proc ["jvm" "getstatic:java.lang.Double:MIN_VALUE"] [])] + [Frac (_lux_proc ["frac" "max-value"] []) (_lux_proc ["frac" "max-value"] [])]) (do-template [<name> <type> <unit> <append>] [(struct: #export <name> (Monoid <type>) @@ -128,6 +129,10 @@ [Mul@Monoid<Real> Real 1.0 r.*] [Max@Monoid<Real> Real (:: Bounded<Real> bottom) r.max] [Min@Monoid<Real> Real (:: Bounded<Real> top) r.min] + [Add@Monoid<Frac> Frac (:: Bounded<Frac> bottom) f.+] + [Mul@Monoid<Frac> Frac (:: Bounded<Frac> top) f.*] + [Max@Monoid<Frac> Frac (:: Bounded<Frac> bottom) f.max] + [Min@Monoid<Frac> Frac (:: Bounded<Frac> top) f.min] ) (def: (text.replace pattern value template) @@ -197,7 +202,7 @@ (def: (decode repr) (_lux_proc ["jvm" "try"] - [(#;Right (int-to-nat (_lux_proc ["jvm" "invokestatic:java.lang.Long:valueOf:java.lang.String,int"] [repr (_lux_proc ["jvm" "l2i"] [<radix>])]))) + [(#;Right (int-to-nat (_lux_proc ["jvm" "invokestatic:java.lang.Long:parseUnsignedLong:java.lang.String,int"] [repr (_lux_proc ["jvm" "l2i"] [<radix>])]))) (lambda [ex] (#;Left <error>))]))) (macro: #export (<macro> tokens state) @@ -233,3 +238,7 @@ [+inf "getstatic:java.lang.Double:POSITIVE_INFINITY"] [-inf "getstatic:java.lang.Double:NEGATIVE_INFINITY"] ) + +(def: #export (nan? number) + (-> Real Bool) + (not (r.= number number))) diff --git a/stdlib/source/lux/math/complex.lux b/stdlib/source/lux/math/complex.lux index 6fac976b8..9a2c7c164 100644 --- a/stdlib/source/lux/math/complex.lux +++ b/stdlib/source/lux/math/complex.lux @@ -13,6 +13,7 @@ monad) (data [number "r/" Number<Real> Codec<Text,Real>] [text "Text/" Monoid<Text>] + text/format error maybe (struct [list "List/" Monad<List>])) @@ -39,8 +40,8 @@ (def: #export zero Complex (complex 0.0 0.0)) (def: #export (nan? complex) - (or (r.= number;nan (get@ #real complex)) - (r.= number;nan (get@ #imaginary complex)))) + (or (number;nan? (get@ #real complex)) + (number;nan? (get@ #imaginary complex)))) (def: #export (c.= param input) (-> Complex Complex Bool) diff --git a/stdlib/source/lux/math/ratio.lux b/stdlib/source/lux/math/ratio.lux index 1baa9a206..c0e077c8a 100644 --- a/stdlib/source/lux/math/ratio.lux +++ b/stdlib/source/lux/math/ratio.lux @@ -13,6 +13,7 @@ monad) (data [number "n/" Number<Nat> Codec<Text,Nat>] [text "Text/" Monoid<Text>] + text/format error [product]) [compiler] @@ -133,14 +134,9 @@ (-> Nat Text) (|>. n/encode (text;split +1) (default (undefined)) product;right)) -(def: (part-decode part) +(def: part-decode (-> Text (Error Nat)) - (case (text;split-with "+" part) - (#;Some [_ part]) - (n/decode part) - - _ - (fail "Invalid format for ratio part."))) + (|>. (format "+") n/decode)) (struct: #export _ (Codec Text Ratio) (def: (encode (^slots [#numerator #denominator])) diff --git a/stdlib/source/lux/math/simple.lux b/stdlib/source/lux/math/simple.lux index 9b6e70fbc..bb66e1160 100644 --- a/stdlib/source/lux/math/simple.lux +++ b/stdlib/source/lux/math/simple.lux @@ -133,11 +133,94 @@ [* ;;* n.* i.* r.* f.*] [/ ;;/ n./ i./ r./ f./] [% ;;% n.% i.% r.% f.%] + ) + +(do-template [<name> <rec> <nat-op> <int-op> <real-op> <frac-op>] + [(syntax: #export (<name> {args ($_ s;alt + (s;seq s;symbol s;symbol) + (s;seq s;any s;any) + s;symbol + s;any + s;end)}) + (case args + (+0 [x y]) + (do @ + [=x (resolve-type x) + =y (resolve-type y) + op (cond (and (check;checks? Nat =x) + (check;checks? Nat =y)) + (wrap (` <nat-op>)) + + (and (check;checks? Int =x) + (check;checks? Int =y)) + (wrap (` <int-op>)) + + (and (check;checks? Real =x) + (check;checks? Real =y)) + (wrap (` <real-op>)) + + (and (check;checks? Frac =x) + (check;checks? Frac =y)) + (wrap (` <frac-op>)) + + (compiler;fail (format "No operation for types: " (%type =x) " and " (%type =y))))] + (wrap (list (` ((~ op) (~ (ast;symbol x)) (~ (ast;symbol y))))))) + + (+1 [x y]) + (do @ + [g!x (compiler;gensym "g!x") + g!y (compiler;gensym "g!y")] + (wrap (list (` (let [(~ g!x) (~ x) + (~ g!y) (~ y)] + (<rec> (~ g!x) (~ g!y))))))) + + (+2 x) + (do @ + [=x (resolve-type x) + op (cond (check;checks? Nat =x) + (wrap (` <nat-op>)) + + (check;checks? Int =x) + (wrap (` <int-op>)) + + (check;checks? Real =x) + (wrap (` <real-op>)) + + (check;checks? Frac =x) + (wrap (` <frac-op>)) + + (compiler;fail (format "No operation for type: " (%type =x))))] + (wrap (list (` ((~ op) (~ (ast;symbol x))))))) + + (+3 x) + (do @ + [g!x (compiler;gensym "g!x")] + (wrap (list (` (let [(~ g!x) (~ x)] + (<rec> (~ g!x))))))) + + (+4 []) + (do @ + [=e compiler;expected-type + op (cond (check;checks? (-> Nat Nat Bool) =e) + (wrap (` <nat-op>)) + + (check;checks? (-> Int Int Bool) =e) + (wrap (` <int-op>)) + + (check;checks? (-> Real Real Bool) =e) + (wrap (` <real-op>)) + + (check;checks? (-> Frac Frac Bool) =e) + (wrap (` <frac-op>)) + + (compiler;fail (format "No operation for type: " (%type =e))))] + (wrap (list op))) + ))] - [= ;;= n.= i.= r.= f.=] - [< ;;< n.< i.< r.< f.<] + [= ;;= n.= i.= r.= f.=] + [< ;;< n.< i.< r.< f.<] [<= ;;<= n.<= i.<= r.<= f.<=] - [> ;;> n.> i.> r.> f.>] + [> ;;> n.> i.> r.> f.>] [>= ;;>= n.>= i.>= r.>= f.>=] ) diff --git a/stdlib/test/test/lux/data/error/exception.lux b/stdlib/test/test/lux/data/error/exception.lux index 92d73ae80..42fe448db 100644 --- a/stdlib/test/test/lux/data/error/exception.lux +++ b/stdlib/test/test/lux/data/error/exception.lux @@ -7,8 +7,10 @@ lux (lux (codata [io]) (control monad) - (data (error ["&" exception #+ exception:]) + (data [error #- fail] + (error ["&" exception #+ exception:]) [text] + text/format [number]) (codata function) (math ["R" random]) @@ -34,17 +36,19 @@ Some-Exception Another-Exception) Unknown-Exception) - this-val (if should-throw? + expected (if should-throw? (if should-catch? (if which? some-val another-val) otherwise-val) - default-val)]] + default-val) + actual (|> (: (Error Nat) + (if should-throw? + (&;throw this-ex "Uh-oh...") + (&;return default-val))) + (&;catch Some-Exception (lambda [ex] some-val)) + (&;catch Another-Exception (lambda [ex] another-val)) + (&;otherwise (lambda [ex] otherwise-val)))]] (assert "Catch and otherwhise handlers can properly handle the flow of exception-handling." - (n.= this-val (|> (if should-throw? - (&;return default-val) - (&;throw this-ex "Uh-oh...")) - (&;catch Some-Exception (lambda [ex] some-val)) - (&;catch Another-Exception (lambda [ex] another-val)) - (&;otherwise (lambda [ex] otherwise-val)))))) + (n.= expected actual))) diff --git a/stdlib/test/test/lux/data/format/json.lux b/stdlib/test/test/lux/data/format/json.lux index 39f039717..4564f1ba4 100644 --- a/stdlib/test/test/lux/data/format/json.lux +++ b/stdlib/test/test/lux/data/format/json.lux @@ -15,7 +15,7 @@ [bool] [char] [maybe] - [number] + [number "i/" Number<Int>] (format ["&" json]) (struct [vector #+ vector] [dict] @@ -38,7 +38,7 @@ ($_ R;alt (:: @ wrap []) R;bool - R;real + (|> R;real (:: @ map (r.* 1_000_000.0))) (R;text size) (R;vector size gen-json) (R;dict text;Hash<Text> size (R;text size) gen-json) @@ -81,37 +81,52 @@ (def: gen-record (R;Random Record) (do R;Monad<Random> - [size (:: @ map (n.% +2) R;nat)] + [size (:: @ map (n.% +2) R;nat) + #let [gen-int (|> R;int (:: @ map (|>. i/abs (i.% 1_000_000))))]] ($_ R;seq (:: @ wrap []) R;bool - R;int + gen-int R;real R;char (R;text size) - (R;maybe R;int) - (R;list size R;int) - ($_ R;alt R;bool R;int R;real) - ($_ R;seq R;int R;real R;char) + (R;maybe gen-int) + (R;list size gen-int) + ($_ R;alt R;bool gen-int R;real) + ($_ R;seq gen-int R;real R;char) ))) (derived: (&;Codec<JSON,?> Record)) (struct: _ (Eq Record) (def: (= recL recR) - (and (:: bool;Eq<Bool> = (get@ #bool recL) (get@ #bool recR)) - (i.= (get@ #int recL) (get@ #int recR)) - (r.= (get@ #real recL) (get@ #real recR)) - (:: char;Eq<Char> = (get@ #char recL) (get@ #char recR)) - (:: text;Eq<Text> = (get@ #text recL) (get@ #text recR)) - (:: (maybe;Eq<Maybe> number;Eq<Int>) = (get@ #maybe recL) (get@ #maybe recR)) - (:: (list;Eq<List> number;Eq<Int>) = (get@ #list recL) (get@ #list recR)) - (let [[tL0 tL1 tL2] (get@ #tuple recL) - [tR0 tR1 tR2] (get@ #tuple recR)] - (and (i.= tL0 tR0) - (r.= tL1 tR1) - (:: char;Eq<Char> = tL2 tR2))) - ))) + (let [variant/= (lambda [left right] + (case [left right] + [(#Case0 left') (#Case0 right')] + (:: bool;Eq<Bool> = left' right') + + [(#Case1 left') (#Case1 right')] + (i.= left' right') + + [(#Case2 left') (#Case2 right')] + (r.= left' right') + + _ + false))] + (and (:: bool;Eq<Bool> = (get@ #bool recL) (get@ #bool recR)) + (i.= (get@ #int recL) (get@ #int recR)) + (r.= (get@ #real recL) (get@ #real recR)) + (:: char;Eq<Char> = (get@ #char recL) (get@ #char recR)) + (:: text;Eq<Text> = (get@ #text recL) (get@ #text recR)) + (:: (maybe;Eq<Maybe> number;Eq<Int>) = (get@ #maybe recL) (get@ #maybe recR)) + (:: (list;Eq<List> number;Eq<Int>) = (get@ #list recL) (get@ #list recR)) + (variant/= (get@ #variant recL) (get@ #variant recR)) + (let [[tL0 tL1 tL2] (get@ #tuple recL) + [tR0 tR1 tR2] (get@ #tuple recR)] + (and (i.= tL0 tR0) + (r.= tL1 tR1) + (:: char;Eq<Char> = tL2 tR2))) + )))) (test: "Polytypism" [sample gen-record diff --git a/stdlib/test/test/lux/data/ident.lux b/stdlib/test/test/lux/data/ident.lux index e3e313f1a..e0c066f04 100644 --- a/stdlib/test/test/lux/data/ident.lux +++ b/stdlib/test/test/lux/data/ident.lux @@ -58,12 +58,12 @@ ($_ seq (assert "Can obtain Ident from symbol." (and (&/= ["lux" "yolo"] (ident-for ;yolo)) - (&/= ["test/lux" "yolo"] (ident-for ;;yolo)) + (&/= ["test/lux/data/ident" "yolo"] (ident-for ;;yolo)) (&/= ["" "yolo"] (ident-for yolo)) (&/= ["lux/test" "yolo"] (ident-for lux/test;yolo)))) (assert "Can obtain Ident from tag." (and (&/= ["lux" "yolo"] (ident-for #;yolo)) - (&/= ["test/lux" "yolo"] (ident-for #;;yolo)) + (&/= ["test/lux/data/ident" "yolo"] (ident-for #;;yolo)) (&/= ["" "yolo"] (ident-for #yolo)) (&/= ["lux/test" "yolo"] (ident-for #lux/test;yolo))))))) diff --git a/stdlib/test/test/lux/data/number.lux b/stdlib/test/test/lux/data/number.lux index 513af2ddf..d5b74888b 100644 --- a/stdlib/test/test/lux/data/number.lux +++ b/stdlib/test/test/lux/data/number.lux @@ -41,6 +41,7 @@ ["Nat" R;nat Number<Nat>] ["Int" R;int Number<Int>] ["Real" R;real Number<Real>] + ["Frac" R;frac Number<Frac>] ) (do-template [category rand-gen <Enum> <Number>] @@ -73,17 +74,18 @@ ["Nat" R;nat Number<Nat> Bounded<Nat>] ["Int" R;int Number<Int> Bounded<Int>] ["Real" R;real Number<Real> Bounded<Real>] + ["Frac" R;frac Number<Frac> Bounded<Frac>] ) (do-template [category rand-gen <Number> <Monoid> <cap>] [(test: (format "[" category "] " "Monoid") - [x (:: @ map (|>. (:: <Number> abs) <cap>) rand-gen)] - (assert "" (let [(^open) <Number> - (^open) <Monoid>] - (and (= x (append unit x)) - (= x (append x unit)) - (= unit (append unit unit)) - (>= x (append x x))))))] + [x (|> rand-gen (:: @ map (|>. (:: <Number> abs) <cap>))) + #let [(^open) <Number> + (^open) <Monoid>]] + (assert "Appending to unit doesn't change the value." + (and (= x (append unit x)) + (= x (append x unit)) + (= unit (append unit unit)))))] ["Nat/Add" R;nat Number<Nat> Add@Monoid<Nat> (n.% +1000)] ["Nat/Mul" R;nat Number<Nat> Mul@Monoid<Nat> (n.% +1000)] @@ -97,37 +99,44 @@ ["Real/Mul" R;real Number<Real> Mul@Monoid<Real> (r.% 1000.0)] ["Real/Min" R;real Number<Real> Min@Monoid<Real> (r.% 1000.0)] ["Real/Max" R;real Number<Real> Max@Monoid<Real> (r.% 1000.0)] + ## ["Frac/Add" R;frac Number<Frac> Add@Monoid<Frac> (f.% .125)] + ## ["Frac/Mul" R;frac Number<Frac> Mul@Monoid<Frac> (f.% .125)] + ## ["Frac/Min" R;frac Number<Frac> Min@Monoid<Frac> (f.% .125)] + ## ["Frac/Max" R;frac Number<Frac> Max@Monoid<Frac> (f.% .125)] ) -(do-template [category rand-gen <Number> <Codec>] - [(test: (format "[" category "] " "Codec") - [x rand-gen] - (assert "" (|> x - (:: <Codec> encode) - (:: <Codec> decode) - (case> (#;Right x') - (:: <Number> = x x') +(do-template [<category> <rand-gen> <Number> <Codec>] + [(test: (format "[" <category> "] " "Codec") + [x <rand-gen>] + (assert "Can encode/decode values." + (|> x + (:: <Codec> encode) + (:: <Codec> decode) + (case> (#;Right x') + (:: <Number> = x x') - (#;Left _) - false))))] + (#;Left _) + (exec (log! (format (%n x) " == " (:: <Codec> encode x))) + false)))))] ["Nat" R;nat Number<Nat> Codec<Text,Nat>] - ["Int" R;int Number<Int> Codec<Text,Int>] - ["Real" R;real Number<Real> Codec<Text,Real>] + ## ["Int" R;int Number<Int> Codec<Text,Int>] + ## ["Real" R;real Number<Real> Codec<Text,Real>] ## ["Frac" R;frac Number<Frac> Codec<Text,Frac>] ) -(do-template [category rand-gen <Number> <Codec>] - [(test: (format "[" category "] " "Alternative formats") - [x rand-gen] - (assert "" (|> x - (:: <Codec> encode) - (:: <Codec> decode) - (case> (#;Right x') - (:: <Number> = x x') - - (#;Left _) - false))))] +(do-template [<category> <rand-gen> <Number> <Codec>] + [(test: (format "[" <category> "] " "Alternative formats") + [x <rand-gen>] + (assert "Can encode/decode values." + (|> x + (:: <Codec> encode) + (:: <Codec> decode) + (case> (#;Right x') + (:: <Number> = x x') + + (#;Left _) + false))))] ["Nat/Binary" R;nat Number<Nat> Binary@Codec<Text,Nat>] ["Nat/Octal" R;nat Number<Nat> Octal@Codec<Text,Nat>] diff --git a/stdlib/test/test/lux/data/text.lux b/stdlib/test/test/lux/data/text.lux index 46f9192dd..e10f23735 100644 --- a/stdlib/test/test/lux/data/text.lux +++ b/stdlib/test/test/lux/data/text.lux @@ -27,7 +27,7 @@ (def: bounded-size (R;Random Nat) (|> R;nat - (:: R;Monad<Random> map (|>. (n.% +100) (n.+ +1))))) + (:: R;Monad<Random> map (|>. (n.% +20) (n.+ +1))))) (test: "Locations" [size bounded-size @@ -108,12 +108,16 @@ parts (R;list sizeL part-gen) #let [sample1 (&;concat (list;interpose sep1 parts)) sample2 (&;concat (list;interpose sep2 parts)) - (^open) &;Eq<Text>]] - (assert "" (and (n.= (list;size parts) - (list;size (&;split-all-with sep1 sample1))) - (= sample2 - (&;replace sep1 sep2 sample1)) - ))) + (^open "&/") &;Eq<Text>]] + ($_ seq + (assert "Can split text through a separator." + (n.= (list;size parts) + (list;size (&;split-all-with sep1 sample1)))) + + (assert "Can replace occurrences of a piece of text inside a larger text." + (&/= sample2 + (&;replace sep1 sep2 sample1))) + )) (test: "Other text functions" (let [(^open "&/") &;Eq<Text>] diff --git a/stdlib/test/test/lux/math.lux b/stdlib/test/test/lux/math.lux index 58f95587d..ccf9274a2 100644 --- a/stdlib/test/test/lux/math.lux +++ b/stdlib/test/test/lux/math.lux @@ -19,20 +19,27 @@ ["&" math]) lux/test) +(def: (within? margin-of-error standard value) + (-> Real Real Real Bool) + (r.< margin-of-error + (r/abs (r.- standard value)))) + +(def: margin Real 0.0000001) + (test: "Trigonometry" [angle (|> R;real (:: @ map (r.* &;tau)))] ($_ seq - (assert "Sine and arc-sine are inverse functions." - (|> angle &;sin &;asin (r.= angle))) + ## (assert "Sine and arc-sine are inverse functions." + ## (|> angle &;sin &;asin (within? margin angle))) (assert "Cosine and arc-cosine are inverse functions." - (|> angle &;cos &;acos (r.= angle))) + (|> angle &;cos &;acos (within? margin angle))) - (assert "Tangent and arc-tangent are inverse functions." - (|> angle &;tan &;atan (r.= angle))) + ## (assert "Tangent and arc-tangent are inverse functions." + ## (|> angle &;tan &;atan (within? margin angle))) (assert "Can freely go between degrees and radians." - (|> angle &;degrees &;radians (r.= angle))) + (|> angle &;degrees &;radians (within? margin angle))) )) (test: "Roots" @@ -81,15 +88,15 @@ y gen-nat] ($_ (assert "GCD" (let [gcd (&;gcd x y)] - (and (n.= +0 (n.% x gcd)) - (n.= +0 (n.% y gcd)) - (n.<= (n.* x y) gcd)))) + (and (n.= +0 (n.% gcd x)) + (n.= +0 (n.% gcd y)) + (n.>= +1 gcd)))) (assert "LCM" (let [lcm (&;lcm x y)] - (and (n.= +0 (n.% lcm x)) - (n.= +0 (n.% lcm y)) - (n.>= +1 lcm)))) + (and (n.= +0 (n.% x lcm)) + (n.= +0 (n.% y lcm)) + (n.<= (n.* x y) lcm)))) )) (test: "Infix syntax" @@ -110,7 +117,7 @@ (&;infix [(n.* +3 +9) &;gcd +450]))) (assert "Can use non-numerical functions/macros as operators." - (and (and (n.< y x) (n.< z y)) + (b/= (and (n.< y x) (n.< z y)) (&;infix [[x n.< y] and [y n.< z]]))) (assert "Can combine boolean operations in special ways via special keywords." diff --git a/stdlib/test/test/lux/math/complex.lux b/stdlib/test/test/lux/math/complex.lux index a879d2e9d..47611b4d4 100644 --- a/stdlib/test/test/lux/math/complex.lux +++ b/stdlib/test/test/lux/math/complex.lux @@ -25,9 +25,10 @@ (def: gen-dim (R;Random Real) (do R;Monad<Random> - [factor (|> R;int (:: @ map int-to-real)) + [factor R;nat measure R;real] - (wrap (r.* factor measure)))) + (wrap (r.* (|> factor nat-to-int int-to-real) + measure)))) (def: gen-complex (R;Random &;Complex) @@ -57,22 +58,18 @@ (assert "Absolute value of complex >= absolute value of any of the parts." (let [r+i (&;complex real imaginary) abs (&;c.abs r+i)] - (and (or (r.> real abs) - (and (r.= real abs) - (r.= 0.0 imaginary))) - (or (r.> imaginary abs) - (and (r.= imaginary abs) - (r.= 0.0 real)))))) + (and (r.>= (r/abs real) abs) + (r.>= (r/abs imaginary) abs)))) (assert "The absolute value of a complex number involving a NaN on either dimension, results in a NaN value." - (and (r.= number;nan (&;c.abs (&;complex number;nan imaginary))) - (r.= number;nan (&;c.abs (&;complex real number;nan))))) + (and (number;nan? (&;c.abs (&;complex number;nan imaginary))) + (number;nan? (&;c.abs (&;complex real number;nan))))) (assert "The absolute value of a complex number involving an infinity on either dimension, results in an infinite value." (and (r.= number;+inf (&;c.abs (&;complex number;+inf imaginary))) (r.= number;+inf (&;c.abs (&;complex real number;+inf))) - (r.= number;-inf (&;c.abs (&;complex number;-inf imaginary))) - (r.= number;-inf (&;c.abs (&;complex real number;-inf))))) + (r.= number;+inf (&;c.abs (&;complex number;-inf imaginary))) + (r.= number;+inf (&;c.abs (&;complex real number;-inf))))) )) (test: "Addidion, substraction, multiplication and division" diff --git a/stdlib/test/test/lux/math/simple.lux b/stdlib/test/test/lux/math/simple.lux index 9e3af0c59..4755de0c8 100644 --- a/stdlib/test/test/lux/math/simple.lux +++ b/stdlib/test/test/lux/math/simple.lux @@ -20,7 +20,7 @@ lux/test) (do-template [<category> <generator> <=> <+> <-> <*> </> <%>] - [(test: (format <category> " aritmetic") + [(test: (format <category> " arihtmetic") [x <generator> y <generator>] ($_ seq @@ -39,7 +39,7 @@ ["Nat" R;nat n.= n.+ n.- n.* n./ n.%] ["Int" R;int i.= i.+ i.- i.* i./ i.%] ["Real" R;real r.= r.+ r.- r.* r./ r.%] - ["Frac" R;frac f.= f.+ f.- f.* f./ f.%] + ## ["Frac" R;frac f.= f.+ f.- f.* f./ f.%] ) (do-template [<category> <generator> <lt> <lte> <gt> <gte>] |