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 --- docs/doc/replicate.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/doc/replicate.html') 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