MOS substitution: Difference between revisions
| Line 50: | Line 50: | ||
* For integers <math>m, n, \ (m, n) := \gcd(m, n).</math> | * For integers <math>m, n, \ (m, n) := \gcd(m, n).</math> | ||
* If ''w'' is a word (in a specific rotation) in '''X''' and possibly other letters, and ''u'' is a circular word in a specific modal rotation, then <math>\mathsf{subst}(w, \mathbf{X}, u)</math> denotes the word ''w'' but with the ''i''th occurrence of '''X''' replaced with ''u''[''i''] (for {{nowrap|''i'' ≥ 0}}). | * If ''w'' is a word (in a specific rotation) in '''X''' and possibly other letters, and ''u'' is a circular word in a specific modal rotation, then <math>\mathsf{subst}(w, \mathbf{X}, u)</math> denotes the word ''w'' but with the ''i''th occurrence of '''X''' replaced with ''u''[''i''] (for {{nowrap|''i'' ≥ 0}}). | ||
* ''a'''''X'''''b'''''Y'''(''k'') denotes the mode of ''a'''''X'''''b'''''Y''' which would have | * ''a'''''X'''''b'''''Y'''(''k'') denotes the mode of ''a'''''X'''''b'''''Y''' which would have [[simplified UDP]] notation <math>k|d(a+b-1-k)</math> under the assumption '''X''' > '''Y''' > '''0'''. | ||
== Formal definition == | == Formal definition == | ||