aboutsummaryrefslogtreecommitdiff
path: root/dzref_full
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-26 08:07:38 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-07-26 08:07:38 -0400
commit59f86b7d26ee10ba84e778a6477fcda83724057a (patch)
treee921419dbbb1d7c28d75ab0590762db2e21392bd /dzref_full
parentdcd18fa97095a7563603a278a2f52efbca084a53 (diff)
Faster cases for full-rank and rank 0 in _rankOp_
Diffstat (limited to 'dzref_full')
-rwxr-xr-xdzref_full1
1 files changed, 1 insertions, 0 deletions
diff --git a/dzref_full b/dzref_full
index b8322362..8eca20a6 100755
--- a/dzref_full
+++ b/dzref_full
@@ -144,6 +144,7 @@ _rankOp_←{
c←×´s←𝕨Cell𝕩
f⥊⊑⟜(⥊𝕩)¨∘((s⥊↕c)+c×⊢)¨↕×´f
}
+ Enc↩(>⟜0+≥⟜=)◶⟨<⊢,Enc,<¨⊢⟩
> ((0⊑k)Enc𝕨) 𝔽¨ ((1-˜≠)⊸⊑k)Enc𝕩
}
_scan←{