Monzo: Difference between revisions

From Xenharmonic Wiki
Jump to navigation Jump to search
Relationship with vals: I think we'll benefit by making this general formula truly general
m Examples: Adopt template
 
(22 intermediate revisions by 8 users not shown)
Line 5: Line 5:
| ja = モンゾ
| ja = モンゾ
}}
}}
A '''monzo''' is a way of notating a [[JI]] [[interval]] that allows us to express directly how any "composite" interval is represented in terms of those simpler prime intervals. They are typically written using the notation {{monzo| a b c d e f … }}, where the columns represent how the primes 2, 3, 5, 7, 11, 13, etc, in that order, contribute to the interval's prime factorization, up to some [[Harmonic Limit|prime limit]].
{{Beginner|Monzos and interval space}}
A '''monzo''' is a way of notating a [[JI]] [[interval]] that allows us to express directly how any composite interval is represented in terms of simpler [[prime]] intervals. They are typically written using the notation {{monzo| ''a''<sub>1</sub> ''a''<sub>2</sub> ''a''<sub>3</sub> ''a''<sub>4</sub> ''a''<sub>5</sub> ''a''<sub>6</sub> … }}, where ''a''<sub>''i''</sub> are numbers that represent how the primes 2, 3, 5, 7, 11, 13, etc., in that order, contribute to the interval's prime factorization, up to some [[harmonic limit|prime limit]].


Monzos can be thought of as counterparts to [[vals]]. Like vals, they also only permit integers as their entries (unless otherwise specified).
Monzos can be thought of as counterparts to [[vals]]. When notating just intonation, they only permit integers as their entries.
 
For the formal mathematical definition, visit the page [[Monzos and interval space]].


== History and terminology ==
== History and terminology ==
Monzos are named in honor of [[Joe Monzo]], given by [[Gene Ward Smith]] in July 2003. These were also previously called ''factorads'' by [[John Chalmers]] in ''Xenharmonikôn 1'', although the basic idea goes back at least as far as [[Adriaan Fokker]] and probably further back, so that the entire naming situation can be viewed as an example of [[Wikipedia: Stigler%27s law of eponymy|Stigler's law]] many times over. More descriptive but longer terms include '''prime-count vector'''<ref>Used by [[Douglas Blumeyer]] and [[Dave Keenan]] on this wiki, notably in [[Dave Keenan & Douglas Blumeyer's guide to RTT]]</ref>, '''prime-exponent vector'''<ref>[http://tonalsoft.com/enc/m/monzo.aspx Tonalsoft | ''Monzo'']</ref>, and in the context of just intonation, '''harmonic space coordinates'''<ref>[https://www.plainsound.org/HEJI/ Plainsound Music Edition | ''Plainsound Harmonic Space Calculator'']</ref>.
Monzos are named in honor of [[Joseph Monzo]], given by [[Gene Ward Smith]] in July 2003. These were also previously called ''factorads'' by [[John Chalmers]] in ''[[Xenharmonikôn]] 1'', although the basic idea goes back at least as far as [[Adriaan Fokker]] and probably further back, so that the entire naming situation can be viewed as an example of [[Wikipedia: Stigler%27s law of eponymy|Stigler's law]] many times over. More descriptive but longer terms include '''prime-count vector'''<ref group="note">Used by [[Douglas Blumeyer]] and [[Dave Keenan]] on this wiki, notably in [[Dave Keenan & Douglas Blumeyer's guide to RTT]]. </ref>, '''prime-exponent vector'''<ref>[http://tonalsoft.com/enc/m/monzo.aspx Tonalsoft | ''Monzo'']</ref>, and in the context of just intonation, '''harmonic space coordinates'''<ref>[https://www.plainsound.org/HEJI/ Plainsound Music Edition | ''Plainsound Harmonic Space Calculator'']</ref>.


== Examples ==
== Examples ==
For example, the interval 15/8 can be thought of as having <math>5⋅3</math> in the numerator, and <math>2⋅2⋅2</math> in the denominator. This can be compactly represented by the expression <math>2^{-3} \cdot 3^1 \cdot 5^1</math>, which is exactly equal to 15/8. We construct the monzo by taking the exponent from each prime, in order, and placing them within the {{monzo| … }} brackets, hence yielding {{monzo| -3 1 1 }}.  
To find the monzo of an interval in [[ratio]] form, factor the entire ratio as a product of primes, each raised to an exponent. For primes appearing in the denominator, these exponents will be negative. (A prime never appears in both the numerator and the denominator.) Arrange the primes in ascending order. If any primes smaller than the largest prime do not appear, include them using a zero exponent. Enter the exponents into the monzo.  


:'''Practical hint:''' the monzo template helps you getting correct brackets ([[Template:Monzo|read more…]]).
For example, the interval [[15/8]] can be thought of as having 5 × 3 in the numerator, and 2 × 2 × 2 in the denominator. This can be compactly represented by the expression 2<sup>-3</sup> × 3<sup>1</sup> × 5<sup>1</sup>, which is exactly equal to 15/8. We construct the monzo by taking the exponent from each prime, in order, and placing them within the {{monzo| … }} brackets, hence yielding {{monzo| -3 1 1 }}.  


Here are some common 5-limit monzos, for your reference:
Here are some common [[5-limit]] monzos, along with their factorizations to show how to derive them:


{| class="wikitable center-1"
{| class="wikitable center-1"
|-
|-
! Ratio
! Ratio
! Factors
! Monzo
! Monzo
|-
|-
| [[3/2]]
| [[3/2]]
| <math>2^{-1} \cdot 3</math>
| {{monzo| -1 1 0 }}
| {{monzo| -1 1 0 }}
|-
|-
| [[5/4]]
| [[5/4]]
| <math>2^{-2} \cdot 5</math>
| {{monzo| -2 0 1 }}
| {{monzo| -2 0 1 }}
|-
|-
| [[9/8]]
| [[9/8]]
| <math>2^{-3} \cdot 3^2</math>
| {{monzo| -3 2 0 }}
| {{monzo| -3 2 0 }}
|-
|-
| [[81/80]]
| [[81/80]]
| <math>2^{-4} \cdot 3^4 \cdot 5^{-1}</math>
| {{monzo| -4 4 -1 }}
| {{monzo| -4 4 -1 }}
|}
|}


Here are a few 7-limit monzos:
Here are a few [[7-limit]] monzos:


{| class="wikitable center-1"
{| class="wikitable center-1"
|-
|-
! Ratio
! Ratio
! Factors
! Monzo
! Monzo
|-
|-
| [[7/4]]
| [[7/4]]
| <math>2^{-2} \cdot 7</math>
| {{monzo| -2 0 0 1 }}
| {{monzo| -2 0 0 1 }}
|-
|-
| [[7/6]]
| [[7/6]]
| <math>2^{-1} \cdot 3^{-1} \cdot 7</math>
| {{monzo| -1 -1 0 1 }}
| {{monzo| -1 -1 0 1 }}
|-
|-
| [[7/5]]
| [[7/5]]
| <math>5^{-1} \cdot 7</math>
| {{monzo| 0 0 -1 1 }}
| {{monzo| 0 0 -1 1 }}
|}
|}
{{Tip| On the wiki, the monzo template helps you getting correct brackets ([[Template: Monzo|read more…]]). }}


== Relationship with vals ==
== Relationship with vals ==
Line 63: Line 73:
<math>
<math>
\left\langle \begin{matrix} 12 & 19 & 28 \end{matrix} \mid \begin{matrix} -4 & 4 & -1 \end{matrix} \right\rangle \\
\left\langle \begin{matrix} 12 & 19 & 28 \end{matrix} \mid \begin{matrix} -4 & 4 & -1 \end{matrix} \right\rangle \\
= 12 \times (-4) + 19 \times 4 + 28 \times (-1) \\
= 12 \cdot (-4) + 19 \cdot 4 + 28 \cdot (-1) \\
= 0
= 0
</math>
</math>


In this case, the val {{val| 12 19 28 }} is the [[patent val]] for 12-equal, and {{monzo| -4 4 -1 }} is 81/80, or the syntonic comma. The fact that ⟨ 12 19 28 | -4 4 -1 ⟩ tells us that 81/80 is mapped to 0 steps in 12-equal – aka it is tempered out which tells us that 12-equal is a meantone temperament. It is noteworthy that almost the entirety of western music, particularly western music composed for 12-equal or 12-tone well temperaments, is made possible by the above equation.
In this case, the val {{val| 12 19 28 }} is the [[patent val]] for [[12-equal]], and {{monzo| -4 4 -1 }} is 81/80, or the [[syntonic comma]]. The fact that ⟨ 12 19 28 | -4 4 -1 ⟩ tells us that 81/80 is mapped to 0 steps in 12-equal&mdash;in other words, it is tempered out&mdash;which tells us that 12-equal is a [[meantone]] temperament. It is noteworthy that almost the entirety of Western music composed in the [[Historical temperaments|Renaissance]] and from the sixteenth century onwards, particularly Western music composed for 12-tone circulating temperaments ([[12edo|12 equal]] and unequal [[well temperament]]s), is made possible by the tempering out of 81/80, and that almost all aspects of modern common practice Western music theory (chords and scales) in both classical and non-classical music genres are based exclusively on meantone.


In general:  
In general:  
Line 75: Line 85:
= a_1 b_1 + a_2 b_2 + \ldots + a_n b_n
= a_1 b_1 + a_2 b_2 + \ldots + a_n b_n
</math>
</math>
<!--
== Monzos in JI subgroups ==
We can generalize the concept of monzos and vals from the ''p''-limit to other [[JI subgroup]]s. This can be useful when considering different edo tunings of [[subgroup temperaments]].


Proposed notation: To write a JI ratio as a monzo in a JI subgroup, we choose a [[basis]] for the subgroup and factor an interval into the basis elements as we factor an interval in the ''p''-limit into primes at most ''p''. Then we write the monzo so as to explicitly state what basis elements we factor the intervals into and how many of each basis element the interval has in the factorization. For example, we can write [[81/80]] = 9<sup>2</sup>/(2<sup>4</sup> 5<sup>1</sup>) in the 2.9.5 subgroup as {{monzo|2^-4, 9^2, 5^-1}}. (We reserve the notation {{monzo|a b c ...}} and {{val|a b c ...}} for the ''p''-limit.)
== Generalizations ==
=== Subgroup monzos ===
{{Main| Subgroup monzos and vals }}
 
A subgroup monzo is like a standard monzo, except that it is in a just intonation [[subgroup]] that is not a prime limit. It is usually provided along with the subgroup it is in, such as 2.3.7 {{monzo| 1 -2 1 }} for 14/9 or 2.3.13/5 {{monzo| 1 -1 1 }} for 26/15. For subgroups with primes as basis elements (such as 2.3.7), a subgroup monzo can be seen as a standard monzo abbreviated to hide zeroes. To make this more clear, the abbreviated sections may be replaced with ellipses, such as 2.3.7 {{monzo| 1 -2 … 1 }} for 14/9.
 
=== Tempered monzos ===
{{Main| Tempered monzos and vals }}


Vals can be defined the same way in other subgroups as well; they represent how a subgroup is (viewed as being) tuned in terms of that edo's steps, but the basis element and the entry are separated by ~ instead of ^. For example, [[13edo]]'s "2.9.5 [[patent val]]" can be written as {{val|2~13, 9~41, 5~30}} (think "2 is approximately 13 steps, ..."), since [[13edo]]'s best approximation to the 9th harmonic is 41\13 (reduces to 2\13) and its best approximation to the 5th harmonic is 30\13 (reduces to 4\13). To see that this val "tempers out [[81/80]]", we do the same operation (of matching up and multiplying the components and summing the products) as described in the previous section:
A tempered monzo represents a tempered interval, or an interval in a regular temperament. It functions similarly to a subgroup monzo, except each entry represents not a JI interval but a generator for that regular temperament. For example, the tempered monzo for the major third in meantone (or more generally, the diatonic major third in a fifth-generated temperament) is ~2.~3 {{monzo| -6 4 }}. Note that we write the generators with tildes to indicate that they are tempered intervals. This means that to find the major third, you go up four perfect twelfths (~3/1) and down six octaves (~2/1).  


&#x27E8;2~13, 9~41, 5~30&#93;&#91;2^-4, 9^2, 5^-1&#x27E9; = 13*-4 + 41*2 + 30*-1 = 0.
More generally, tempered monzos are applicable to any regular tuning, regardless of JI mapping, so corresponding intervals in two different regular temperaments that are tuned the same way have the same tempered monzo.  


== Monzos in regular temperaments ==
A tempered monzo may be called a ''generator-count vector'', and conversely a standard monzo can be called a ''prime-count vector''.  
Proposed notation: We write a tempered interval (an interval in a [[regular temperament]]) as a (generalized) monzo by taking a set of [[generator]]s (for rank-2 temperaments, this will be the period and the generator), then writing what JI ratio each generator approximates (distinguished from pure JI intervals by putting it in quotes), followed by the number of that specified generator that the interval has. For example, the major third in [[meantone]] temperament can be written as {{monzo|"2"^-2, "3/2"^4}}, meaning "4 perfect fifths minus 2 octaves".


Similarly, edo tunings of a temperament can be given in terms of (a generalized version of) vals, by specifying how many edo steps are used for each generator of the temperament. For example, [[31edo]]'s tuning of meantone temperament can be written as {{val|"2"~31, "3/2"~18}}.
=== Fractional monzos ===
-->
{{Main| Fractional monzos }}
 
Any of the previous categories of monzo can also be a "fractional monzo", allowing entries to be fractions or non-integer rational numbers as opposed to just integers. This allows monzos to express equal divisions of just intervals and stacks thereof. For example, {{monzo| -1/2 1/2 }} is a monzo representing a neutral third equal to half of a perfect fifth, and {{monzo| 1/12 }} is a monzo representing a 12edo semitone. {{monzo| 1/12 1/13 }} is a monzo representing 1\12edo stacked with 1\13edt. (Numerically, this is the 156th root of 2<sup>13</sup> × 3<sup>12</sup>.) Note that we write the fractional monzo entries with forward slashes, as they represent fractions, despite writing edosteps with backslashes.


== See also ==
== See also ==
* [[Smonzos and svals]] — subgroup monzos and vals
* [[Extended bra–ket notation]]
* [[Tmonzos and tvals]] — tempered monzos and vals


== External links ==
== External links ==
Line 99: Line 113:


== Notes ==
== Notes ==
<references/>
<references group="note"/>
 
== References ==
<references />


[[Category:Regular temperament theory]]
[[Category:Regular temperament theory]]

Latest revision as of 17:52, 3 December 2025

This is a beginner page. It is written to allow new readers to learn about the basics of the topic easily.
The corresponding expert page for this topic is Monzos and interval space.

A monzo is a way of notating a JI interval that allows us to express directly how any composite interval is represented in terms of simpler prime intervals. They are typically written using the notation [a1 a2 a3 a4 a5 a6, where ai are numbers that represent how the primes 2, 3, 5, 7, 11, 13, etc., in that order, contribute to the interval's prime factorization, up to some prime limit.

Monzos can be thought of as counterparts to vals. When notating just intonation, they only permit integers as their entries.

History and terminology

Monzos are named in honor of Joseph Monzo, given by Gene Ward Smith in July 2003. These were also previously called factorads by John Chalmers in Xenharmonikôn 1, although the basic idea goes back at least as far as Adriaan Fokker and probably further back, so that the entire naming situation can be viewed as an example of Stigler's law many times over. More descriptive but longer terms include prime-count vector[note 1], prime-exponent vector[1], and in the context of just intonation, harmonic space coordinates[2].

Examples

To find the monzo of an interval in ratio form, factor the entire ratio as a product of primes, each raised to an exponent. For primes appearing in the denominator, these exponents will be negative. (A prime never appears in both the numerator and the denominator.) Arrange the primes in ascending order. If any primes smaller than the largest prime do not appear, include them using a zero exponent. Enter the exponents into the monzo.

For example, the interval 15/8 can be thought of as having 5 × 3 in the numerator, and 2 × 2 × 2 in the denominator. This can be compactly represented by the expression 2-3 × 31 × 51, which is exactly equal to 15/8. We construct the monzo by taking the exponent from each prime, in order, and placing them within the [ brackets, hence yielding [-3 1 1.

Here are some common 5-limit monzos, along with their factorizations to show how to derive them:

Ratio Factors Monzo
3/2 [math]\displaystyle{ 2^{-1} \cdot 3 }[/math] [-1 1 0
5/4 [math]\displaystyle{ 2^{-2} \cdot 5 }[/math] [-2 0 1
9/8 [math]\displaystyle{ 2^{-3} \cdot 3^2 }[/math] [-3 2 0
81/80 [math]\displaystyle{ 2^{-4} \cdot 3^4 \cdot 5^{-1} }[/math] [-4 4 -1

Here are a few 7-limit monzos:

Ratio Factors Monzo
7/4 [math]\displaystyle{ 2^{-2} \cdot 7 }[/math] [-2 0 0 1
7/6 [math]\displaystyle{ 2^{-1} \cdot 3^{-1} \cdot 7 }[/math] [-1 -1 0 1
7/5 [math]\displaystyle{ 5^{-1} \cdot 7 }[/math] [0 0 -1 1
💡Tip: On the wiki, the monzo template helps you getting correct brackets (read more…).

Relationship with vals

See also: Val, Keenan's explanation of vals, Vals and tuning space (more mathematical)

Monzos are important because they enable us to see how any JI interval "maps" onto a val. This mapping is expressed by writing the val and the monzo together, such as ⟨ 12 19 28 | -4 4 -1 ⟩. The mapping is extremely easily to calculate: simply multiply together each component in the same position on both sides of the line, and add the results together. This is perhaps best demonstrated by example:

[math]\displaystyle{ \left\langle \begin{matrix} 12 & 19 & 28 \end{matrix} \mid \begin{matrix} -4 & 4 & -1 \end{matrix} \right\rangle \\ = 12 \cdot (-4) + 19 \cdot 4 + 28 \cdot (-1) \\ = 0 }[/math]

In this case, the val 12 19 28] is the patent val for 12-equal, and [-4 4 -1 is 81/80, or the syntonic comma. The fact that ⟨ 12 19 28 | -4 4 -1 ⟩ tells us that 81/80 is mapped to 0 steps in 12-equal—in other words, it is tempered out—which tells us that 12-equal is a meantone temperament. It is noteworthy that almost the entirety of Western music composed in the Renaissance and from the sixteenth century onwards, particularly Western music composed for 12-tone circulating temperaments (12 equal and unequal well temperaments), is made possible by the tempering out of 81/80, and that almost all aspects of modern common practice Western music theory (chords and scales) in both classical and non-classical music genres are based exclusively on meantone.

In general:

[math]\displaystyle{ \left\langle \begin{matrix} a_1 & a_2 & \ldots & a_n \end{matrix} \mid \begin{matrix} b_1 & b_2 & \ldots & b_n \end{matrix} \right\rangle \\ = a_1 b_1 + a_2 b_2 + \ldots + a_n b_n }[/math]

Generalizations

Subgroup monzos

A subgroup monzo is like a standard monzo, except that it is in a just intonation subgroup that is not a prime limit. It is usually provided along with the subgroup it is in, such as 2.3.7 [1 -2 1 for 14/9 or 2.3.13/5 [1 -1 1 for 26/15. For subgroups with primes as basis elements (such as 2.3.7), a subgroup monzo can be seen as a standard monzo abbreviated to hide zeroes. To make this more clear, the abbreviated sections may be replaced with ellipses, such as 2.3.7 [1 -2 … 1 for 14/9.

Tempered monzos

A tempered monzo represents a tempered interval, or an interval in a regular temperament. It functions similarly to a subgroup monzo, except each entry represents not a JI interval but a generator for that regular temperament. For example, the tempered monzo for the major third in meantone (or more generally, the diatonic major third in a fifth-generated temperament) is ~2.~3 [-6 4. Note that we write the generators with tildes to indicate that they are tempered intervals. This means that to find the major third, you go up four perfect twelfths (~3/1) and down six octaves (~2/1).

More generally, tempered monzos are applicable to any regular tuning, regardless of JI mapping, so corresponding intervals in two different regular temperaments that are tuned the same way have the same tempered monzo.

A tempered monzo may be called a generator-count vector, and conversely a standard monzo can be called a prime-count vector.

Fractional monzos

Any of the previous categories of monzo can also be a "fractional monzo", allowing entries to be fractions or non-integer rational numbers as opposed to just integers. This allows monzos to express equal divisions of just intervals and stacks thereof. For example, [-1/2 1/2 is a monzo representing a neutral third equal to half of a perfect fifth, and [1/12 is a monzo representing a 12edo semitone. [1/12 1/13 is a monzo representing 1\12edo stacked with 1\13edt. (Numerically, this is the 156th root of 213 × 312.) Note that we write the fractional monzo entries with forward slashes, as they represent fractions, despite writing edosteps with backslashes.

See also

External links

Notes

References