From cc62bbae0f4e2eb6b20f04e31b2f222ee26ac670 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 15 Jul 2021 17:25:25 -0400 Subject: Editing --- doc/search.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc') 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. -- cgit v1.2.3