From 7e6f810b942c299eb57c25c41dd9e26056567f59 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Wed, 16 Dec 2020 21:51:53 -0500
Subject: =?UTF-8?q?Have=20to=20verify=20inverse=20of=20=E2=8D=9F=20with=20?=
 =?UTF-8?q?negative=20right=20operand,=20just=20like=20=E2=81=BC?=
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 4be31d51..89f475c0 100644
--- a/src/r.bqn
+++ b/src/r.bqn
@@ -650,7 +650,7 @@ Mod2Inverse ← INF˙ _lookup_ ⟨
   ∘, AtopInverse
   ○, {Fi←𝕎⁼⋄𝕏⁼ Fi⊘(𝕏⊸Fi)}
   ⌾, {𝕎⁼⌾𝕏}  # Need to verify for computation Under
-  ⍟, Int∘⊢◶⟨IA∘0˙,{𝕎⍟(-𝕩)}⟩
+  ⍟, Int∘⊢◶⟨IA∘0˙,0⊸≤◶{𝕎⍟(-𝕩)_invChk_(𝕎⍟𝕩)}‿{𝕎⍟(-𝕩)}⟩
   ⊘, {(𝕎⁼)⊘(𝕏⁼)}
   ⊸, IsConstant∘⊣ ⊣◶{INF⊘𝕏}‿⊢ {𝕎⊸(𝕏⁼)}
   ⟜, IsConstant∘⊢◶⟨INF˙,{(𝕩𝕎˜⁼⊢)⊘(IA∘0)}⟩
-- 
cgit v1.2.3