aboutsummaryrefslogtreecommitdiff
path: root/doc/rank.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-07-08 22:06:05 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-07-08 22:06:05 -0400
commit7fa325f583a59a1999cd8ce093a49f8048a3e05c (patch)
tree5157b1cbd4af6318eb77b3fcf5d80420d0cba46d /doc/rank.md
parent9ce4441a2fec2f6bd301f9cf5ad801c9534d34eb (diff)
Simplify and update Couple/Merge docs
Diffstat (limited to 'doc/rank.md')
-rw-r--r--doc/rank.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/rank.md b/doc/rank.md
index 594156ce..0dfae645 100644
--- a/doc/rank.md
+++ b/doc/rank.md
@@ -147,7 +147,7 @@ Lets look at things more systematically. Suppose `x` has shape `4‿3‿2‿1‿
≢ ⊑ <⎉2 ↕4‿3‿2‿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](couple.md#merge-and-array-theory) (`>`).
+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](couple.md) (`>`).
F⎉k x ←→ >F¨<⎉k x