From 9ce4441a2fec2f6bd301f9cf5ad801c9534d34eb Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 8 Jul 2022 21:41:09 -0400 Subject: =?UTF-8?q?Document=20multiple=20and=20computed=20=F0=9D=94=BE=20i?= =?UTF-8?q?n=20Depth=20(=E2=9A=87)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/depth.md | 2 ++ docs/doc/depth.html | 1 + 2 files changed, 3 insertions(+) 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 `𝕩`. diff --git a/docs/doc/depth.html b/docs/doc/depth.html index 53518c35..596faa33 100644 --- a/docs/doc/depth.html +++ b/docs/doc/depth.html @@ -196,3 +196,4 @@ ↗️
    ≠⚇1 ⟨1,⟨2,⟨3,4⟩⟩,⟨5,⟨6,7⟩,⟨8,9,10⟩⟩,⟨11,12⟩⟩
 ⟨ 1 ⟨ 1 2 ⟩ ⟨ 1 2 3 ⟩ 2 ⟩
+

Like the Rank modifier, 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 𝕩.

-- cgit v1.2.3