diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-07-08 22:06:05 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-07-08 22:06:05 -0400 |
| commit | 7fa325f583a59a1999cd8ce093a49f8048a3e05c (patch) | |
| tree | 5157b1cbd4af6318eb77b3fcf5d80420d0cba46d /doc/rank.md | |
| parent | 9ce4441a2fec2f6bd301f9cf5ad801c9534d34eb (diff) | |
Simplify and update Couple/Merge docs
Diffstat (limited to 'doc/rank.md')
| -rw-r--r-- | doc/rank.md | 2 |
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 |
