From 8389e763344637c01d0d7161091e5f2cd9b14251 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 27 Jun 2022 22:00:55 -0400 Subject: Yet still more editing --- doc/shift.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/shift.md') diff --git a/doc/shift.md b/doc/shift.md index bf28931c..7896ae8c 100644 --- a/doc/shift.md +++ b/doc/shift.md @@ -99,6 +99,6 @@ Shifting always works on the [first axis](leading.md) of `𝕩` (which must have In any instance of `Β»` or `Β«`, `𝕩` must have rank at least 1. -For a dyadic shift function, `𝕨` must be [Join](join.md#join-to)-compatible with `𝕩` (that is, `π•¨βˆΎπ•©` completes without error) and cannot have greater rank than `𝕩`. Then Shift Before (`Β»`) is `{(≠𝕩)β†‘π•¨βˆΎπ•©}` and Shift After (`Β«`) is `{(-≠𝕩)β†‘π•©βˆΎπ•¨}` +For a dyadic shift function, `𝕨` must be [Join](join.md#join-to)-compatible with `𝕩` (that is, `π•¨βˆΎπ•©` completes without error) and can't have greater rank than `𝕩`. Then Shift Before (`Β»`) is `{(≠𝕩)β†‘π•¨βˆΎπ•©}` and Shift After (`Β«`) is `{(-≠𝕩)β†‘π•©βˆΎπ•¨}` When called monadically, the default argument is a cell of fills `1↑0↑𝕩`. That is, Nudge (`Β»`) is `(1↑0β†‘βŠ’)⊸»` and Nudge Back (`Β«`) is `(1↑0β†‘βŠ’)⊸«`. This default argument always satisfies the compatibility requirement above and so the only conditions for nudge are that `𝕩` has rank at least 1 and has a fill element. -- cgit v1.2.3