From cc62bbae0f4e2eb6b20f04e31b2f222ee26ac670 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 15 Jul 2021 17:25:25 -0400 Subject: Editing --- docs/doc/search.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') diff --git a/docs/doc/search.html b/docs/doc/search.html index e24a3b3c..a44c3fc0 100644 --- a/docs/doc/search.html +++ b/docs/doc/search.html @@ -219,7 +219,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"
 ┌─         
 ╵ 0 1 1 0  
@@ -234,7 +234,7 @@
   3 3  
       ┘
-

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.

+

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.

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.

↗️
    ⊢ rows ← >"row"‿"rho"‿"row"‿"rue"
 ┌─     
-- 
cgit v1.2.3