diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-11 15:36:04 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-11 15:48:25 -0400 |
| commit | fad4ca17b66100b59034fb0287197d308a6dcade (patch) | |
| tree | f04e8f3272769b163f36d9309f04d30e0d362f96 /src | |
| parent | a014f3dc02c041b5c5a7c418f2cbc748b0a6bcc2 (diff) | |
More checking for ⊔⁼
Diffstat (limited to 'src')
| -rw-r--r-- | src/r.bqn | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -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_ ⟨ '+', +⊘(-˜) |