Tempered monzos and vals: Difference between revisions

Line 1:

Tmonzos and tvals are like regular ~~monzos~~ and ~~vals~~, except they work in a space of tempered intervals (for example, the intervals found in meantone) rather than in just intonation. A tval specifies a tuning or further temperament of the ~~generators~~ of a temperament ~~(for~~ example, the 31edo tval for meantone is {31 49}), and a tmonzo specifies a particular tempered interval in terms of stacking the ~~tenperament~~'s generators ~~(for~~ example, the tmonzo form of the major third in meantone is {-6 4}). Taking the ~~[[Mathematical guide/Matrix operations~~|dot product]] of these (multiplying corresponding elements and adding up the results) yields the tuning of the major third in 31edo, 10\31.

'''Tmonzos''' (for '''tempered monzos''') and '''tvals''' (for '''tempered vals''') are like regular [[monzo]]s and [[val]]s, except they work in a space of tempered intervals (for example, the intervals found in meantone) rather than in [[just intonation]]. A tval specifies a tuning or further temperament of the [[generator]]s of a temperament. For example, the 31edo tval for meantone is {{val| 31 49 }}, assume the generators are ~2 and ~3. A tmonzo specifies a particular tempered interval in terms of stacking the temperament's generators. For example, the tmonzo form of the major third in meantone is {{monzo| -6 4 }}. Taking the {{w|dot product}} of these (multiplying corresponding elements and adding up the results) yields the tuning of the major third in 31edo, 10\31.

Mathematically, a regular temperament is a {{w|homomorphism}} (a kind of function) from the space of just intervals to the space of tempered intervals generated by that temperament, where both these spaces are [[stacking|abelian groups]]. Technically, a regular temperament is an equivalence class of functions separated by {{w|unimodular}} transformations, which represent the same temperament. An element of the space of tempered intervals is called a ''tempered monzo'', or for short ''tmonzo'', and represents the number of steps of each generator required to reach a tempered interval, and an element of the dual module ''K''* is called a ''tempered val'', or for short ''tval''.

Mathematically, a regular temperament is a homomorphism (a kind of function) from the space of just intervals to the space of tempered intervals generated by that temperament, where both these spaces are [[Stacking|abelian groups]]. Technically, a regular temperament refers to an equivalence class of functions separated by unimodular transformations (which are functionally the same temperament). An element of the space of tempered intervals is called a '''tempered monzo''', or for short "tmonzo", and represents the number of steps of each generator required to reach a tempered interval, and an element of the dual module K* is called a '''tval'''.

Tmonzos are rather straightforward, and tvals act on tmonzos in the same way that vals act on monzos: they are {{w|linear functional|linear functionals}} which map from tmonzos to a scalar representing a certain number of steps. Note that there is no restriction on which bases tmonzos can be written in, but one option is to use the basis corresponding to the [[temperament mapping matrix|mapping matrix]] for the temperament which is in [[normal lists #Normal val list|normal val list]] form.

Tmonzos are rather straightforward, and tvals act on tmonzos in the same way that vals act on monzos: they~~'re~~ linear functionals which map from tmonzos to a scalar representing a certain number of steps. Note that there is no restriction on which bases tmonzos can be written in, but one option is to use the basis corresponding to the [[~~Temperament Mapping Matrices (M-maps)~~|mapping matrix]] for the temperament which is in [[~~Normal~~ lists #Normal val list|normal val list]] form.

== Example ==

As an example, consider the mapping

As an example, consider the mapping matrix

~~[{{val| 1 1 0 }}]~~

[{~~{val|~~ 0 1 4 }}]

$$

\begin{bmatrix}

1 & 1 & 0 \\

0 & 1 & 4

\end{bmatrix}

$$

This mapping~~, which is referred to in mathematical terms as a "matrix",~~ represents meantone temperament. If we ~~[[Mathematical guide/Matrix multiplication|~~apply]] this mapping to the monzo {{monzo| 1 0 0 }}, representing 2/1, we get the tmonzo {{monzo| 1 0 }} (one tempered 2/1). If we instead apply it to {{monzo| -1 1 0 }}, we get the tmonzo {{monzo| 0 1 }} (one tempered 3/2). That 2/1 and 3/2 map to {{monzo| 1 0 }} and {{monzo| 0 1 }} respectively tell us that the tempered versions of these intervals can serve as a basis for meantone. If we now apply this mapping to the monzo {{monzo| -2 0 1 }}, representing 5/4, we get the tmonzo {{monzo| -2 4 }}, telling us that the tempered 5/4 maps to four tempered 3/2's minus two tempered 2/1's.

This mapping represents meantone temperament. If we apply this mapping to the monzo {{monzo| 1 0 0 }}, representing 2/1, we get the tmonzo {{monzo| 1 0 }} (one tempered 2/1). If we instead apply it to {{monzo| -1 1 0 }}, we get the tmonzo {{monzo| 0 1 }} (one tempered 3/2). That 2/1 and 3/2 map to {{monzo| 1 0 }} and {{monzo| 0 1 }} respectively tell us that the tempered versions of these intervals can serve as a basis for meantone. If we now apply this mapping to the monzo {{monzo| -2 0 1 }}, representing 5/4, we get the tmonzo {{monzo| -2 4 }}, telling us that the tempered 5/4 maps to four tempered 3/2's minus two tempered 2/1's.

== See also ==

@@ Line 1: / Line 1: @@
-Tmonzos and tvals are like regular monzos and vals, except they work in a space of tempered intervals (for example, the intervals found in meantone) rather than in just intonation. A tval specifies a tuning or further temperament of the generators of a temperament (for example, the 31edo tval for meantone is {31 49}), and a tmonzo specifies a particular tempered interval in terms of stacking the tenperament's generators (for example, the tmonzo form of the major third in meantone is {-6 4}). Taking the [[Mathematical guide/Matrix operations|dot product]] of these (multiplying corresponding elements and adding up the results) yields the tuning of the major third in 31edo, 10\31.
+'''Tmonzos''' (for '''tempered monzos''') and '''tvals''' (for '''tempered vals''') are like regular [[monzo]]s and [[val]]s, except they work in a space of tempered intervals (for example, the intervals found in meantone) rather than in [[just intonation]]. A tval specifies a tuning or further temperament of the [[generator]]s of a temperament. For example, the 31edo tval for meantone is {{val| 31 49 }}, assume the generators are ~2 and ~3. A tmonzo specifies a particular tempered interval in terms of stacking the temperament's generators. For example, the tmonzo form of the major third in meantone is {{monzo| -6 4 }}. Taking the {{w|dot product}} of these (multiplying corresponding elements and adding up the results) yields the tuning of the major third in 31edo, 10\31.
+Mathematically, a regular temperament is a {{w|homomorphism}} (a kind of function) from the space of just intervals to the space of tempered intervals generated by that temperament, where both these spaces are [[stacking|abelian groups]]. Technically, a regular temperament is an equivalence class of functions separated by {{w|unimodular}} transformations, which represent the same temperament. An element of the space of tempered intervals is called a ''tempered monzo'', or for short ''tmonzo'', and represents the number of steps of each generator required to reach a tempered interval, and an element of the dual module ''K''* is called a ''tempered val'', or for short ''tval''.
-Mathematically, a regular temperament is a homomorphism (a kind of function) from the space of just intervals to the space of tempered intervals generated by that temperament, where both these spaces are [[Stacking|abelian groups]]. Technically, a regular temperament refers to an equivalence class of functions separated by unimodular transformations (which are functionally the same temperament). An element of the space of tempered intervals is called a '''tempered monzo''', or for short "tmonzo", and represents the number of steps of each generator required to reach a tempered interval, and an element of the dual module K* is called a '''tval'''.
+Tmonzos are rather straightforward, and tvals act on tmonzos in the same way that vals act on monzos: they are {{w|linear functional|linear functionals}} which map from tmonzos to a scalar representing a certain number of steps. Note that there is no restriction on which bases tmonzos can be written in, but one option is to use the basis corresponding to the [[temperament mapping matrix|mapping matrix]] for the temperament which is in [[normal lists #Normal val list|normal val list]] form.
-Tmonzos are rather straightforward, and tvals act on tmonzos in the same way that vals act on monzos: they're linear functionals which map from tmonzos to a scalar representing a certain number of steps. Note that there is no restriction on which bases tmonzos can be written in, but one option is to use the basis corresponding to the [[Temperament Mapping Matrices (M-maps)|mapping matrix]] for the temperament which is in [[Normal lists #Normal val list|normal val list]] form.
 == Example ==
-As an example, consider the mapping
+As an example, consider the mapping matrix
-[{{val| 1 1 0 }}]
-[{{val| 0 1 4 }}]
+$$
+\begin{bmatrix}
+& 1 & 0 \\
+& 1 & 4
+\end{bmatrix}
+$$
-This mapping, which is referred to in mathematical terms as a "matrix", represents meantone temperament. If we [[Mathematical guide/Matrix multiplication|apply]] this mapping to the monzo {{monzo| 1 0 0 }}, representing 2/1, we get the tmonzo {{monzo| 1 0 }} (one tempered 2/1). If we instead apply it to {{monzo| -1 1 0 }}, we get the tmonzo {{monzo| 0 1 }} (one tempered 3/2). That 2/1 and 3/2 map to {{monzo| 1 0 }} and {{monzo| 0 1 }} respectively tell us that the tempered versions of these intervals can serve as a basis for meantone. If we now apply this mapping to the monzo {{monzo| -2 0 1 }}, representing 5/4, we get the tmonzo {{monzo| -2 4 }}, telling us that the tempered 5/4 maps to four tempered 3/2's minus two tempered 2/1's.
+This mapping represents meantone temperament. If we apply this mapping to the monzo {{monzo| 1 0 0 }}, representing 2/1, we get the tmonzo {{monzo| 1 0 }} (one tempered 2/1). If we instead apply it to {{monzo| -1 1 0 }}, we get the tmonzo {{monzo| 0 1 }} (one tempered 3/2). That 2/1 and 3/2 map to {{monzo| 1 0 }} and {{monzo| 0 1 }} respectively tell us that the tempered versions of these intervals can serve as a basis for meantone. If we now apply this mapping to the monzo {{monzo| -2 0 1 }}, representing 5/4, we get the tmonzo {{monzo| -2 4 }}, telling us that the tempered 5/4 maps to four tempered 3/2's minus two tempered 2/1's.
 == See also ==