Have to verify inverse of ⍟ with negative right operand, just like ⁼

1 files changed, 1 insertions, 1 deletions

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)}⟩