Val: Difference between revisions

the usage of a val explicitly prioritizes *representing* JI over *approximating* it
No edit summary
 
Line 151: Line 151:
In practice, most single-row mappings in RTT are vals, because we usually deal with integer entries, and the other specifications only mean anything to advanced mathematicians.
In practice, most single-row mappings in RTT are vals, because we usually deal with integer entries, and the other specifications only mean anything to advanced mathematicians.


== Generalizations ==
== Vals in non-prime-limit spaces ==
 
=== Mapping matrix ===
''Main article: [[Mapping]]''
 
A mapping matrix is the most common generalization of a val, for a rank-2 or higher temperament. As a result, it has more than one row, To be precise, there is one row for each generator of the temperament.
 
=== Tuning map ===
''Main article: [[Tuning map]]''
 
A tuning map generalizes a val in a different way. Instead of treating the entries of a val as equal temperament steps, it treats them as a logarithmic interval size measure (usually cents). Thus, the entries of a tuning map may be any real number. ⟨1200 1901.955] is the tuning map for the justly-tuned 3-limit, and ⟨1200 1896.8 2787.1] is the tuning map for the 5-limit tuned to meantone (specifically, 31edo).


=== Subgroup val ===
=== In JI subgroups ===
''Main article: [[Subgroup monzos and vals]]''
''Main article: [[Subgroup monzos and vals]]''


We can generalize the concept of monzos and vals from the ''p''-limit (for some prime ''p'') to other [[JI subgroup]]s. This can be useful when considering different edo tunings of [[subgroup temperaments]]. [[Gene Ward Smith]] called these "[[sval]]s", short for "[[subgroup val]]s", and correspondingly "[[smonzo]]s" as short for "[[subgroup monzo]]s".
It is rather intuitive to generalize the concept of monzos and vals from the ''p''-limit (for some prime ''p'') to other [[JI subgroup]]s. This can be useful when considering different edo tunings of [[subgroup temperaments]]. [[Gene Ward Smith]] called these "[[sval]]s", short for "[[subgroup val]]s", and correspondingly "[[smonzo]]s" as short for "[[subgroup monzo]]s".


To notate a subgroup val, we typically precede the "bra" (angle bracket) notation with an indicator regarding the subgroup (and choice of basis, as we don't have to use only ascending primes). For instance, the patent val for 12 equal on the 2.3.7 subgroup is often notated "2.3.7 {{val|12 19 34}}". If the subgroup indicator isn't present, the subgroup can be inferred from context. It is very typical for a val with no explicit subgroup indicator to be interpreted as representing some prime limit, e.g. {{val| a b c }} would represent a 5-limit val.
To notate a subgroup val, we typically precede the "bra" (angle bracket) notation with an indicator regarding the subgroup (and choice of basis, as we don't have to use only ascending primes). For instance, the patent val for 12 equal on the 2.3.7 subgroup is often notated "2.3.7 {{val|12 19 34}}". If the subgroup indicator isn't present, the subgroup can be inferred from context. It is very typical for a val with no explicit subgroup indicator to be interpreted as representing some prime limit, e.g. {{val| a b c }} would represent a 5-limit val (in fact, the normal vals introduced in this page can be seen as entirely contained within this special case).


Note that we could, for instance, use a different basis for the same subgroup - for instance, we could instead write "2.3.21 {{val| 12 19 53 }}", which is the 12 equal patent val in the "2.3.21" subgroup. Since the "2.3.21" subgroup is the same as the "2.3.7" subgroup, just written with a different basis, these two apparently "different" svals represent the same map from this subgroup to a rank-1 generator chain. (It is a matter of semantics if these are thought of as "different" svals or "the same sval" written using a different basis.)
Note that we could, for instance, use a different basis for the same subgroup - for instance, we could instead write "2.3.21 {{val| 12 19 53 }}", which is the 12 equal patent val in the "2.3.21" subgroup. Since the "2.3.21" subgroup is the same as the "2.3.7" subgroup, just written with a different basis, these two apparently "different" svals represent the same map from this subgroup to a rank-1 generator chain. (It is a matter of semantics if these are thought of as "different" svals or "the same sval" written using a different basis.)
Line 180: Line 170:
  ⟨13, 41, 30|2^-4, 9^2, 5^-1⟩ = 13*-4 + 41*2 + 30*-1 = 0.
  ⟨13, 41, 30|2^-4, 9^2, 5^-1⟩ = 13*-4 + 41*2 + 30*-1 = 0.


=== Tempered val ===
=== In regular temperaments ===
''Main article: [[Tempered monzos and vals]]''
''Main article: [[Tempered monzos and vals]]''


Line 186: Line 176:


There are also tempered tuning maps, covered on their respective page.
There are also tempered tuning maps, covered on their respective page.
== Generalizations ==
The entries of a val measure equal-tempered steps, which can be thought of either as a generator for a rank-1 temperament (and thus the structure can be generalized to account for multiple generators, resulting in a mapping matrix) or as a logarithmic interval size measure (and thus the entries can be generalized to non-integer values to create a tuning map).
=== Mapping matrix ===
''Main article: [[Mapping]]''
A mapping matrix is the most common generalization of a val, for a rank-2 or higher temperament. As a result, it has more than one row, To be precise, there is one row for each generator of the temperament.
=== Tuning map ===
''Main article: [[Tuning map]]''
A tuning map generalizes a val in a different way. Instead of treating the entries of a val as equal temperament steps, it treats them as a logarithmic interval size measure (usually cents). Thus, the entries of a tuning map may be any real number. ⟨1200 1901.955] is the tuning map for the justly-tuned 3-limit, and ⟨1200 1896.8 2787.1] is the tuning map for the 5-limit tuned to meantone (specifically, 31edo).


== See also ==
== See also ==
Retrieved from "https://en.xen.wiki/w/Val"