From 37ce3e42a9842c9cd66d19cb3d13aded1f9ce9bb Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 16 Aug 2021 20:28:06 -0400 Subject: =?UTF-8?q?Fix=20reference=20implementation=20of=20=E2=9A=87?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- spec/reference.bqn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'spec') diff --git a/spec/reference.bqn b/spec/reference.bqn index 1d841a71..ba0e0570 100644 --- a/spec/reference.bqn +++ b/spec/reference.bqn @@ -227,10 +227,10 @@ ValidateRanks←{ } _ranks ← {⟨2⟩⊘⟨1,0⟩ ((⊣-1+|)˜⟜≠⊑¨<∘⊢) ValidateRanks∘𝔽} _depthOp_←{ - neg←0>n←𝕨𝔾_ranks𝕩 ⋄ F←𝔽 + neg←0>n←𝕨𝔾_ranks𝕩 ⋄ F←𝔽 ⋄ B←{𝕏}⊘{𝕨˙⊸𝕏} _d←{ R←(𝕗+neg)_d - 𝕨(2⥊(neg∧𝕗≥0)∨(0⌈𝕗)≥Pair○≡)◶(⟨R¨⋄R⟜𝕩¨∘⊣⟩≍⟨(𝕨R⊢)¨∘⊢⋄F⟩)𝕩 + 𝕨(2⥊(neg∧𝕗≥0)∨(0⌈𝕗)≥Pair○≡)◶(⟨R¨⋄R⟜(𝕩˙)¨∘⊣⟩≍⟨(𝕨 B r)¨∘⊢⋄F⟩)𝕩 } 𝕨 n _d 𝕩 } -- cgit v1.2.3