From 9b5c6783a95dc0a0048e93e6f610beaa20932191 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 14 Jun 2022 22:13:43 -0400 Subject: =?UTF-8?q?Use=20[]=20instead=20of=20>=E2=9F=A8=E2=9F=A9=20in=20a?= =?UTF-8?q?=20few=20places?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/doc/order.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/order.html') diff --git a/docs/doc/order.html b/docs/doc/order.html index a75c2600..af62ea0a 100644 --- a/docs/doc/order.html +++ b/docs/doc/order.html @@ -156,7 +156,7 @@

The fact that Grade Up inverts a permutation is useful in itself. Note that this applies to Grade Up specifically, and not Grade Down. This is because the identity permutation is ordered in ascending order. Grade Down would invert the reverse of a permutation, which is unlikely to be useful. So the ordinals idiom that goes in the opposite direction is actually not ⍒⍒ but ⍋⍒. The initial grade is different, but the way to invert it is the same.

Stability

When sorting an array, we usually don't care how matching cells are ordered relative to each other (although as mentioned above it's possible to detect it by using fill elements carefully. They maintain their ordering). Grading is a different matter, because often the grade of one array is used to order another one.

-↗️
    ⊢ t ← >⟨ "dog"‿4, "ant"‿6, "pigeon"‿2, "pig"‿4 ⟩
+↗️
    ⊢ t ← [ "dog"‿4, "ant"‿6, "pigeon"‿2, "pig"‿4 ]
 ┌─            
 ╵ "dog"    4  
   "ant"    6  
-- 
cgit v1.2.3