Clean up identity computation and restrict to right inverses

1 files changed, 10 insertions, 2 deletions

diff --git a/src/r.bqn b/src/r.bqn
index adc9b3eb..7e8a7ec1 100644
--- a/src/r.bqn
+++ b/src/r.bqn
@@ -1,6 +1,5 @@
 # BQN runtime. Requires:
 # Type Decompose Glyph GetFill Log GroupLen GroupOrd  !+-×÷⋆⌊=≤≢⥊⊑↕⌜`⊘
-Decompose
 Glyph
 
 ◶ ← {𝕨((𝕨𝔽𝕩)⊑𝕘){𝔽}𝕩}     # LIMITED to number left operand result
@@ -327,7 +326,16 @@ _onAxes_←{
 + ↩ + _perv
 - ↩ - _perv
 ¬ ← 1+-
-identity ← (0⊑⟨"´: Identity not found"!0˜⟩) {(0⊑𝕨){𝕗=𝕩}◶𝕩‿(1⊑𝕨)}´ ⟨+‿0,-‿0,×‿1,÷‿1,⋆‿1,√‿1,∧‿1,∨‿0,¬‿1,|‿0,⌊‿∞,⌈‿¯∞,<‿0,≤‿1,=‿1,≥‿1,>‿0,≠‿0⟩
+identity ← {(0⊑𝕨)˙⊸=◶𝕩‿(1⊑𝕨)}´ ⟨
+  +‿0 , -‿0
+  ×‿1 , ÷‿1
+  ⋆‿1 , ¬‿1
+  ⌊‿∞ , ⌈‿¯∞
+  ∨‿0 , ∧‿1
+  ≠‿0 , =‿1
+  >‿0 , ≥‿1
+  "´: Identity not found"!0˙
+⟩
 
 Reshape←{
   "𝕨⥊𝕩: 𝕨 must have rank at most 1" ! 1≥=𝕨