From 7fa325f583a59a1999cd8ce093a49f8048a3e05c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 8 Jul 2022 22:06:05 -0400 Subject: Simplify and update Couple/Merge docs --- docs/doc/rank.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/rank.html') diff --git a/docs/doc/rank.html b/docs/doc/rank.html index 8cf63ad2..631693cf 100644 --- a/docs/doc/rank.html +++ b/docs/doc/rank.html @@ -219,7 +219,7 @@ ≢ ⊑ <⎉2 ↕4‿3‿2‿1‿0 ⟨ 1 0 ⟩ -

We can build a frame array using <⎉2, as shown above. In the general case, the frame remains conceptual: the actual array <⎉2 x is never created, and the result might also not have the shape 4‿3‿2. But the result shape does always have 4‿3‿2 as a prefix. Rank maps over these axes, leaving them intact. And it can be defined in terms of the cell-splitting function <⎉k, and its inverse Merge (>).

+

We can build a frame array using <⎉2, as shown above. In the general case, the frame remains conceptual: the actual array <⎉2 x is never created, and the result might also not have the shape 4‿3‿2. But the result shape does always have 4‿3‿2 as a prefix. Rank maps over these axes, leaving them intact. And it can be defined in terms of the cell-splitting function <⎉k, and its inverse Merge (>).

F⎉k x  ←→  >F¨<⎉k x

That is, F⎉k splits its argument into k-cells, applies F to each of these (in index order, of course), then merges the results into a single array.

-- cgit v1.2.3