From e2b07a5fd0bbaad232c717fb90a31d6c61d72bd4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 14 Jul 2022 20:06:50 -0400 Subject: Try to include previous variable definitions in REPL links --- docs/doc/join.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/doc/join.html') diff --git a/docs/doc/join.html b/docs/doc/join.html index e2876a74..b0f9ead4 100644 --- a/docs/doc/join.html +++ b/docs/doc/join.html @@ -33,11 +33,11 @@ ┘

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  # Shapes don't fit
+↗️
    a ∾ 2‿5⥊b  # Shapes don't fit
 Error: ∾: Lengths not matchable (3‿4 ≡ ≢𝕨, 2‿5 ≡ ≢𝕩)
 

 
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
+↗️
    4‿2‿3‿0 ∾ a
 ┌─         
 ╵ 4 2 3 0  
   0 1 2 3  
-- 
cgit v1.2.3