diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-16 20:28:06 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-16 20:28:06 -0400 |
| commit | 37ce3e42a9842c9cd66d19cb3d13aded1f9ce9bb (patch) | |
| tree | da038a87606afe682ba994233a35fc6c8f2ca00d /spec | |
| parent | 0a594027db299c37740726e282bfd513c8e1fa2b (diff) | |
Fix reference implementation of ⚇
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/reference.bqn | 4 |
1 files changed, 2 insertions, 2 deletions
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 𝕩 } |
