aboutsummaryrefslogtreecommitdiff
path: root/doc/search.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-07-15 17:25:25 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-07-15 17:25:25 -0400
commitcc62bbae0f4e2eb6b20f04e31b2f222ee26ac670 (patch)
treec30f19c5e895b90e57c08416289ab9565d457ec8 /doc/search.md
parent15e09ac32169656c38a4a996994477cc661caa7b (diff)
Editing
Diffstat (limited to 'doc/search.md')
-rw-r--r--doc/search.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/search.md b/doc/search.md
index 159ba2f6..2e85c69d 100644
--- a/doc/search.md
+++ b/doc/search.md
@@ -143,7 +143,7 @@ For Member of, the equivalent is `∊⟜stuff⌾<`.
## Higher ranks
-So far we've shown set functions acting on lists. Well, and one example with a unit array slipped into the last section. In fact, if the searched-in array is a list, then the searched-for argument can have any rank.
+So far we've shown search functions acting on lists. Well, and one example with a unit array slipped into the last section. In fact, if the searched-in array is a list, then the searched-for argument can have any rank.
("high"≍"rank") ∊ "list arg"
@@ -151,7 +151,7 @@ Member of and Index of compute each result number independently, so only the sha
4‿4‿4 ⊒ 3‿2⥊4
-But the seached-in argument doesn't have to be a list either! It can also be an array of higher rank. Rank 0 isn't allowed: if you want to "search" a unit, you're probably just looking for [match](match.md).
+But the searched-in argument doesn't have to be a list either! It can also be an array of higher rank. Rank 0 isn't allowed: if you want to "search" a unit, you're probably just looking for [match](match.md).
The searched-in argument is treated as a list of its major cells. It's the rank of these major cells—let's call this rank `c`—that determines how the searched-for argument is treated. That argument must have rank `c` or more, and it's treated as an array of `c`-cells. For example, if the left argument to `⊐` is a rank-2 table, then each 1-cell (row) of `𝕩` is searched for independently, yielding one number in the result: a 0-cell.