Val: Difference between revisions
mNo edit summary Tags: Mobile edit Mobile web edit |
IIL: you have very good ideas and we have already written some wiki pages on this. There is also already a notation we have been using so I put that there instead. See the talk page for more details |
||
Line 9: | Line 9: | ||
== Definition == | == Definition == | ||
A val is a | A val is a linear map representing how to view the intervals in a [[temperament]], such as an edo, as approximate versions of intervals in [[just intonation]] (JI). They form the link between things like EDOs and JI, and by doing so form the basis for all of regular temperament theory. It's very common for vals to refer to EDOs specifically, although they also show us how to relate larger chains of [[Periods and generators|generators]] to JI as well (such as a stack of meantone fifths). | ||
A val accomplishes the goal of mapping all intervals in some [[harmonic limit]] by simply notating how many steps in the chain it takes to get to each of the primes within the limit. Since every positive rational number can be described as a product of primes, any mapping for the primes hence implies a mapping for all of the positive rational numbers within the prime limit. By mapping the primes and letting the composite rationals fall where they may, a val tells us which interval in the chain represents the tempered 3/2, which interval represents the tempered 5/4, and so forth. | A val accomplishes the goal of mapping all intervals in some [[harmonic limit]] by simply notating how many steps in the chain it takes to get to each of the primes within the limit. Since every positive rational number can be described as a product of primes, any mapping for the primes hence implies a mapping for all of the positive rational numbers within the prime limit. By mapping the primes and letting the composite rationals fall where they may, a val tells us which interval in the chain represents the tempered 3/2, which interval represents the tempered 5/4, and so forth. | ||
Line 47: | Line 47: | ||
== Vals in JI subgroups == | == Vals 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]]. | 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]]. Gene Smith called these "[Sval|svals]" for short. | ||
To notate a subgroup val, we typically precede the "bra" notation with an indicator regarding the subgroup (and choice of basis). 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. | |||
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 43}}", 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.) | |||
Svals can also be written using subgroups that don't involve primes, e.g. 2.3.7.13/5 {{val|46 73 129 63}}. | |||
Note that the notion of a "patent val" for a subgroup val may not agree with the patent val on a prime limit. For instance, [[13edo]]'s "2.9.5 [[patent val]]" can be written as "2.9.5 {{val|13 41 30}}, because the best approximation to 2 is 13 steps, the best approximation to 9 is 41 steps, and the best approximation to 5 is 30 steps. Note that, however, the patent val on the 2.3.5 subgroup instead maps 3/1 to 21 steps, so that the "induced 9" from the 2.3.5 patent val is not the same as the "direct 9" from the 2.9.5 patent val. | |||
This notation is also used for subgroup monzos; e.g. [[81/80]] on the 2.9.5 subgroup is "2.9.5 {{val|-4 2 -1}}", and it is thus easy to see that the 2.9.5 13p val above tempers out 81/80: | |||
⟨13, 41, 30|2^-4, 9^2, 5^-1⟩ = 13*-4 + 41*2 + 30*-1 = 0. | |||
== Vals in Regular Temperaments == | |||
There is also a notion of a "tempered val" on a group of "tempered monzos," representing intervals in some [[regular temperament]]. This name is sometimes abbreviated as [[Tmonzos_and_Tvals "tmonzos" and "tvals"]]. Typically, this is made explicit by writing the generators beforehand. When the tempered intervals have accepted names, such as in [[meantone temperament]], we can use names like "P8" and "P5," so that the tval "P8.P5 {{val|12 7}}" represents the 12-edo "patent tval" in meantone temperament (given that particular basis). If the intervals don't have names, a [[Transversal]] can be given instead, preceded with the temperament name, so that we have "(meantone) 2.3/2 {{val|12 7}}, or "(meantone) 2.3/2 {{val|31 18}}". | |||
== See also == | == See also == |