diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-07-08 21:41:09 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-07-08 21:41:09 -0400 |
| commit | 9ce4441a2fec2f6bd301f9cf5ad801c9534d34eb (patch) | |
| tree | 70eaf8b3e5529c565f6f01373d653c66723db66c /doc/depth.md | |
| parent | 36c94fedb277747ee71911626d147614df67c031 (diff) | |
Document multiple and computed 𝔾 in Depth (⚇)
Diffstat (limited to 'doc/depth.md')
| -rw-r--r-- | doc/depth.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/depth.md b/doc/depth.md index 88473d58..8c77bf24 100644 --- a/doc/depth.md +++ b/doc/depth.md @@ -131,3 +131,5 @@ While a negative depth tells how many levels to go down, a non-negative depth gi With a positive operand, Depth doesn't have to use the same depth everywhere. Here, [Length](shape.md) is applied as soon as the depth for a particular element is 1 or less, including if the argument has depth 0. For example, it maps over `⟨2,⟨3,4⟩⟩`, but not over `⟨11,12⟩`, even though these are elements of the same array. ≠⚇1 ⟨1,⟨2,⟨3,4⟩⟩,⟨5,⟨6,7⟩,⟨8,9,10⟩⟩,⟨11,12⟩⟩ + +[Like the Rank modifier](rank.md#multiple-and-computed-ranks), the right operand `𝔾` is really a function that returns the depth to be used, and that depth can be a single number, or a list of one to three numbers. One number gives the same depth to all arguments, two correspond to `𝕨` and `𝕩`, and three to monadic `𝕩`, and dyadic `𝕨` and `𝕩`. |
