From abfa39c6fc52e9d58e0c205977af2073eaf05c10 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 12 Dec 2021 09:19:08 -0500
Subject: =?UTF-8?q?Special=20case=20extensions=20to=20remove=20checks=20fr?=
 =?UTF-8?q?om=20/=E2=81=BC=20and=20F=E2=81=BC=E2=81=BC?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/r1.bqn | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src')

diff --git a/src/r1.bqn b/src/r1.bqn
index a43a5621..9d302118 100644
--- a/src/r1.bqn
+++ b/src/r1.bqn
@@ -212,7 +212,6 @@ Indices←{
 IndicesInv←{
   IA 1==𝕩
   IA 1×´Nat⌜𝕩
-  IX (0⊸≤)◶⟨1,1×´(⊢≤○(⊑⟜𝕩)1⊸+)⌜∘↕⟩1-˜≠𝕩
   GroupLen 𝕩
 }
 SelfClas ← (PermInv∘⍋∘Rep˜⊏˜¯1+`⊢) _self
@@ -861,9 +860,8 @@ SwapInverse ← INF _lookup_ ⟨
 ⟩
 ⌜ ↩ _table
 ¨ ↩ _each
-CheckInv ← (4=0⊸⊑)◶⟨"+-÷⋆√¬"_glyphLookup_(6=↕7)1⊸⊑,¬·'⁼'_isGlyph 2⊸⊑⟩Decompose
 Mod1Inverse ← INF˙ _lookup_ ⟨
-  '⁼', {𝕏_invChk_(𝕏{i←Inverse𝕗⋄𝕨I𝕩})}⍟CheckInv
+  '⁼', ⊢
   '˜', {SwapInverse𝕩}
   '¨', {𝕏⁼¨                     ⊣·IX 0<≡∘⊢}
   '⌜', {𝕏⁼⌜⊘(IA∘0)              ⊣·IX 0<≡∘⊢}
@@ -876,7 +874,7 @@ Mod2Inverse ← INF˙ _lookup_ ⟨
   '∘', AtopInverse
   '○', {Fi←𝕎⁼⋄𝕏⁼ Fi⊘(𝕏⊸Fi)}
   '⌾', {𝕎⁼⌾𝕏}  # Need to verify for computation Under
-  '⍟', Int∘⊢◶⟨IA∘0˙,0⊸≤◶{𝕎⍟(-𝕩)_invChk_(𝕎⍟𝕩)}‿{𝕎⍟(-𝕩)}⟩
+  '⍟', Int∘⊢◶⟨IA∘0˙,{𝕎⍟(-𝕩)}⟩
   '⊘', {(𝕎⁼)⊘(𝕏⁼)}
   '⊸', IsConstant∘⊣ ⊣◶{INF⊘𝕏}‿⊢ {𝕎⊸(𝕏⁼)}
   '⟜', {(𝕨IsConstant∘⊢◶⟨IA∘0˙,{𝕩𝕎{SwapInverse𝕗}⊢}⟩𝕩)⊘(𝕏⁼𝕎⁼)}
-- 
cgit v1.2.3