diff options
Diffstat (limited to 'stdlib/source/test/lux/math.lux')
| -rw-r--r-- | stdlib/source/test/lux/math.lux | 164 |
1 files changed, 82 insertions, 82 deletions
diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux index 6b5c9749e..4aa96e6db 100644 --- a/stdlib/source/test/lux/math.lux +++ b/stdlib/source/test/lux/math.lux @@ -57,88 +57,88 @@ parameterC (random.only (|>> (complex.= complex/0) not) random.complex) subjectC random.complex]) - (`` ($_ _.and - (~~ (template [</> <scenarios>'] - [(_.cover [</>] - (with_expansions [<scenarios> (template.spliced <scenarios>')] - (`` (and (~~ (template [<=> <//> <parameter> <subject>] - [(<=> (<//> <parameter> <subject>) - (</> <parameter> <subject>))] - - <scenarios>))))))] + (`` (all _.and + (~~ (template [</> <scenarios>'] + [(_.cover [</>] + (with_expansions [<scenarios> (template.spliced <scenarios>')] + (`` (and (~~ (template [<=> <//> <parameter> <subject>] + [(<=> (<//> <parameter> <subject>) + (</> <parameter> <subject>))] + + <scenarios>))))))] - [/.+ [[n.= n.+ parameterN subjectN] - [i.= i.+ parameterI subjectI] - [r.= r.+ parameterR subjectR] - [f.= f.+ parameterF subjectF] - [ratio.= ratio.+ parameter/ subject/] - [complex.= complex.+ parameterC subjectC]]] - [/.- [[n.= n.- parameterN subjectN] - [i.= i.- parameterI subjectI] - [r.= r.- parameterR subjectR] - [f.= f.- parameterF subjectF] - [ratio.= ratio.- parameter/ subject/] - [complex.= complex.- parameterC subjectC]]] - [/.* [[n.= n.* parameterN subjectN] - [i.= i.* parameterI subjectI] - [r.= r.* parameterR subjectR] - [f.= f.* parameterF subjectF] - [ratio.= ratio.* parameter/ subject/] - [complex.= complex.* parameterC subjectC]]] - [/./ [[n.= n./ parameterN subjectN] - [i.= i./ parameterI subjectI] - [r.= r./ parameterR subjectR] - [f.= f./ parameterF subjectF] - [ratio.= ratio./ parameter/ subject/] - [complex.= complex./ parameterC subjectC]]] - [/.% [[n.= n.% parameterN subjectN] - [i.= i.% parameterI subjectI] - [r.= r.% parameterR subjectR] - [f.= f.% parameterF subjectF] - [ratio.= ratio.% parameter/ subject/] - [complex.= complex.% parameterC subjectC]]] - )) - (~~ (template [</> <scenarios>'] - [(_.cover [</>] - (with_expansions [<scenarios> (template.spliced <scenarios>')] - (`` (and (~~ (template [<//> <parameter> <subject>] - [(bit#= (<//> <parameter> <subject>) - (</> <parameter> <subject>))] - - <scenarios>))))))] + [/.+ [[n.= n.+ parameterN subjectN] + [i.= i.+ parameterI subjectI] + [r.= r.+ parameterR subjectR] + [f.= f.+ parameterF subjectF] + [ratio.= ratio.+ parameter/ subject/] + [complex.= complex.+ parameterC subjectC]]] + [/.- [[n.= n.- parameterN subjectN] + [i.= i.- parameterI subjectI] + [r.= r.- parameterR subjectR] + [f.= f.- parameterF subjectF] + [ratio.= ratio.- parameter/ subject/] + [complex.= complex.- parameterC subjectC]]] + [/.* [[n.= n.* parameterN subjectN] + [i.= i.* parameterI subjectI] + [r.= r.* parameterR subjectR] + [f.= f.* parameterF subjectF] + [ratio.= ratio.* parameter/ subject/] + [complex.= complex.* parameterC subjectC]]] + [/./ [[n.= n./ parameterN subjectN] + [i.= i./ parameterI subjectI] + [r.= r./ parameterR subjectR] + [f.= f./ parameterF subjectF] + [ratio.= ratio./ parameter/ subject/] + [complex.= complex./ parameterC subjectC]]] + [/.% [[n.= n.% parameterN subjectN] + [i.= i.% parameterI subjectI] + [r.= r.% parameterR subjectR] + [f.= f.% parameterF subjectF] + [ratio.= ratio.% parameter/ subject/] + [complex.= complex.% parameterC subjectC]]] + )) + (~~ (template [</> <scenarios>'] + [(_.cover [</>] + (with_expansions [<scenarios> (template.spliced <scenarios>')] + (`` (and (~~ (template [<//> <parameter> <subject>] + [(bit#= (<//> <parameter> <subject>) + (</> <parameter> <subject>))] + + <scenarios>))))))] - [/.= [[n.= parameterN subjectN] - [i.= parameterI subjectI] - [r.= parameterR subjectR] - [f.= parameterF subjectF] - [ratio.= parameter/ subject/] - [complex.= parameterC subjectC]]] - [/.< [[n.< parameterN subjectN] - [i.< parameterI subjectI] - [r.< parameterR subjectR] - [f.< parameterF subjectF] - [ratio.< parameter/ subject/]]] - [/.<= [[n.<= parameterN subjectN] - [i.<= parameterI subjectI] - [r.<= parameterR subjectR] - [f.<= parameterF subjectF] - [ratio.<= parameter/ subject/]]] - [/.> [[n.> parameterN subjectN] - [i.> parameterI subjectI] - [r.> parameterR subjectR] - [f.> parameterF subjectF] - [ratio.> parameter/ subject/]]] - [/.>= [[n.>= parameterN subjectN] - [i.>= parameterI subjectI] - [r.>= parameterR subjectR] - [f.>= parameterF subjectF] - [ratio.>= parameter/ subject/]]] - )) + [/.= [[n.= parameterN subjectN] + [i.= parameterI subjectI] + [r.= parameterR subjectR] + [f.= parameterF subjectF] + [ratio.= parameter/ subject/] + [complex.= parameterC subjectC]]] + [/.< [[n.< parameterN subjectN] + [i.< parameterI subjectI] + [r.< parameterR subjectR] + [f.< parameterF subjectF] + [ratio.< parameter/ subject/]]] + [/.<= [[n.<= parameterN subjectN] + [i.<= parameterI subjectI] + [r.<= parameterR subjectR] + [f.<= parameterF subjectF] + [ratio.<= parameter/ subject/]]] + [/.> [[n.> parameterN subjectN] + [i.> parameterI subjectI] + [r.> parameterR subjectR] + [f.> parameterF subjectF] + [ratio.> parameter/ subject/]]] + [/.>= [[n.>= parameterN subjectN] + [i.>= parameterI subjectI] + [r.>= parameterR subjectR] + [f.>= parameterF subjectF] + [ratio.>= parameter/ subject/]]] + )) - /infix.test - /modulus.test - /modular.test - /number.test - /logic/continuous.test - /logic/fuzzy.test - )))) + /infix.test + /modulus.test + /modular.test + /number.test + /logic/continuous.test + /logic/fuzzy.test + )))) |