MOS substitution: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 8: Line 8:
* 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 linear or based circular word in '''X''' and possibly other letters, and ''u'' is a based circular word, 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'' &ge; 0).
* If ''w'' is a linear or based circular word in '''X''' and possibly other letters, and ''u'' is a based circular word, 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'' &ge; 0).
<!--TODO: notation for substitution of subwords into subwords of template words-->


== Motivation ==
== Motivation ==