From ff1c5b1d1489ed89a789c6b461201ecfd6e9511d Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 11 Sep 2021 21:33:42 -0400
Subject: =?UTF-8?q?Fix=20sortedness=20test=20in=20/=E2=81=BC?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'src')

diff --git a/src/r1.bqn b/src/r1.bqn
index 330b47f0..399bedf7 100644
--- a/src/r1.bqn
+++ b/src/r1.bqn
@@ -211,7 +211,7 @@ Indices←{
 IndicesInv←{
   IA 1==𝕩
   IA 1×´Nat⌜𝕩
-  IX (0⊸≤)◶⟨1,1×´(⊢≤○(⊑⟜𝕩)1⊸+)⌜∘↕⟩-˜≠𝕩
+  IX (0⊸≤)◶⟨1,1×´(⊢≤○(⊑⟜𝕩)1⊸+)⌜∘↕⟩1-˜≠𝕩
   GroupLen 𝕩
 }
 SelfClas ← (PermInv∘⍋∘Rep˜⊏˜¯1+`⊢) _self
-- 
cgit v1.2.3