From c3ea468236e362e4ecc1bc27aed7a64d90e7cf81 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 2 Jun 2022 21:42:44 -0400 Subject: Always use "index list", not "list index", for a full element index --- docs/doc/pick.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/pick.html') diff --git a/docs/doc/pick.html b/docs/doc/pick.html index a5e9392b..275b623a 100644 --- a/docs/doc/pick.html +++ b/docs/doc/pick.html @@ -82,7 +82,7 @@ 20, 1¯1, 31, ¯1¯1 a "kjqt" -

These indices have to be lists, since if they're numbers it just looks like 𝕨 is one list index.

+

These indices have to be lists, since if they're numbers it just looks like 𝕨 is an index list for one element.

↗️
    2,1,0,¯1  "abc"  # 𝕩 doesn't have rank 4!
 Error: ⊑: Picking item at wrong rank (index 2‿1‿0‿¯1 in array of shape ⟨3⟩)
 
-- 
cgit v1.2.3