Operations on MOSes: Difference between revisions
mNo edit summary |
mNo edit summary |
||
Line 1: | Line 1: | ||
== | == Sistering == | ||
''' | '''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. |