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 --- doc/arithmetic.md | 2 +- doc/enclose.md | 2 +- docs/doc/arithmetic.html | 2 +- docs/doc/enclose.html | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/arithmetic.md b/doc/arithmetic.md index ee93b984..feb97083 100644 --- a/doc/arithmetic.md +++ b/doc/arithmetic.md @@ -151,7 +151,7 @@ BQN uses the six standard comparison functions of mathematics. For each pair of | Greater Than | `>` | 0 | 0 | 1 | Data | Greater Than or Equal to | `≥` | 0 | 1 | 1 | Data -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 diff --git a/doc/enclose.md b/doc/enclose.md index 6e54e12f..abefbc07 100644 --- a/doc/enclose.md +++ b/doc/enclose.md @@ -87,7 +87,7 @@ Table isn't the only mapping function that gets along well with units. Here's an =‿≠‿≡‿≢ {𝕎𝕩}¨ < 3‿2⥊"abcdef" -The function `{𝕎𝕩}` applies its left argument as a function to its right; we want to apply the four functions Rank, Length, [Depth](depth.md), and [Shape](shape.md) 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](depth.md), and [Shape](shape.md) 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. 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