diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-08 19:25:13 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-08 19:25:13 -0500 |
| commit | 2475f5cf1ff153ef119fa1ee19dceacc4a70e137 (patch) | |
| tree | fd138db24e4ed7c2739c1b62a5e7072cfdf0e4ab | |
| parent | 6f480d3706c9f01f2f9044f4f016853a1e8239e6 (diff) | |
Test cases for reduction identities
| -rw-r--r-- | test/cases/identity.bqn | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/cases/identity.bqn b/test/cases/identity.bqn new file mode 100644 index 00000000..1a65e0a9 --- /dev/null +++ b/test/cases/identity.bqn @@ -0,0 +1,17 @@ +# Fold +∧´ {𝕩≡𝕎´⟨⟩}´¨ ⟨+‿0,-‿0,×‿1,÷‿1,∨‿0,∧‿1⟩ +∧´ {𝕩≡𝕎´⟨⟩}´¨ ⟨⋆‿1,¬‿1,⌊‿∞,⌈‿¯∞⟩ +∧´ {𝕩≡𝕎´⟨⟩}´¨ ⟨≠‿0,=‿1,>‿0,≥‿1⟩ +! % √´↕0 +! % |´↕0 +! % ⊢´"" +! % ⊣´"" +! % ∾´⟨⟩ +! % ≍´⟨⟩ + +# Insert +∧´ {(3‿1⥊𝕩)≡𝕎˝0‿3‿1⥊""}´¨ ⟨+‿0,-‿0,×‿1,÷‿1,∨‿0,∧‿1,⋆‿1,¬‿1,⌊‿∞,⌈‿¯∞,≠‿0,=‿1,>‿0,≥‿1⟩ +! % ∾˝"" +(∾˝(↕5)⥊"") ≡ (≠⟜1⊸/↕5)⥊"" +(∾˝¨≡⥊¨) (≍⥊0˙)⌜˜0‿2‿5 +! % ⌽˝0‿3⥊⟨⟩ |