From 2475f5cf1ff153ef119fa1ee19dceacc4a70e137 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 8 Jan 2021 19:25:13 -0500
Subject: Test cases for reduction identities

---
 test/cases/identity.bqn | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 test/cases/identity.bqn

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⥊⟨⟩
-- 
cgit v1.2.3