diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-17 23:47:49 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-07-17 23:47:49 -0400 |
| commit | bf127e9512b621329a345fa32bbbe3073ff1ce04 (patch) | |
| tree | 93586b73b3b5d1f227e19e051c6f7a207f3d382b /problems.md | |
| parent | 115d0ea8ec8458a9841e46981829524587cdb6c6 (diff) | |
Fix link
Diffstat (limited to 'problems.md')
| -rw-r--r-- | problems.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/problems.md b/problems.md index 3722b4b9..c5ed3246 100644 --- a/problems.md +++ b/problems.md @@ -99,7 +99,7 @@ You have to scan for headers or double-struck names (and so does a compiler). A This is a natural array operation to do, and results in an array with a joinable structure, but as Prefixes and Suffixes are monadic there's no way to specify the number of axes to use. ### And/Or/Max/Min are all tangled up -Boolean And (`∧`) and Or (`∨`) are identical to Min (`⌊`) and Max (`⌈`) when restricted to Boolean arguments, and this would fit nicely with their monadic role as sorting functions: for example `a∧b ←→ ⊑∧a‿b`. Furthermore the pairing of Min with Floor and Max with Ceiling is mnemonic only and not especially natural. The reason I have not used these glyphs for Min and Max, and have instead extended them to the somewhat superfluous [arithmetic logical functions](doc/logical.md) is that Min and Max have different [identity elements](https://aplwiki.com/wiki/Identity_element) of `∞` and `¯∞` rather than `1` and `0`. Having to code around empty arrays when using `∧´` would be a fairly big issue. +Boolean And (`∧`) and Or (`∨`) are identical to Min (`⌊`) and Max (`⌈`) when restricted to Boolean arguments, and this would fit nicely with their monadic role as sorting functions: for example `a∧b ←→ ⊑∧a‿b`. Furthermore the pairing of Min with Floor and Max with Ceiling is mnemonic only and not especially natural. The reason I have not used these glyphs for Min and Max, and have instead extended them to the somewhat superfluous [arithmetic logical functions](doc/logic.md) is that Min and Max have different [identity elements](https://aplwiki.com/wiki/Identity_element) of `∞` and `¯∞` rather than `1` and `0`. Having to code around empty arrays when using `∧´` would be a fairly big issue. The other drawback of Min (`∧`) and Max (`∨`) is that the symbols are counterintuitive, but I have found a way to remember them: consider the graph of variables `a←x` and `b←¬x` for x from 0 to 1: two crossed lines. Now the graph of `a∧b` is a caret shape and `a∨b` is a vee. |
