Operations on MOSes: Difference between revisions

Inthar (talk | contribs)
mNo edit summary
Inthar (talk | contribs)
mNo edit summary
Line 1: Line 1:
== Sisterization ==
== Sistering ==
'''Sisterization''' is the operation of taking a MOS pattern xL ys and reversing the roles of large and small steps, thus creating a yL xs pattern, called the ''sister'' of xL ys. It is called thus because a MOS pattern and its sister share the same MOS as a subset (for example, [[5L 2s]] and [[2L 5s]] both have [[2L 3s]] subsets), thus they share the same parent on the tree of MOS patterns (closely related to the Stern-Brocot tree). A sister of a MOS pattern are often denoted with the prefix ''anti-''.
'''Sistering''' is the operation of taking a MOS pattern xL ys and reversing the roles of large and small steps, thus creating a yL xs pattern, called the ''sister'' of xL ys. It is called thus because a MOS pattern and its sister share the same MOS as a subset (for example, [[5L 2s]] and [[2L 5s]] both have [[2L 3s]] subsets), thus they share the same parent on the tree of MOS patterns (closely related to the Stern-Brocot tree). A sister of a MOS pattern are often denoted with the prefix ''anti-''.


If xL ys has a generator range between a\x and b\(x+y) (it always holds that a < b), then its sister yL xs has a generator range between b\(x+y) and (b-a)\y.
If xL ys has a generator range between a\x and b\(x+y) (it always holds that a < b), then its sister yL xs has a generator range between b\(x+y) and (b-a)\y.