diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-27 22:00:55 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-27 22:00:55 -0400 |
| commit | 8389e763344637c01d0d7161091e5f2cd9b14251 (patch) | |
| tree | 5406113f6711c6b1222650228cba453c2e4641fa /docs/doc/shift.html | |
| parent | b6185d5029e2adcc721c0cc2097f591d9a09f135 (diff) | |
Yet still more editing
Diffstat (limited to 'docs/doc/shift.html')
| -rw-r--r-- | docs/doc/shift.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/doc/shift.html b/docs/doc/shift.html index 8e8b3640..84684f8a 100644 --- a/docs/doc/shift.html +++ b/docs/doc/shift.html @@ -133,5 +133,5 @@ </pre> <h2 id="definition"><a class="header" href="#definition">Definition</a></h2> <p>In any instance of <code><span class='Function'>ยป</span></code> or <code><span class='Function'>ยซ</span></code>, <code><span class='Value'>๐ฉ</span></code> must have rank at least 1.</p> -<p>For a dyadic shift function, <code><span class='Value'>๐จ</span></code> must be <a href="join.html#join-to">Join</a>-compatible with <code><span class='Value'>๐ฉ</span></code> (that is, <code><span class='Value'>๐จ</span><span class='Function'>โพ</span><span class='Value'>๐ฉ</span></code> completes without error) and cannot have greater rank than <code><span class='Value'>๐ฉ</span></code>. Then Shift Before (<code><span class='Function'>ยป</span></code>) is <code><span class='Brace'>{</span><span class='Paren'>(</span><span class='Function'>โ </span><span class='Value'>๐ฉ</span><span class='Paren'>)</span><span class='Function'>โ</span><span class='Value'>๐จ</span><span class='Function'>โพ</span><span class='Value'>๐ฉ</span><span class='Brace'>}</span></code> and Shift After (<code><span class='Function'>ยซ</span></code>) is <code><span class='Brace'>{</span><span class='Paren'>(</span><span class='Function'>-โ </span><span class='Value'>๐ฉ</span><span class='Paren'>)</span><span class='Function'>โ</span><span class='Value'>๐ฉ</span><span class='Function'>โพ</span><span class='Value'>๐จ</span><span class='Brace'>}</span></code></p> +<p>For a dyadic shift function, <code><span class='Value'>๐จ</span></code> must be <a href="join.html#join-to">Join</a>-compatible with <code><span class='Value'>๐ฉ</span></code> (that is, <code><span class='Value'>๐จ</span><span class='Function'>โพ</span><span class='Value'>๐ฉ</span></code> completes without error) and can't have greater rank than <code><span class='Value'>๐ฉ</span></code>. Then Shift Before (<code><span class='Function'>ยป</span></code>) is <code><span class='Brace'>{</span><span class='Paren'>(</span><span class='Function'>โ </span><span class='Value'>๐ฉ</span><span class='Paren'>)</span><span class='Function'>โ</span><span class='Value'>๐จ</span><span class='Function'>โพ</span><span class='Value'>๐ฉ</span><span class='Brace'>}</span></code> and Shift After (<code><span class='Function'>ยซ</span></code>) is <code><span class='Brace'>{</span><span class='Paren'>(</span><span class='Function'>-โ </span><span class='Value'>๐ฉ</span><span class='Paren'>)</span><span class='Function'>โ</span><span class='Value'>๐ฉ</span><span class='Function'>โพ</span><span class='Value'>๐จ</span><span class='Brace'>}</span></code></p> <p>When called monadically, the default argument is a cell of fills <code><span class='Number'>1</span><span class='Function'>โ</span><span class='Number'>0</span><span class='Function'>โ</span><span class='Value'>๐ฉ</span></code>. That is, Nudge (<code><span class='Function'>ยป</span></code>) is <code><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'>โ</span><span class='Number'>0</span><span class='Function'>โโข</span><span class='Paren'>)</span><span class='Modifier2'>โธ</span><span class='Function'>ยป</span></code> and Nudge Back (<code><span class='Function'>ยซ</span></code>) is <code><span class='Paren'>(</span><span class='Number'>1</span><span class='Function'>โ</span><span class='Number'>0</span><span class='Function'>โโข</span><span class='Paren'>)</span><span class='Modifier2'>โธ</span><span class='Function'>ยซ</span></code>. This default argument always satisfies the compatibility requirement above and so the only conditions for nudge are that <code><span class='Value'>๐ฉ</span></code> has rank at least 1 and has a fill element.</p> |