From fad4ca17b66100b59034fb0287197d308a6dcade Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 11 Apr 2021 15:36:04 -0400
Subject: =?UTF-8?q?More=20checking=20for=20=E2=8A=94=E2=81=BC?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/r.bqn | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/r.bqn b/src/r.bqn
index c6df1d1b..d818f944 100644
--- a/src/r.bqn
+++ b/src/r.bqn
@@ -728,9 +728,11 @@ IX ← "⁼: Inverse does not exist"⊸!
 INF← "⁼: Inverse not found"!0˙
 _invChk_ ← {i←𝕨𝔽𝕩⋄IX 𝕩≡𝕨𝔾i⋄i}
 GroupIndsInv ← {
-  IA 1==𝕩
+  IA 2=≡𝕩
+  IX 1∧´1==⌜𝕩
   j←∾𝕩
-  IA 1∧´Nat⌜j
+  IX 1∧´Nat⌜j
+  IX 1∧´j>∾¯1»¨𝕩
   g←GroupLen j
   IX 1∧´g≤1
   o←/¬g
@@ -739,7 +741,9 @@ GroupIndsInv ← {
 GroupInv ← {
   IA 1==𝕨
   IA 1∧´Nat⌜𝕨
-  (⊔𝕨) ⍋⊸⊏○∾ 𝕩
+  i←⊔𝕨
+  IX i≡○(≠¨)𝕩
+  i ⍋⊸⊏○∾ 𝕩
 }
 PrimInverse ← INF _lookup_ ⟨
   '+', +⊘(-˜)
-- 
cgit v1.2.3