From d4c2d74ccf443d35969ab4e4c18cd47207d220d2 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 13 Jun 2021 08:57:11 -0400 Subject: Clear up ambiguities --- docs/doc/arithmetic.html | 2 +- docs/doc/enclose.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'docs') diff --git a/docs/doc/arithmetic.html b/docs/doc/arithmetic.html index 7e9b9b64..40a6067e 100644 --- a/docs/doc/arithmetic.html +++ b/docs/doc/arithmetic.html @@ -266,7 +266,7 @@ -

The ordered comparisons ≤<>≥ are defined on numbers and characters (and arrays, by pervasion); they give an error for operation or namespace arguments. They order numbers as you'd expect, and characters by their code points. A character is considered greater than any number, even if it's ∞.

+

The ordered comparisons ≤<>≥ are defined on numbers and characters (and arrays, by pervasion); they give an error for operation or namespace arguments. They order numbers as you'd expect, and characters by their code points. A character is considered greater than any number, even ∞.

↗️
    3‿4‿5‿6 ≤ 5
 ⟨ 1 1 1 0 ⟩
 
diff --git a/docs/doc/enclose.html b/docs/doc/enclose.html
index b526c28d..ce7d6cf9 100644
--- a/docs/doc/enclose.html
+++ b/docs/doc/enclose.html
@@ -117,7 +117,7 @@ ERROR
 ↗️
    =‿≠‿≡‿≢ {𝕎𝕩}¨ < 3‿2⥊"abcdef"
 ⟨ 2 3 1 ⟨ 3 2 ⟩ ⟩
 

-
The function {𝕎𝕩} applies its left argument as a function to its right; we want to apply the four functions Rank, Length, Depth, and Shape to a single array. Each normally matches up elements from its two arguments, but it will also copy the elements of a lower-rank argument to fill in any missing trailing axes and match the higher-rank argument's shape. To copy a single argument for every function call, it should have no axes, so we enclose it into a unit.

+
The function {𝕎𝕩} applies its left argument as a function to its right; we want to apply the four functions Rank, Length, Depth, and Shape to a single array. Normally Each matches up elements from its two arguments, but it will also copy the elements of a lower-rank argument to fill in any missing trailing axes and match the higher-rank argument's shape. To copy a single argument for every function call, it should have no axes, so we enclose it into a unit.

 
This example would work just as well with Table (⌜), although maybe the interpretation is a little different. The reason it matters that Each accepts unit arrays is that arithmetic primitives (as well as the Depth modifier ⚇) use Each to match their arguments up. Want to add a point (two numbers) to each point in an array? Just enclose it first.

 ↗️
    (<10‿¯10) + ⟨2‿3,1‿7⟩≍⟨4‿1,5‿4⟩
 ┌─                     
-- 
cgit v1.2.3