MOS substitution: Difference between revisions
| Line 13: | Line 13: | ||
* 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 circular word in a specific modal 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 ''i'' ≥ 0). | * If ''w'' is a circular word in a specific modal 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 ''i'' ≥ 0). | ||
* ''a'''''X'''''b'''''Y'''[''k''|''a''/''d''+''b''/''d''−1−''k''] denotes the mode of ''a'''''X'''''b'''''Y''' with UDP notation <math>dk|d(a/d+b/d-1-k)\ (d), \ d = \gcd(a,b)</math> | * ''a'''''X'''''b'''''Y'''[''k''|''a''/''d''+''b''/''d''−1−''k''] denotes the mode of ''a'''''X'''''b'''''Y''' with UDP notation <math>dk|d(a/d+b/d-1-k)\ (d), \ d = \gcd(a,b).</math> | ||
== Motivation == | == Motivation == | ||