aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-04-04 20:58:48 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-04-04 20:58:48 -0400
commit63daa3ddcab9912dcb138385051c70a30908b43b (patch)
tree19b253fe6e8c16d182463e2de005fc452148e395 /src
parentca4cabe18c71b3ca58cf39b6f8463610f44c4dd5 (diff)
Support function 𝔾 in ⎉ in structural Under
Diffstat (limited to 'src')
-rw-r--r--src/r1.bqn1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/r1.bqn b/src/r1.bqn
index 4943cc62..31cf77fa 100644
--- a/src/r1.bqn
+++ b/src/r1.bqn
@@ -416,6 +416,7 @@ under←{
ss←↕0 ⋄ Wr←{ss∾↩⟨𝕩⟩⋄𝕩} ⋄ _rd←{i←𝕗⋄{𝕩⋄(i+↩1)⊢i⊑ss}}
_r_ ← {
Min←<◶⊢‿⊣
+ 𝕘 {𝕏○({𝕩_s}⍟(0 _rd))}⍟(3≤Type)↩
k←𝕨(⋈○(=2⊸⊑⍟(0 _rd)) (0≤⊢)◶⟨Min⟜-,⊣-Min⟩¨ 𝔾_ranks)𝕩
c←0<+´ss⋄Enc←0 _rd◶⟨EncRank,{f‿a‿i‿q←𝕩⋄{f‿a‿𝕩‿q _s}⌜𝕨 EncRank i}⟩
c◶⟨Merge,{𝕏⟨Merge,2‿1⟩}∘Nest⟩ ((0⊑k)Enc𝕨) 𝔽_each ((1-˜≠)⊸⊑k)Enc𝕩