From d781df9f85be853a20b5e25c912cf1885ae45ac6 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 25 Jul 2020 22:40:49 -0400
Subject: Define Identity after pervasion, with a non-empty fold

---
 dzref_full | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/dzref_full b/dzref_full
index 569d1e69..d8902c61 100755
--- a/dzref_full
+++ b/dzref_full
@@ -29,9 +29,6 @@ Length ← (0<0⊑≢)◶⟨1⋄0⊑⊢⟩∘≢
 × ↩ 0⊸(<->)  ⊘ ×
 | ← ×⟜×      ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}
 
-Id←{(0⊑𝕨){𝕗=𝕩}◶𝕩‿(1⊑𝕨)}
-identity ← +‿0 Id -‿0 Id ×‿1 Id ÷‿1 Id ⋆‿1 Id √‿1 Id ∧‿1 Id ∨‿0 Id |‿0 Id <‿0 Id ≤‿1 Id =‿1 Id ≥‿1 Id >‿0 Id ≠‿0 Id ⊑⟨!∘0⟩ # ⌊‿∞ ⌈‿¯∞
-
 _fold←{
   ! 1==𝕩
   l←≠v←𝕩 ⋄ F←𝔽
@@ -67,8 +64,10 @@ _eachd←{
 _perv←{ # Pervasion
   (⊢⊘∨○IsArray)◶⟨𝔽⋄𝔽{𝕨𝔽_perv𝕩}¨⟩
 }
-⌊ ↩ ⌊        ⊘ {(𝕨>𝕩)⊑𝕨‿𝕩} _perv
-⌈ ← -∘⌊∘-    ⊘ {(𝕨<𝕩)⊑𝕨‿𝕩} _perv
+⌊ ↩ ⌊        ⊘ ({(𝕨>𝕩)⊑𝕨‿𝕩} _perv)
+⌈ ← -∘⌊∘-    ⊘ ({(𝕨<𝕩)⊑𝕨‿𝕩} _perv)
+
+identity ← {(0⊑𝕨){𝕗=𝕩}◶𝕩‿(1⊑𝕨)}´ ⟨+‿0,-‿0,×‿1,÷‿1,⋆‿1,√‿1,∧‿1,∨‿0,|‿0,⌊‿∞,⌈‿¯∞,<‿0,≤‿1,=‿1,≥‿1,>‿0,≠‿0,⊑⟨!∘0⟩⟩
 
 
 #⌜
-- 
cgit v1.2.3