From efa9759b24567bdda8f6345bd4b6e548e8a278cc Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 3 Jun 2022 22:04:33 -0400 Subject: Editing --- docs/doc/couple.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/couple.html') diff --git a/docs/doc/couple.html b/docs/doc/couple.html index 1f71bb19..93bf5e74 100644 --- a/docs/doc/couple.html +++ b/docs/doc/couple.html @@ -57,7 +57,7 @@

Merge is effectively a generalization of Solo and Couple, since Solo is {>⟨𝕩⟩} and Couple is {>⟨𝕨,𝕩⟩}. Since ≍ works on the "list" of arguments, it can only add one dimension, but > can take any number of dimensions as its input.

Merge and array theory

-

In all cases what these functions do is more like reinterpreting existing data than creating new information. In fact, if we ignore the shape and look at the ravels of the arrays involved in a call to Merge, we find that it just joins them together. Essentially, Merge is a request to ensure that the inner arrays (which, being independent elements, could be any sort of "ragged" array) can fit together in an array, and then to consider them to be such an array. For this reason, Merge (or a virtual analogue) is used to combine the result cells when calling a function with Rank into a single array.

+

In all cases what these functions do is more like reinterpreting existing data than creating new information. In fact, if we ignore the shape and look at the deshaped arrays involved in a call to Merge, we find that it just joins them together. Essentially, Merge is a request to ensure that the inner arrays (which, being independent elements, could be any sort of "ragged" array) can fit together in an array, and then to consider them to be such an array. For this reason, Merge (or a virtual analogue) is used to combine the result cells when calling a function with Rank into a single array.

↗️
    ⥊ > a
 "ABrstABuvwABxyzCDrstCDuvwCDxyz"
     ⥊ ⥊¨ a
-- 
cgit v1.2.3