User:Inthar/MV3: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
| Line 94: | Line 94: | ||
=== Finishing the proof === | === Finishing the proof === | ||
We now prove that except in the case XYXZXYX, if the scale is pairwise well-formed, the scale is generated by alternating generators. | We now prove that except in the case XYXZXYX, if the scale is pairwise well-formed, the scale is generated by alternating generators. | ||
Assume the scale word S is not multiperiod. To eliminate XYXZXYX we manually check all words up to length 7... (todo) | |||
Now assume len(S) >= 8. | |||
== MV3 Theorem 2 == | == MV3 Theorem 2 == | ||
''Once you have chosen a rank-3 temperament and a specific generator interval, there is a mechanical procedure to generate all max-variety-3 scales of a certain size (of which there are, however, infinitely many).'' | ''Once you have chosen a rank-3 temperament and a specific generator interval, there is a mechanical procedure to generate all max-variety-3 scales of a certain size (of which there are, however, infinitely many).'' | ||