From 15959e10ef4034664fa6a52edf2ede9ba437d9ad Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 14 Dec 2020 10:19:53 -0500 Subject: =?UTF-8?q?Add=20dyadic=20=E2=8A=B8=20to=20Undo=20requirements?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/spec/inferred.html | 16 ++++++++-------- spec/inferred.md | 8 ++++---- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index 617dcfd5..3733016f 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -104,7 +104,7 @@ ⌽ ⌽ -(-⊸⌽) +-⊸⌽ ⍉ @@ -315,14 +315,14 @@ -k⊸𝔽 -k⊸(𝔽⁼) -Constant k +⊸ +{𝔽⊸(𝔾⁼)} +Dyadic case or constant 𝔽 only k𝔽⊢ - - +k𝔽⁼⊢ +Constant k 𝔽⟜k𝕩 @@ -330,9 +330,9 @@ Constant k -⊢𝔽k˙ +⊢𝔽K -Arbitrary k +Constant k diff --git a/spec/inferred.md b/spec/inferred.md index 9a171396..76837d5b 100644 --- a/spec/inferred.md +++ b/spec/inferred.md @@ -41,7 +41,7 @@ The following structural functions have unique inverses, except in a few cases. | `⊢` | `⊢` | `⊢` | `⊣` | `⊢` | `{!𝕨≡𝕩⋄𝕩}` | `<` | `{!0==𝕩⋄!0<≡𝕩⋄⊑𝕩}` | -| `⌽` | `⌽` | `(-⊸⌽)` +| `⌽` | `⌽` | `-⊸⌽` | `⍉` | `(1⌽↕∘=)⊸⍉⍟(0<=)` | `{!∧´∊𝕨⋄𝕨⍉𝕩⋄(⍋⍷𝕨∾↕=𝕩)⍉𝕩}` | `/` | `≠¨∘⊔` | @@ -98,10 +98,10 @@ Inverses of other modifiers and derived functions or modifiers obtained from the | `⌾` | `{𝔽⁼⌾𝔾}` | Verify result for computational Under | `⍟n` | `⍟(-n)` | Atomic number n | `⊘` | `{(𝔽⁼)⊘(𝔾⁼)}` | -| `k⊸𝔽` | `k⊸(𝔽⁼)` | Constant k -| `k𝔽⊢` | | +| `⊸` | `{𝔽⊸(𝔾⁼)}` | Dyadic case or constant `𝔽` only +| `k𝔽⊢` | `k𝔽⁼⊢` | Constant k | `𝔽⟜k𝕩` | `k𝔽˜⁼𝕩` | Constant k -| `⊢𝔽k˙` | | Arbitrary k +| `⊢𝔽K` | | Constant k ## Under -- cgit v1.2.3