From f075b6c5137f42c4f71361eed986d277d4cabfa7 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 30 Jan 2021 17:32:19 -0500
Subject: =?UTF-8?q?Fix=20k=F0=9D=94=BD=F0=9D=94=BE=20inverse=20definition?=
 =?UTF-8?q?=20in=20the=20dyadic=20case?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/r.bqn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/r.bqn b/src/r.bqn
index 80bc0119..7949c199 100644
--- a/src/r.bqn
+++ b/src/r.bqn
@@ -792,7 +792,7 @@ Mod2Inverse ← INF˙ _lookup_ ⟨
 TrainInverse ← {
   f‿g‿h←𝕩
   K←¬IsConstant
-  f K∘⊣◶⟨{𝕏⁼𝕨G⁼⊢},K∘⊢◶⟨{𝕎⁼𝕩G˜⁼⊢},INF˙⟩⟩ h
+  f K∘⊣◶⟨{𝕏⁼{𝕨𝔽𝔾𝕩}(𝕨G⁼⊢)},K∘⊢◶⟨{𝕎⁼𝕩G˜⁼⊢},INF˙⟩⟩ h
 }
 FuncInverse ← (⊑ ⊣◶⟨
   PrimInverse∘⊑⊢                         # 0 primitive
-- 
cgit v1.2.3