From a9b717d23dbdd98b0b07f4de884364f5de0ac79c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 14 Dec 2020 11:01:31 -0500 Subject: =?UTF-8?q?=F0=9D=94=BD=E2=81=BC=E2=81=BC=E2=81=BC=20is=20always?= =?UTF-8?q?=20=F0=9D=94=BD=E2=81=BC?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/r.bqn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/r.bqn b/src/r.bqn index 00da60db..73a78f3c 100644 --- a/src/r.bqn +++ b/src/r.bqn @@ -646,7 +646,7 @@ Mod1Inverse ← INF˙ _lookup_ ⟨ } IsConstant ← (3≤Type)◶⟨1 ⋄ 4‿˙ ≡ 0‿¯1⊏Decompose⟩ Mod2Inverse ← INF˙ _lookup_ ⟨ - _inv_, {𝕏_invChk_𝕎} + _inv_, {𝕏_inv_𝕎} ∘, AtopInverse ○, {Fi←𝕎⁼⋄𝕏⁼ Fi⊘(𝕏⊸Fi)} ⌾, {𝕎⁼⌾𝕏} # Need to verify for computation Under @@ -671,4 +671,4 @@ FuncInverse ← (⊑ ⊣◶⟨ Mod2Inverse # 5 2-modifier ⟩ 1⊸↓) Decompose Inverse ← Type◶(3‿1‿2/{⊢⊣𝕩IX∘≡⊢}‿FuncInverse‿("Cannot invert modifier"!0˙)) -⁼ ↩ {𝕗 ≠◶⊢‿{𝕩_inv_𝕨} Inverse 𝕗} +⁼ ↩ {𝕗 ≠◶0‿(5‿_inv_≢0‿¯2⊏Decompose∘⊢)◶⊢‿{𝕏_inv_(𝕎_invChk_𝕏)} Inverse 𝕗} -- cgit v1.2.3