From de0b28520bc7bb65459db17c7451f808f6ef4e3e Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 12 Jul 2022 12:28:25 -0400 Subject: =?UTF-8?q?Tweak=20Indices=20example=20to=20avoid=20{=F0=9D=95=A9/?= =?UTF-8?q?1=E2=8C=BD=F0=9D=95=A9}=20interpretation?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/replicate.md | 2 +- docs/doc/replicate.html | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/replicate.md b/doc/replicate.md index b096ae62..7dd23e13 100644 --- a/doc/replicate.md +++ b/doc/replicate.md @@ -97,7 +97,7 @@ If `š•Ø` is `⟨⟩`, then it has depth 1, but is handled with the multidimensi The monadic form of `/` is much simpler than the dyadic one, with no multidimensional case or mismatched argument ranks. `š•©` has to be a list of natural numbers, and `/š•©` is the list `š•©/ā†•ā‰ š•©`. Its elements are the [indices](indices.md) for `š•©`, with index `i` repeated `iāŠ‘š•©` times. - / 3‿0‿1‿2 + / 3‿0‿2‿1 A unit argument isn't allowed, and isn't very useful: for example, `/6` might indicate an array of six zeros, but this can be written `/ℊ6` or `6ℊ0` with hardly any extra effort. diff --git a/docs/doc/replicate.html b/docs/doc/replicate.html index f3fce857..1e1fabc5 100644 --- a/docs/doc/replicate.html +++ b/docs/doc/replicate.html @@ -174,8 +174,8 @@

Indices

The monadic form of / is much simpler than the dyadic one, with no multidimensional case or mismatched argument ranks. š•© has to be a list of natural numbers, and /š•© is the list š•©/ā†•ā‰ š•©. Its elements are the indices for š•©, with index i repeated iāŠ‘š•© times.

-ā†—ļø
    / 3‿0‿1‿2
-⟨ 0 0 0 2 3 3 ⟩
+ā†—ļø
    / 3‿0‿2‿1
+⟨ 0 0 0 2 2 3 ⟩
 

A unit argument isn't allowed, and isn't very useful: for example, /6 might indicate an array of six zeros, but this can be written /ℊ6 or 6ℊ0 with hardly any extra effort.

When š•Ø has rank 1, š•Ø/š•© is equivalent to š•Ø/āŠøāŠš•©. Of course, this isn't the only use of Indices. It also gets along well with Group: for example, /āŠøāŠ” groups š•© according to a list of lengths š•Ø.

-- cgit v1.2.3