diff options
| -rw-r--r-- | doc/arithmetic.md | 2 | ||||
| -rw-r--r-- | doc/enclose.md | 2 | ||||
| -rw-r--r-- | docs/doc/arithmetic.html | 2 | ||||
| -rw-r--r-- | 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 @@ </tr> </tbody> </table> -<p>The <em>ordered</em> comparisons <code><span class='Function'>≤<>≥</span></code> 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 <code><span class='Number'>∞</span></code>.</p> +<p>The <em>ordered</em> comparisons <code><span class='Function'>≤<>≥</span></code> 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 <code><span class='Number'>∞</span></code>.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=M+KAvzTigL814oC/NiDiiaQgNQoKJ2MnIDwgImFjYnoiCgrCr+KInuKAv8+A4oC/4oieIOKJpSBA4oC/JzAn4oC/Jz8n">↗️</a><pre> <span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>5</span><span class='Ligature'>‿</span><span class='Number'>6</span> <span class='Function'>≤</span> <span class='Number'>5</span> ⟨ 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 <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=PeKAv+KJoOKAv+KJoeKAv+KJoiB78J2VjvCdlal9wqggPCAz4oC/MuKliiJhYmNkZWYi">↗️</a><pre> <span class='Function'>=</span><span class='Ligature'>‿</span><span class='Function'>≠</span><span class='Ligature'>‿</span><span class='Function'>≡</span><span class='Ligature'>‿</span><span class='Function'>≢</span> <span class='Brace'>{</span><span class='Function'>𝕎</span><span class='Value'>𝕩</span><span class='Brace'>}</span><span class='Modifier'>¨</span> <span class='Function'><</span> <span class='Number'>3</span><span class='Ligature'>‿</span><span class='Number'>2</span><span class='Function'>⥊</span><span class='String'>"abcdef"</span> ⟨ 2 3 1 ⟨ 3 2 ⟩ ⟩ </pre> -<p>The function <code><span class='Brace'>{</span><span class='Function'>𝕎</span><span class='Value'>𝕩</span><span class='Brace'>}</span></code> applies its left argument as a function to its right; we want to apply the four functions Rank, Length, <a href="depth.html">Depth</a>, and <a href="shape.html">Shape</a> 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.</p> +<p>The function <code><span class='Brace'>{</span><span class='Function'>𝕎</span><span class='Value'>𝕩</span><span class='Brace'>}</span></code> applies its left argument as a function to its right; we want to apply the four functions Rank, Length, <a href="depth.html">Depth</a>, and <a href="shape.html">Shape</a> 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.</p> <p>This example would work just as well with Table (<code><span class='Modifier'>⌜</span></code>), 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 <code><span class='Modifier2'>⚇</span></code>) use Each to match their arguments up. Want to add a point (two numbers) to each point in an array? Just enclose it first.</p> <a class="replLink" title="Open in the REPL" target="_blank" href="https://mlochbaum.github.io/BQN/try.html#code=KDwxMOKAv8KvMTApICsg4p+oMuKAvzMsMeKAvzfin6niiY3in6g04oC/MSw14oC/NOKfqQ==">↗️</a><pre> <span class='Paren'>(</span><span class='Function'><</span><span class='Number'>10</span><span class='Ligature'>‿</span><span class='Number'>¯10</span><span class='Paren'>)</span> <span class='Function'>+</span> <span class='Bracket'>⟨</span><span class='Number'>2</span><span class='Ligature'>‿</span><span class='Number'>3</span><span class='Separator'>,</span><span class='Number'>1</span><span class='Ligature'>‿</span><span class='Number'>7</span><span class='Bracket'>⟩</span><span class='Function'>≍</span><span class='Bracket'>⟨</span><span class='Number'>4</span><span class='Ligature'>‿</span><span class='Number'>1</span><span class='Separator'>,</span><span class='Number'>5</span><span class='Ligature'>‿</span><span class='Number'>4</span><span class='Bracket'>⟩</span> ┌─ |