From f413a35977d9b7aef77a023b4a1b378434473b05 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Thu, 17 Dec 2020 15:54:54 -0500
Subject: Extend required inverse support to any 3-train with a constant left
 or right tine

---
 src/r.bqn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/r.bqn b/src/r.bqn
index d41c9630..d387af4e 100644
--- a/src/r.bqn
+++ b/src/r.bqn
@@ -659,8 +659,8 @@ Mod2Inverse ← INF˙ _lookup_ ⟨
 }
 TrainInverse ← {
   f‿g‿h←𝕩
-  K←¬IsConstant⊸∧⟜((⊑⟨⊢⟩)⊸=)
-  f K◶⟨{𝕨G⁼⊢},K˜◶⟨{𝕩G˜⁼⊢},INF˙⟩⟩ h
+  K←¬IsConstant
+  f K∘⊣◶⟨{𝕏⁼𝕨G⁼⊢},K∘⊢◶⟨{𝕎⁼𝕩G˜⁼⊢},INF˙⟩⟩ h
 }
 FuncInverse ← (⊑ ⊣◶⟨
   PrimInverse∘⊑⊢                         # 0 primitive
-- 
cgit v1.2.3