diff options
Diffstat (limited to 'doc/shift.md')
| -rw-r--r-- | doc/shift.md | 2 |
1 files changed, 1 insertions, 1 deletions
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. |
