diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-08 19:09:35 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-01-08 19:09:35 -0500 |
| commit | 6f480d3706c9f01f2f9044f4f016853a1e8239e6 (patch) | |
| tree | 36f861c92f5deba039404ae16576b08c97dd29d8 /spec | |
| parent | e14bfac44de8a5c2e8af4d95d76b6fa29cc38016 (diff) | |
There's no identity element for ∾˝ on an empty list
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/inferred.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/inferred.md b/spec/inferred.md index 5b43c0ef..0c9e5a83 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -26,7 +26,7 @@ Identity values for the arithmetic primitives below must be recognized. Under Fo | `0` | `≠` | `=` | `1` | | `0` | `>` | `≥` | `1` | -Additionally, the identity of `∾˝` must be recognized: if `0=≠𝕩`, then `∾˝𝕩` is `(0∾2↓≢𝕩)⥊𝕩`. +Additionally, the identity of `∾˝` must be recognized: if `0=≠𝕩` and `1<=𝕩`, then `∾˝𝕩` is `(0∾2↓≢𝕩)⥊𝕩`. If `1==𝕩`, then there is no identity element, as the result of `∾` always has rank at least 1, but the cell rank is 0. ## Undo |