From 4d602ea36183e62e463cea08900a16ea6240a03f Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 6 Jul 2021 22:18:20 -0400 Subject: Editing and links --- docs/doc/join.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/doc/join.html') diff --git a/docs/doc/join.html b/docs/doc/join.html index d9cac584..c3de72ae 100644 --- a/docs/doc/join.html +++ b/docs/doc/join.html @@ -5,7 +5,7 @@
BQN / main / doc

Join and Join To

-

The glyph ∾ combines arrays along an existing axis, a concept that other languages might call "concatenation" or "catenation" but BQN names "Join". The one-argument form Join and two-argument form Join To are parallel to the functions that combine arrays along a new axis, Merge (>) and Couple (≍).

+

The glyph ∾ combines arrays along an existing axis, a concept that other languages might call "concatenation" or "catenation" but BQN names "Join". The one-argument form Join and two-argument form Join To are parallel to the functions that combine arrays along a new axis, Merge (>) and Couple (≍).

Join To

Join To connects its two arguments together, for example to join two strings:

↗️
    "abcd" ∾ "EFG"
@@ -33,8 +33,8 @@
           ┘

For this definition to work, major cells of 𝕨 and 𝕩 have to have the same shape. That means that 𝕨≡○(1↓≢)𝕩, and the shape of the result is the sum of the lengths of 𝕨 and 𝕩 followed by their shared major cell shape: to use a self-referential definition, the final shape is given by +○≠ ∾ ⊣⁼○(1↓≢) for arguments of equal rank.

-↗️
    a ∾ 2‿5⥊b
-ERROR
+↗️
    a ∾ 2‿5⥊b  # Shapes don't fit
+ERROR
 

 
Join To will also allow arguments with ranks that are one apart. In this case, the smaller-rank argument is treated as a major cell in its entirety. If for example 𝕨<○=𝕩, then we must have (≢𝕨)≡1↓≢𝕩, and the result shape is 1⊸+⌾⊑≢𝕩.

 ↗️
    4‿2‿3‿0 ∾ a
-- 
cgit v1.2.3