From c6cab48977311e88bf26c0d5b25ee09b95817ab4 Mon Sep 17 00:00:00 2001 From: razetime Date: Thu, 20 Jan 2022 08:47:02 +0530 Subject: fix repl redef errors --- docs/help/prefixes_take.html | 45 ++++++++++++++++++++++---------------------- 1 file changed, 22 insertions(+), 23 deletions(-) (limited to 'docs/help/prefixes_take.html') diff --git a/docs/help/prefixes_take.html b/docs/help/prefixes_take.html index 61d27740..41b13ed7 100644 --- a/docs/help/prefixes_take.html +++ b/docs/help/prefixes_take.html @@ -25,32 +25,31 @@

For each integer in 𝕨, take that many elements from each dimension of 𝕩.

Negative numbers take from the end.

If any of the elements in 𝕨 are greater than the length of their respective dimension, the dimension is extended with a fill value.

-↗️
      3 ↑ 1‿3‿5‿67
+↗️
      3 ↑ 1‿3‿5‿67
 ⟨ 1 3 5 ⟩
 
-      a ← 4‿4 ⥊ ↕16
-Error: Redefinition
+      b ← 4‿4 ⥊ ↕16
 
-      3‿3 ↑ a
-┌─       
-╵ 0 1 2  
-  3 4 5  
-  6 7 8  
-        ┘
+      3‿3 ↑ b
+┌─        
+╵ 0 1  2  
+  4 5  6  
+  8 9 10  
+         ┘
 
-      5‿5 ↑ a
-┌─           
-╵ 0 1 2 0 0  
-  3 4 5 0 0  
-  6 7 8 0 0  
-  0 0 0 0 0  
-  0 0 0 0 0  
-            ┘
+      5‿5 ↑ b
+┌─               
+╵  0  1  2  3 0  
+   4  5  6  7 0  
+   8  9 10 11 0  
+  12 13 14 15 0  
+   0  0  0  0 0  
+                ┘
 
-      3‿¯3 ↑ a
-┌─       
-╵ 0 1 2  
-  3 4 5  
-  6 7 8  
-        ┘
+      3‿¯3 ↑ b
+┌─         
+╵ 1  2  3  
+  5  6  7  
+  9 10 11  
+          ┘
 

-- 
cgit v1.2.3