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 --- docs/doc/shift.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/shift.html') 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 @@

Definition

In any instance of ยป or ยซ, ๐•ฉ must have rank at least 1.

-

For a dyadic shift function, ๐•จ must be Join-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-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