diff options
Diffstat (limited to 'docs/doc/join.html')
| -rw-r--r-- | docs/doc/join.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/doc/join.html b/docs/doc/join.html index 56975907..9f93eae4 100644 --- a/docs/doc/join.html +++ b/docs/doc/join.html @@ -34,7 +34,7 @@ </pre> <p>For this definition to work, major cells of <code><span class='Value'>π¨</span></code> and <code><span class='Value'>π©</span></code> have to have the same shape. That means that <code><span class='Value'>π¨</span><span class='Function'>β‘</span><span class='Modifier2'>β</span><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'>ββ’</span><span class='Paren'>)</span><span class='Value'>π©</span></code>, and the shape of the result is the sum of the lengths of <code><span class='Value'>π¨</span></code> and <code><span class='Value'>π©</span></code> followed by their shared major cell shape: to use a self-referential definition, the final shape is given by <code><span class='Function'>+</span><span class='Modifier2'>β</span><span class='Function'>β </span> <span class='Function'>βΎ</span> <span class='Function'>β£</span><span class='Modifier'>βΌ</span><span class='Modifier2'>β</span><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'>ββ’</span><span class='Paren'>)</span></code> for arguments of equal rank.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=YSDiiL4gMuKAvzXipYpiICAjIFNoYXBlcyBkb24ndCBmaXQ=">βοΈ</a><pre> <span class='Value'>a</span> <span class='Function'>βΎ</span> <span class='Number'>2</span><span class='Ligature'>βΏ</span><span class='Number'>5</span><span class='Function'>β₯</span><span class='Value'>b</span> <span class='Comment'># Shapes don't fit -</span>ERROR +</span><span class='Error'>Error: βΎ: Lengths not matchable (3βΏ4 β‘ β’π¨, 2βΏ5 β‘ β’π©)</span> </pre> <p>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 <code><span class='Value'>π¨</span><span class='Function'><</span><span class='Modifier2'>β</span><span class='Function'>=</span><span class='Value'>π©</span></code>, then we must have <code><span class='Paren'>(</span><span class='Function'>β’</span><span class='Value'>π¨</span><span class='Paren'>)</span><span class='Function'>β‘</span><span class='Number'>1</span><span class='Function'>ββ’</span><span class='Value'>π©</span></code>, and the result shape is <code><span class='Number'>1</span><span class='Modifier2'>βΈ</span><span class='Function'>+</span><span class='Modifier2'>βΎ</span><span class='Function'>ββ’</span><span class='Value'>π©</span></code>.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=NOKAvzLigL8z4oC/MCDiiL4gYQ==">βοΈ</a><pre> <span class='Number'>4</span><span class='Ligature'>βΏ</span><span class='Number'>2</span><span class='Ligature'>βΏ</span><span class='Number'>3</span><span class='Ligature'>βΏ</span><span class='Number'>0</span> <span class='Function'>βΎ</span> <span class='Value'>a</span> @@ -65,7 +65,7 @@ "abcdefg" <span class='Function'>βΎ</span><span class='String'>"abcd"</span> <span class='Comment'># Result has to be rank 0, impossible -</span>ERROR +</span><span class='Error'>Error: βΎπ©: π© must have an element with rank at least =π©</span> </pre> <p>However, Join has higher-dimensional uses as well. Given a rank-<code><span class='Value'>m</span></code> array of rank-<code><span class='Value'>n</span></code> arrays (requiring <code><span class='Value'>m</span><span class='Function'>β€</span><span class='Value'>n</span></code>), it will merge arrays along their first <code><span class='Value'>m</span></code> axes. For example, if the argument is a matrix of matrices representing a <a href="https://en.wikipedia.org/wiki/Block_matrix">block matrix</a>, Join will give the corresponding unblocked matrix as its result.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=4oqiIG0g4oaQICgz4oC/MeKJjeKMnDTigL8y4oC/NSkg4qWKwqggMuKAvzPipYrihpU2CuKIviBtICAjIEpvaW4gYWxsIHRoYXQgdG9nZXRoZXI=">βοΈ</a><pre> <span class='Function'>β’</span> <span class='Value'>m</span> <span class='Gets'>β</span> <span class='Paren'>(</span><span class='Number'>3</span><span class='Ligature'>βΏ</span><span class='Number'>1</span><span class='Function'>β</span><span class='Modifier'>β</span><span class='Number'>4</span><span class='Ligature'>βΏ</span><span class='Number'>2</span><span class='Ligature'>βΏ</span><span class='Number'>5</span><span class='Paren'>)</span> <span class='Function'>β₯</span><span class='Modifier'>Β¨</span> <span class='Number'>2</span><span class='Ligature'>βΏ</span><span class='Number'>3</span><span class='Function'>β₯β</span><span class='Number'>6</span> |