User:Inthar/MV3: Difference between revisions
| Line 99: | Line 99: | ||
''To be continued...'' | ''To be continued...'' | ||
=== Proof of the alternating-gens property === | === Proof of the alternating-gens property (except in the case xyxzxyx) === | ||
We now prove that except in the case | 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 | 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 | Now assume len(S) >= 8 | ||
=== Proof of "aX bY bZ" === | === Proof of "aX bY bZ" === | ||
== 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).'' | ||