Extend required inverse support to any 3-train with a constant left or right tine

1 files changed, 2 insertions, 2 deletions

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