From bd8c5efa3a9aa79df09016bfd9c047023e7cf75d Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 2 Jun 2022 22:30:39 -0400 Subject: Editing --- docs/doc/join.html | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'docs/doc/join.html') diff --git a/docs/doc/join.html b/docs/doc/join.html index 9f93eae4..e2876a74 100644 --- a/docs/doc/join.html +++ b/docs/doc/join.html @@ -11,7 +11,7 @@ ↗️
    "abcd" ∾ "EFG"
 "abcdEFG"
-

If the arguments have the same rank, then they are combined along the first axis: the result is an array whose major cells are the major cells of 𝕨 followed by the major cells of 𝕩. For arrays with rank two or more, this means they will be joined "vertically" according to BQN's display.

+

If the arguments have the same rank, then they are combined along the first axis: the result is an array whose major cells are the major cells of 𝕨 followed by the major cells of 𝕩. For arrays with rank two or more, this means they will be joined "vertically" according to BQN's display.

↗️
    ⊢ a ← 3 +⌜○↕ 4
 ┌─         
 ╵ 0 1 2 3  
@@ -57,8 +57,11 @@
 "timetojoinsomewords"

To join with a separator in between, we might prepend the separator to each string, then remove the leading separator after joining. Another approach would be to insert the separator array as an element between each pair of array elements before calling Join.

-↗️
    1↓∾' '∾¨"time"‿"to"‿"join"‿"some"‿"words"
+↗️
    1↓∾' '∾¨"time"‿"to"‿"join"‿"some"‿"words"
 "time to join some words"
+
+    ∾1↓⥊(<" * ")≍˘"time"‿"to"‿"join"‿"some"‿"words"
+"time * to * join * some * words"
 

 
Join also extends the rank of a unit element (including an atom) to allow it to fit into the list. The highest-rank element determines the rank of the result.

 ↗️
    ∾"abc"‿'d'‿"ef"‿(<'g')
@@ -67,7 +70,7 @@
     ∾"abcd"  # Result has to be rank 0, impossible
 Error: ∾𝕩: 𝕩 must have an element with rank at least =𝕩
 

-
However, Join has higher-dimensional uses as well. Given a rank-m array of rank-n arrays (requiring m≤n), it will merge arrays along their first m axes. For example, if the argument is a matrix of matrices representing a block matrix, Join will give the corresponding unblocked matrix as its result.

+
Join has higher-dimensional uses as well. Given a rank-m array of rank-n arrays (requiring m≤n), it will merge arrays along their first m axes. For example, if the argument is a matrix of matrices representing a block matrix, Join will give the corresponding unblocked matrix as its result.

 ↗️
    ⊢ m ← (3‿1≍⌜4‿2‿5) ⥊¨ 2‿3⥊↕6
 ┌─                                   
 ╵ ┌─          ┌─      ┌─             
-- 
cgit v1.2.3