From 2c50d91ec7eb8bc7890befe874a0b93729c2437e Mon Sep 17 00:00:00 2001 From: razetime Date: Wed, 19 Jan 2022 22:48:16 +0530 Subject: add h2s remove copied output, ascii filenames --- docs/help/groupindices_group.html | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 docs/help/groupindices_group.html (limited to 'docs/help/groupindices_group.html') diff --git a/docs/help/groupindices_group.html b/docs/help/groupindices_group.html new file mode 100644 index 00000000..2c0bc452 --- /dev/null +++ b/docs/help/groupindices_group.html @@ -0,0 +1,32 @@ + + + + BQN: Square Cup (`⊔`) + +
(github) / BQN / help
+

Square Cup (⊔)

+

⊔ 𝕩: Group Indices

+

Group the indices of the major cells of 𝕩 by their respective values.

+

𝕩 must consist of integers. Groups start from 0.

+↗️
       ⊔ 4‿5‿6‿6‿4‿7‿5
+⟨ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨ 0 4 ⟩ ⟨ 1 6 ⟩ ⟨ 2 3 ⟩ ⟨ 5 ⟩ ⟩
+
+       (↕8) ≍ ⊔ 4‿5‿6‿6‿4‿7‿5
+┌─                                           
+╵ 0  1  2  3  4       5       6       7      
+  ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨ 0 4 ⟩ ⟨ 1 6 ⟩ ⟨ 2 3 ⟩ ⟨ 5 ⟩  
+                                            ┘
+
+

𝕨 ⊔ 𝕩: Group

+

Group the major cells of 𝕩 by their respective indices in 𝕨.

+

If an element corresponds to ¯1, it is excluded from grouping.

+

An extra element can be added to the end of 𝕨 to specify length of the result.

+↗️
       1‿0‿1‿2‿2‿3‿3  ⊔ 4‿5‿6‿6‿4‿7‿5
+⟨ ⟨ 5 ⟩ ⟨ 4 6 ⟩ ⟨ 6 4 ⟩ ⟨ 7 5 ⟩ ⟩
+
+       1‿0‿1‿¯1‿¯1‿3‿3  ⊔ 4‿5‿6‿6‿4‿7‿5
+⟨ ⟨ 5 ⟩ ⟨ 4 6 ⟩ ⟨⟩ ⟨ 7 5 ⟩ ⟩
+
+       1‿0‿1‿¯1‿¯1‿3‿3‿10  ⊔ 4‿5‿6‿6‿4‿7‿5
+⟨ ⟨ 5 ⟩ ⟨ 4 6 ⟩ ⟨⟩ ⟨ 7 5 ⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟨⟩ ⟩
+
-- cgit v1.2.3