diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-15 17:25:25 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-15 17:25:25 -0400 |
| commit | cc62bbae0f4e2eb6b20f04e31b2f222ee26ac670 (patch) | |
| tree | c30f19c5e895b90e57c08416289ab9565d457ec8 /doc | |
| parent | 15e09ac32169656c38a4a996994477cc661caa7b (diff) | |
Editing
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/search.md | 4 |
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. |
