Ternary scale theorems: Difference between revisions
m →Proof |
|||
| Line 249: | Line 249: | ||
## ''S'' is equivalent to '''XYXZXYX'''. | ## ''S'' is equivalent to '''XYXZXYX'''. | ||
## len(''S'') is odd, and ''S'' is equivalent to a word constructed from taking the brightest mode of the MOS ''a'''''X''' ''b'''''Z''' with ''a'' even and gcd(''a'', ''b'') = 1, and replacing every other '''X''' with '''Y'''. We assume '''X''' > '''Z''' when constructing the MOS. | ## len(''S'') is odd, and ''S'' is equivalent to a word constructed from taking the brightest mode of the MOS ''a'''''X''' ''b'''''Z''' with ''a'' even and gcd(''a'', ''b'') = 1, and replacing every other '''X''' with '''Y'''. We assume '''X''' > '''Z''' when constructing the MOS. | ||
## | ## len(S) is even, and ''S'' is equivalent to a word constructed from taking the brightest mode of the MOS 2''a'''''X''' 2''b'''''Z''' with ''a'' odd and gcd(''a'', ''b'') = 1, and replacing every other '''X''' with '''Y'''. | ||
# All primitive balanced ternary scales are MV3. | # All primitive balanced ternary scales are MV3. | ||
# Balanced primitive ternary scales not of type (3) are always SV3. | # Balanced primitive ternary scales not of type (3) are always SV3. | ||