Pergen names: Difference between revisions
Wikispaces>TallKite **Imported revision 624088725 - Original comment: ** |
Wikispaces>TallKite **Imported revision 624089721 - Original comment: ** |
||
Line 1: | Line 1: | ||
<h2>IMPORTED REVISION FROM WIKISPACES</h2> | <h2>IMPORTED REVISION FROM WIKISPACES</h2> | ||
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | ||
: This revision was by author [[User:TallKite|TallKite]] and made on <tt>2017-12-20 | : This revision was by author [[User:TallKite|TallKite]] and made on <tt>2017-12-20 01:21:24 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>624089721</tt>.<br> | ||
: The revision comment was: <tt></tt><br> | : The revision comment was: <tt></tt><br> | ||
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | ||
Line 62: | Line 62: | ||
For example, consider 2.3.5.7 with commas 256/243 and 225/224. The first comma splits the octave into 5 parts, and makes the 5th be exactly 3/5 of the octave. The multi-gen must use primes 2 and 5. In this case, the pergen is (P8/5, y3), the same as Blackwood. | For example, consider 2.3.5.7 with commas 256/243 and 225/224. The first comma splits the octave into 5 parts, and makes the 5th be exactly 3/5 of the octave. The multi-gen must use primes 2 and 5. In this case, the pergen is (P8/5, y3), the same as Blackwood. | ||
To find a temperament's pergen, first find the period-generator mapping. This is a matrix with a column for each prime in the subgroup, and a row for each period/generator. Not all such mappings will work, the matrix must be in row echelon form. Graham Breed's website has a temperament finder [[@http://x31eq.com/temper/uv.html|x31eq.com/temper/uv.html]] that will find such a matrix, it's the reduced mapping. Next make a square matrix by discarding columns, usually the columns for the highest primes. But lower primes may need to be discarded, as in the previous (P8/5,y3) example, to ensure that the diagonal has no zeros. Lower primes > 3 may also be discarded to minimize splitting, see the Breedsmic example below. Then invert the matrix to get the monzos for each period/generator. Add/subtract periods from the generator to get alternate generators. If the interval becomes descending, invert it. For rank-3, add/subtract both periods and generators from the 2nd generator to get more alternates. Choose the alternates to minimize the splitting and the cents. | To find a temperament's pergen, first find the period-generator mapping. This is a matrix with a column for each prime in the subgroup, and a row for each period/generator. Not all such mappings will work, the matrix must be in row echelon form. Graham Breed's website has a temperament finder [[@http://x31eq.com/temper/uv.html|x31eq.com/temper/uv.html]] that will find such a matrix, it's the reduced mapping. Next make a **square matrix** by discarding columns, usually the columns for the highest primes. But lower primes may need to be discarded, as in the previous (P8/5,y3) example, to ensure that the diagonal has no zeros. Lower primes > 3 may also be discarded to minimize splitting, see the Breedsmic example below. Then invert the matrix to get the monzos for each period/generator. Add/subtract periods from the generator to get alternate generators. If the interval becomes descending, invert it. For rank-3, add/subtract both periods and generators from the 2nd generator to get more alternates. Choose the alternates to minimize the splitting and the cents. | ||
For rank-2, we can compute the pergen directly from the square matrix = [(x y), (0, z)]. Let the pergen be (P8/m, M/n), where M is the multi-gen, P is the period P8/m and G is the generator M/n | For rank-2, we can compute the pergen directly from the square matrix = [(x y), (0, z)]. Let the pergen be (P8/m, M/n), where M is the multi-gen, P is the period P8/m and G is the generator M/n | ||
Line 71: | Line 71: | ||
G = (-y, x) / xz + nP = (-y, x) / xz + nP8/x = (nz - y, x) / xz | G = (-y, x) / xz + nP = (-y, x) / xz + nP8/x = (nz - y, x) / xz | ||
<span style="display: block; text-align: center;">**<span style="font-size: 110%;">The rank-2 pergen from the [(x, 0), (y, z)] square matrix is (P8/x, (nz-y, x)/xz), with -x <= n <= x</span>** | <span style="display: block; text-align: center;">**<span style="font-size: 110%;">The rank-2 pergen from the [(x, 0), (y, z)] square matrix is (P8/x, (nz-y,x)/xz), with -x <= n <= x</span>** | ||
</span> | </span> | ||
For example, 250/243 | For example, 250/243... | ||
Rank-3 pergens are trickier to find. For example, Breedsmic is 2.3.5.7 with 2401/2400 = (-5,-1,-2,4) tempered out. [[http://x31eq.com/cgi-bin/rt.cgi?ets=130_171_270&limit=7|x31.com]] gives us this matrix: | Rank-3 pergens are trickier to find. For example, Breedsmic is 2.3.5.7 with 2401/2400 = (-5,-1,-2,4) tempered out. [[http://x31eq.com/cgi-bin/rt.cgi?ets=130_171_270&limit=7|x31.com]] gives us this matrix: | ||
Line 110: | Line 110: | ||
=__Applications__= | =__Applications__= | ||
One obvious application is to name regular temperaments in a logical, consistent manner, avoiding the need to memorize many arbitrary names. | One obvious application is to name regular temperaments in a logical, consistent manner, avoiding the need to memorize many arbitrary names. Many temperaments have pergen-like names: Hemififths is (P8, P5/2), triforce is (P8/3, P4/2), tetracot is (P8, P5/4), pental is (P8/5, P5), and fifive is (P8/2, P5/5). Pergen names are an improvement over these because they specify more exactly what is split. | ||
Some temperament names are what might be called pseudo-pergens, because the multigen isn't 3-limit. Meantone (mean = average, tone = major 2nd) implies y3/2. Semisixth (aka sensei) implies y6/2. However, there is some vagueness: y3/2 isn't meantone's generator, but y6/2 is semisixth's generator. In addition, there are other equivalences, like ... | |||
Most rank-2 temperaments require an additional pair of accidentals, [[Ups and Downs Notation|ups and downs]]. Certain rank-2 temperaments require another additional pair, highs and lows, written / and \. | Pergens group many temperaments into one category, which has its advantages and its disadvantages. Some temperament names also do this, for example porcupine refers to not only 2.3.5 with 250/243, but also 2.3.5.7 with 250/243 and 64/63. Color names are the only type of name that never does this. The first porcupine is triple yellow, and the second one is triple yellow and red. Together, the pergen name and the color name supply a lot of information. The pergen name indicates the melodic possibilities in a JI-agnostic manner, and the color name indicates the harmonic possibilities: the prime subgroup, and what types of chord progressions it supports. Both names indicate the rank, the pergen name more directly. | ||
The other main application, which the rest of this article will focus on, is that pergens allow a systematic exploration of notations for regular temperaments, without having to examine each of the thousands of individual temperaments. For example, all unsplit temperaments can be notated identically. They require only conventional notation: 7 nominals, plus sharps and flats. | |||
Most rank-2 temperaments require an additional pair of accidentals, [[Ups and Downs Notation|ups and downs]]. Certain rank-2 temperaments require another additional pair, highs and lows, written / and \. Dv\ is down-low D, and /5 is high-five. Alternatively, color accidentals (y, g, r, b, j, a, etc.) could be used. However, this constrains a pergen to a specific temperament. For example, both mohajira and dicot are (P8, P5/2). Using y and g implies dicot, using j and a implies mohajira, but using ^ and v implies neither, and is a more general notation. | |||
Analogous to 22-edo, sometimes additional accidentals aren't needed, but are desirable, to avoid misspelled chords. For example, schismic is unsplit and can be notated conventionally. But because the schisma does not map to a unison, this causes 4:5:6 to be spelled as C Fb G. With ^1 = 81/80, the chord can be spelled properly as C Ev G. The 135/128 comma maps to a unison, although not a perfect one, and as a result ups and downs aren't as desirable. 4:5:6 is spelled C Eb G. | Analogous to 22-edo, sometimes additional accidentals aren't needed, but are desirable, to avoid misspelled chords. For example, schismic is unsplit and can be notated conventionally. But because the schisma does not map to a unison, this causes 4:5:6 to be spelled as C Fb G. With ^1 = 81/80, the chord can be spelled properly as C Ev G. The 135/128 comma maps to a unison, although not a perfect one, and as a result ups and downs aren't as desirable. 4:5:6 is spelled C Eb G. | ||
Line 209: | Line 213: | ||
25*, 26, 30*, 31 || | 25*, 26, 30*, 31 || | ||
||= (P8, P11/3) ||= ^<span style="vertical-align: super;">3</span>dd2 ||= C^<span style="vertical-align: super;">3</span> ``=`` B## ||= P11/3 = vA4 = ^^dd5 ||= C - F#v - Cb^ - F ||= ||= || | ||= (P8, P11/3) ||= ^<span style="vertical-align: super;">3</span>dd2 ||= C^<span style="vertical-align: super;">3</span> ``=`` B## ||= P11/3 = vA4 = ^^dd5 ||= C - F#v - Cb^ - F ||= ||= || | ||
||= " ||= v<span style="vertical-align: super;">3</span>M2 ||= C^<span style="vertical-align: super;">3 </span>``=`` D ||= P11/3 = ^P4 = vvP5 ||= C F^ Cv F ||= ||= " || | ||= " ||= v<span style="vertical-align: super;">3</span>M2 ||= C^<span style="vertical-align: super;">3 </span>``=`` D ||= P11/3 = ^P4 = vvP5 ||= C - F^ - Cv - F ||= ||= " || | ||
||= (P8/3, P4/2) ||= v<span style="vertical-align: super;">6</span>A2 ||= C^<span style="vertical-align: super;">6</span> ``=`` D# ||= P8/3 = ^^m3 | ||= (P8/3, P4/2) ||= v<span style="vertical-align: super;">6</span>A2 ||= C^<span style="vertical-align: super;">6</span> ``=`` D# ||= P8/3 = ^^m3 | ||
P4/2 = v<span style="vertical-align: super;">3</span>m2 ||= C - Eb^^ - Avv - C | P4/2 = v<span style="vertical-align: super;">3</span>m2 ||= C - Eb^^ - Avv - C | ||
Line 275: | Line 279: | ||
If a pergen has only one fraction, like (P8/2, P5) or (P8, P4/3), the pergen is a **single-split** pergen. If it has two fractions, it's a **double-split** pergen. A single-split pergens can result from tempering out only a single comma, although it can be created by multiple commas. A single-split pergen can be notated with only ups and downs, called **single-pair** notation because it adds only a single pair of accidentals to conventional notation. **Double-pair** notation uses both ups/downs and highs/lows. In general, single-pair notation is preferred, because it's simpler. However, double-pair notation may be preferred, especially if the enharmonic for single-pair notation is a 3rd or larger. | If a pergen has only one fraction, like (P8/2, P5) or (P8, P4/3), the pergen is a **single-split** pergen. If it has two fractions, it's a **double-split** pergen. A single-split pergens can result from tempering out only a single comma, although it can be created by multiple commas. A single-split pergen can be notated with only ups and downs, called **single-pair** notation because it adds only a single pair of accidentals to conventional notation. **Double-pair** notation uses both ups/downs and highs/lows. In general, single-pair notation is preferred, because it's simpler. However, double-pair notation may be preferred, especially if the enharmonic for single-pair notation is a 3rd or larger. | ||
Every double-split pergen is either a **true double** or a **false double**. A true double, like | Every double-split pergen is either a **true double** or a **false double**. A true double, like third-everything (P8/3, P4/3) or half-octave quarter-fourth (P8/2, P4/4), can only arise when at least two commas are tempered out, and requires double pair notation. A false double, like half-octave quarter-tone (P8/2, M2/4), can arise from a single comma, and can be notated with single pair notation. Thus a false double behaves like a single-split, and is easier to construct and easier to notate. In a false double, the multi-gen split automatically splits the octave as well: if M2 = 4 gen, then P8 = M9 - M2 = 2*P5 - 4 gen = (P5 - 2 gen) / 2. In general, if a pergen's multi-gen is (a,b), the octave is split into at least |b| parts. | ||
A pergen (P8/m, (a,b)/n) is a false double if and only if GCD (m,n) = |b|. The next section discusses an alternate test. | A pergen (P8/m, (a,b)/n) is a false double if and only if GCD (m,n) = |b|. The next section discusses an alternate test. | ||
==Finding an example temperament== | ==Finding an example temperament== | ||
//[Change R to P and G]// | |||
To find an example of a temperament with a specific pergen, we must find the comma(s) the temperament tempers out. To construct a comma that creates a single-split pergen, simply find a ratio R that contains only one higher prime, of appropriate cents to add up to approximately the larger interval. The comma is the difference between the stacked R's and the larger interval. For example, (P8/4, P5) requires an R of about 300¢. R is the period P, and the comma is the difference between 4*R and P8. If R is 6/5, the comma is 4*R - P8 = (6/5)^4 * (2/1)^-1 = 648/625. If R is 7/6, the comma is P8 - 4*R = (2/1) * (7/6)^-4. Neither 13/11 nor 32/27 would work, too many and too few primes respectively. (P8, P4/3) requires an R of about (498¢)/3 = 166¢, perhaps 10/9. The comma is 3*R - P4 = (10/9)^3 * (4/3)^-1 = 250/243. R is the generator G. | To find an example of a temperament with a specific pergen, we must find the comma(s) the temperament tempers out. To construct a comma that creates a single-split pergen, simply find a ratio R that contains only one higher prime, of appropriate cents to add up to approximately the larger interval. The comma is the difference between the stacked R's and the larger interval. For example, (P8/4, P5) requires an R of about 300¢. R is the period P, and the comma is the difference between 4*R and P8. If R is 6/5, the comma is 4*R - P8 = (6/5)^4 * (2/1)^-1 = 648/625. If R is 7/6, the comma is P8 - 4*R = (2/1) * (7/6)^-4. Neither 13/11 nor 32/27 would work, too many and too few primes respectively. (P8, P4/3) requires an R of about (498¢)/3 = 166¢, perhaps 10/9. The comma is 3*R - P4 = (10/9)^3 * (4/3)^-1 = 250/243. R is the generator G. | ||
Finding the comma(s) for a double pergen is trickier. As previously noted, if a pergen's multi-gen is (a,b), the octave is split into at least |b| parts. Therefore if a pergen (P8/m, (a,b)/n) has m = |b|, it is **explicitly false**. If so, proceed as if the octave were unsplit: (P8/2, M2/4) requires | Finding the comma(s) for a double pergen is trickier. As previously noted, if a pergen's multi-gen is (a,b), the octave is split into at least |b| parts. Therefore if a pergen (P8/m, (a,b)/n) has m = |b|, it is **explicitly false**. If so, proceed as if the octave were unsplit: (P8/2, M2/4) requires G ~ 50¢, perhaps 33/32, and the comma is 4*G - M2 = (33/32)^4 / (9/8) = (-17, 2, 0, 0, 4). | ||
If the pergen is not explicitly false, put the pergen in its **unreduced** form, which is always explicitly false if the pergen is a false double. The unreduced form replaces the generator with the difference between the period and the generator: (P8/m, M/n) | If the pergen is not explicitly false, put the pergen in its **unreduced** form, which is always explicitly false if the pergen is a false double. The unreduced form replaces the generator with the difference between the period and the generator: (P8/m, M/n) becomes (P8/m, P8/m - M/n) = (P8/m, (n*P8 - m*M)/n*m). The new multigen M' is the product of the outer elements (P8 and n) minus the product of the inner elements (m and M), divided by the product of the fractions (m and n). Invert M' if descending (if P < G), and simplify if m and n aren't coprime. M' will have a larger fraction and/or a larger size in cents, hence the name unreduced. | ||
For example, (P8/3, P5/2) is a false double that isn't explicitly false. Its unreduced generator is (2*P8 - 3*P5)/(3*2) = m3/6, and the unreduced pergen is (P8/3, m3/6). This __is__ explicitly false, thus the comma can be found from m3/6 alone. | For example, (P8/3, P5/2) is a false double that isn't explicitly false. Its unreduced generator is (2*P8 - 3*P5)/(3*2) = m3/6, and the unreduced pergen is (P8/3, m3/6). This __is__ explicitly false, thus the comma can be found from m3/6 alone. G is about 50¢, and the comma is 6*G - m3. The comma splits both the octave and the fifth. | ||
This creates an alternate true/false test: if neither the pergen nor the unreduced pergen is explicitly false, the pergen is a true double. For example, (P8/4, P4/2) isn't explicitly false. Its unreduced form has (2*P8 - 4*P4)/(2*4) = (2*M2)/8, which reduces to M2/4. The unreduced pergen is (P8/4, M2/4), which also isn't explicitly false, thus (P8/4, P4/2) is a true double. It requires two commas, one for each fraction. The two commas must use different higher primes, e.g. 648/625 and 49/48. | This creates an alternate true/false test: if neither the pergen nor the unreduced pergen is explicitly false, the pergen is a true double. For example, (P8/4, P4/2) isn't explicitly false. Its unreduced form has (2*P8 - 4*P4)/(2*4) = (2*M2)/8, which reduces to M2/4. The unreduced pergen is (P8/4, M2/4), which also isn't explicitly false, thus (P8/4, P4/2) is a true double. It requires two commas, one for each fraction. The two commas must use different higher primes, e.g. 648/625 and 49/48. | ||
A false double pergen's temperament can also be constructed from two commas, as if it were a true double. For example, (P8/3, P4/2) | A false double pergen's temperament can also be constructed from two commas, as if it were a true double. For example, (P8/3, P4/2) results from 128/125 and 49/48 (aka triforce), which split the octave and the 4th respectively. | ||
Unreducing replaces the generator with an alternate generator. Any number of periods plus or minus a single generator makes an **alternate** generator. A generator or period plus or minus any number of enharmonics makes an **equivalent** generator or period. An equivalent generator is always the same size in cents, since the enharmonic is always 0¢. An equivalent generator is the same interval, merely notated differently. | Unreducing replaces the generator with an alternate generator. Any number of periods plus or minus a single generator makes an **alternate** generator. A generator or period plus or minus any number of enharmonics makes an **equivalent** generator or period. An equivalent generator is always the same size in cents, since the enharmonic is always 0¢. An equivalent generator is the same interval, merely notated differently. | ||
For example, (P8/2, P5) has generator P5, alternate generator P4, period vA4, and equivalent period ^d5. (P8, P5/2) has generator ^m3 and equivalent generator vM3. Of the two equivalent generators, "the" generator is always the smaller one (smaller degree, or if the degrees are the same, more diminished). This is because the equivalent generator can be more easily found by adding the enharmonic, rather than subtracting it. For example, ^m3 + vvA1 = vM3 is an easier calculation than vM3 - vvA1 = ^m3. This is particularly true with complex enharmonics like ^<span style="vertical-align: super;">6</span>dd2. | For example, (P8/2, P5) has generator P5, alternate generator P4, period vA4, and equivalent period ^d5. (P8, P5/2) has generator ^m3 and equivalent generator vM3. Of the two equivalent generators, "the" generator is always the smaller one (smaller degree, or if the degrees are the same, more diminished). This is because the equivalent generator can be more easily found by adding the enharmonic, rather than subtracting it. For example, ^m3 + vvA1 = vM3 is an easier calculation than vM3 - vvA1 = ^m3. This is particularly true with complex enharmonics like ^<span style="vertical-align: super;">6</span>dd2. | ||
There are also equivalent enharmonics, see below. | |||
==Finding a notation for a pergen== | ==Finding a notation for a pergen== | ||
Line 667: | Line 675: | ||
For example, consider 2.3.5.7 with commas 256/243 and 225/224. The first comma splits the octave into 5 parts, and makes the 5th be exactly 3/5 of the octave. The multi-gen must use primes 2 and 5. In this case, the pergen is (P8/5, y3), the same as Blackwood.<br /> | For example, consider 2.3.5.7 with commas 256/243 and 225/224. The first comma splits the octave into 5 parts, and makes the 5th be exactly 3/5 of the octave. The multi-gen must use primes 2 and 5. In this case, the pergen is (P8/5, y3), the same as Blackwood.<br /> | ||
<br /> | <br /> | ||
To find a temperament's pergen, first find the period-generator mapping. This is a matrix with a column for each prime in the subgroup, and a row for each period/generator. Not all such mappings will work, the matrix must be in row echelon form. Graham Breed's website has a temperament finder <a class="wiki_link_ext" href="http://x31eq.com/temper/uv.html" rel="nofollow" target="_blank">x31eq.com/temper/uv.html</a> that will find such a matrix, it's the reduced mapping. Next make a square matrix by discarding columns, usually the columns for the highest primes. But lower primes may need to be discarded, as in the previous (P8/5,y3) example, to ensure that the diagonal has no zeros. Lower primes &gt; 3 may also be discarded to minimize splitting, see the Breedsmic example below. Then invert the matrix to get the monzos for each period/generator. Add/subtract periods from the generator to get alternate generators. If the interval becomes descending, invert it. For rank-3, add/subtract both periods and generators from the 2nd generator to get more alternates. Choose the alternates to minimize the splitting and the cents.<br /> | To find a temperament's pergen, first find the period-generator mapping. This is a matrix with a column for each prime in the subgroup, and a row for each period/generator. Not all such mappings will work, the matrix must be in row echelon form. Graham Breed's website has a temperament finder <a class="wiki_link_ext" href="http://x31eq.com/temper/uv.html" rel="nofollow" target="_blank">x31eq.com/temper/uv.html</a> that will find such a matrix, it's the reduced mapping. Next make a <strong>square matrix</strong> by discarding columns, usually the columns for the highest primes. But lower primes may need to be discarded, as in the previous (P8/5,y3) example, to ensure that the diagonal has no zeros. Lower primes &gt; 3 may also be discarded to minimize splitting, see the Breedsmic example below. Then invert the matrix to get the monzos for each period/generator. Add/subtract periods from the generator to get alternate generators. If the interval becomes descending, invert it. For rank-3, add/subtract both periods and generators from the 2nd generator to get more alternates. Choose the alternates to minimize the splitting and the cents.<br /> | ||
<br /> | <br /> | ||
For rank-2, we can compute the pergen directly from the square matrix = [(x y), (0, z)]. Let the pergen be (P8/m, M/n), where M is the multi-gen, P is the period P8/m and G is the generator M/n<br /> | For rank-2, we can compute the pergen directly from the square matrix = [(x y), (0, z)]. Let the pergen be (P8/m, M/n), where M is the multi-gen, P is the period P8/m and G is the generator M/n<br /> | ||
Line 676: | Line 684: | ||
G = (-y, x) / xz + nP = (-y, x) / xz + nP8/x = (nz - y, x) / xz<br /> | G = (-y, x) / xz + nP = (-y, x) / xz + nP8/x = (nz - y, x) / xz<br /> | ||
<br /> | <br /> | ||
<span style="display: block; text-align: center;"><strong><span style="font-size: 110%;">The rank-2 pergen from the [(x, 0), (y, z)] square matrix is (P8/x, (nz-y, x)/xz), with -x &lt;= n &lt;= x</span></strong><br /> | <span style="display: block; text-align: center;"><strong><span style="font-size: 110%;">The rank-2 pergen from the [(x, 0), (y, z)] square matrix is (P8/x, (nz-y,x)/xz), with -x &lt;= n &lt;= x</span></strong><br /> | ||
</span><br /> | </span><br /> | ||
For example, 250/243<br /> | For example, 250/243...<br /> | ||
<br /> | <br /> | ||
Rank-3 pergens are trickier to find. For example, Breedsmic is 2.3.5.7 with 2401/2400 = (-5,-1,-2,4) tempered out. <a class="wiki_link_ext" href="http://x31eq.com/cgi-bin/rt.cgi?ets=130_171_270&amp;limit=7" rel="nofollow">x31.com</a> gives us this matrix:<br /> | Rank-3 pergens are trickier to find. For example, Breedsmic is 2.3.5.7 with 2401/2400 = (-5,-1,-2,4) tempered out. <a class="wiki_link_ext" href="http://x31eq.com/cgi-bin/rt.cgi?ets=130_171_270&amp;limit=7" rel="nofollow">x31.com</a> gives us this matrix:<br /> | ||
Line 944: | Line 952: | ||
<!-- ws:start:WikiTextHeadingRule:25:&lt;h1&gt; --><h1 id="toc2"><a name="Applications"></a><!-- ws:end:WikiTextHeadingRule:25 --><u>Applications</u></h1> | <!-- ws:start:WikiTextHeadingRule:25:&lt;h1&gt; --><h1 id="toc2"><a name="Applications"></a><!-- ws:end:WikiTextHeadingRule:25 --><u>Applications</u></h1> | ||
<br /> | <br /> | ||
One obvious application is to name regular temperaments in a logical, consistent manner, avoiding the need to memorize many arbitrary names.<br /> | One obvious application is to name regular temperaments in a logical, consistent manner, avoiding the need to memorize many arbitrary names. Many temperaments have pergen-like names: Hemififths is (P8, P5/2), triforce is (P8/3, P4/2), tetracot is (P8, P5/4), pental is (P8/5, P5), and fifive is (P8/2, P5/5). Pergen names are an improvement over these because they specify more exactly what is split.<br /> | ||
<br /> | |||
Some temperament names are what might be called pseudo-pergens, because the multigen isn't 3-limit. Meantone (mean = average, tone = major 2nd) implies y3/2. Semisixth (aka sensei) implies y6/2. However, there is some vagueness: y3/2 isn't meantone's generator, but y6/2 is semisixth's generator. In addition, there are other equivalences, like ...<br /> | |||
<br /> | |||
Pergens group many temperaments into one category, which has its advantages and its disadvantages. Some temperament names also do this, for example porcupine refers to not only 2.3.5 with 250/243, but also 2.3.5.7 with 250/243 and 64/63. Color names are the only type of name that never does this. The first porcupine is triple yellow, and the second one is triple yellow and red. Together, the pergen name and the color name supply a lot of information. The pergen name indicates the melodic possibilities in a JI-agnostic manner, and the color name indicates the harmonic possibilities: the prime subgroup, and what types of chord progressions it supports. Both names indicate the rank, the pergen name more directly.<br /> | |||
<br /> | <br /> | ||
The other main application, which the rest of this article will focus on, is that pergens allow a systematic exploration of notations for regular temperaments, without having to examine each of the thousands of individual temperaments. For example, all unsplit temperaments can be notated identically. They require only conventional notation: 7 nominals, plus sharps and flats.<br /> | |||
<br /> | <br /> | ||
Most rank-2 temperaments require an additional pair of accidentals, <a class="wiki_link" href="/Ups%20and%20Downs%20Notation">ups and downs</a>. Certain rank-2 temperaments require another additional pair, highs and lows, written / and \. | Most rank-2 temperaments require an additional pair of accidentals, <a class="wiki_link" href="/Ups%20and%20Downs%20Notation">ups and downs</a>. Certain rank-2 temperaments require another additional pair, highs and lows, written / and \. Dv\ is down-low D, and /5 is high-five. Alternatively, color accidentals (y, g, r, b, j, a, etc.) could be used. However, this constrains a pergen to a specific temperament. For example, both mohajira and dicot are (P8, P5/2). Using y and g implies dicot, using j and a implies mohajira, but using ^ and v implies neither, and is a more general notation.<br /> | ||
<br /> | <br /> | ||
Analogous to 22-edo, sometimes additional accidentals aren't needed, but are desirable, to avoid misspelled chords. For example, schismic is unsplit and can be notated conventionally. But because the schisma does not map to a unison, this causes 4:5:6 to be spelled as C Fb G. With ^1 = 81/80, the chord can be spelled properly as C Ev G. The 135/128 comma maps to a unison, although not a perfect one, and as a result ups and downs aren't as desirable. 4:5:6 is spelled C Eb G.<br /> | Analogous to 22-edo, sometimes additional accidentals aren't needed, but are desirable, to avoid misspelled chords. For example, schismic is unsplit and can be notated conventionally. But because the schisma does not map to a unison, this causes 4:5:6 to be spelled as C Fb G. With ^1 = 81/80, the chord can be spelled properly as C Ev G. The 135/128 comma maps to a unison, although not a perfect one, and as a result ups and downs aren't as desirable. 4:5:6 is spelled C Eb G.<br /> | ||
Line 1,355: | Line 1,367: | ||
<td style="text-align: center;">P11/3 = ^P4 = vvP5<br /> | <td style="text-align: center;">P11/3 = ^P4 = vvP5<br /> | ||
</td> | </td> | ||
<td style="text-align: center;">C F^ Cv F<br /> | <td style="text-align: center;">C - F^ - Cv - F<br /> | ||
</td> | </td> | ||
<td style="text-align: center;"><br /> | <td style="text-align: center;"><br /> | ||
Line 2,013: | Line 2,025: | ||
If a pergen has only one fraction, like (P8/2, P5) or (P8, P4/3), the pergen is a <strong>single-split</strong> pergen. If it has two fractions, it's a <strong>double-split</strong> pergen. A single-split pergens can result from tempering out only a single comma, although it can be created by multiple commas. A single-split pergen can be notated with only ups and downs, called <strong>single-pair</strong> notation because it adds only a single pair of accidentals to conventional notation. <strong>Double-pair</strong> notation uses both ups/downs and highs/lows. In general, single-pair notation is preferred, because it's simpler. However, double-pair notation may be preferred, especially if the enharmonic for single-pair notation is a 3rd or larger.<br /> | If a pergen has only one fraction, like (P8/2, P5) or (P8, P4/3), the pergen is a <strong>single-split</strong> pergen. If it has two fractions, it's a <strong>double-split</strong> pergen. A single-split pergens can result from tempering out only a single comma, although it can be created by multiple commas. A single-split pergen can be notated with only ups and downs, called <strong>single-pair</strong> notation because it adds only a single pair of accidentals to conventional notation. <strong>Double-pair</strong> notation uses both ups/downs and highs/lows. In general, single-pair notation is preferred, because it's simpler. However, double-pair notation may be preferred, especially if the enharmonic for single-pair notation is a 3rd or larger.<br /> | ||
<br /> | <br /> | ||
Every double-split pergen is either a <strong>true double</strong> or a <strong>false double</strong>. A true double, like | Every double-split pergen is either a <strong>true double</strong> or a <strong>false double</strong>. A true double, like third-everything (P8/3, P4/3) or half-octave quarter-fourth (P8/2, P4/4), can only arise when at least two commas are tempered out, and requires double pair notation. A false double, like half-octave quarter-tone (P8/2, M2/4), can arise from a single comma, and can be notated with single pair notation. Thus a false double behaves like a single-split, and is easier to construct and easier to notate. In a false double, the multi-gen split automatically splits the octave as well: if M2 = 4 gen, then P8 = M9 - M2 = 2*P5 - 4 gen = (P5 - 2 gen) / 2. In general, if a pergen's multi-gen is (a,b), the octave is split into at least |b| parts.<br /> | ||
<br /> | <br /> | ||
A pergen (P8/m, (a,b)/n) is a false double if and only if GCD (m,n) = |b|. The next section discusses an alternate test.<br /> | A pergen (P8/m, (a,b)/n) is a false double if and only if GCD (m,n) = |b|. The next section discusses an alternate test.<br /> | ||
Line 2,019: | Line 2,031: | ||
<!-- ws:start:WikiTextHeadingRule:33:&lt;h2&gt; --><h2 id="toc6"><a name="Further Discussion-Finding an example temperament"></a><!-- ws:end:WikiTextHeadingRule:33 -->Finding an example temperament</h2> | <!-- ws:start:WikiTextHeadingRule:33:&lt;h2&gt; --><h2 id="toc6"><a name="Further Discussion-Finding an example temperament"></a><!-- ws:end:WikiTextHeadingRule:33 -->Finding an example temperament</h2> | ||
<br /> | <br /> | ||
<em>[Change R to P and G]</em><br /> | |||
<br /> | |||
To find an example of a temperament with a specific pergen, we must find the comma(s) the temperament tempers out. To construct a comma that creates a single-split pergen, simply find a ratio R that contains only one higher prime, of appropriate cents to add up to approximately the larger interval. The comma is the difference between the stacked R's and the larger interval. For example, (P8/4, P5) requires an R of about 300¢. R is the period P, and the comma is the difference between 4*R and P8. If R is 6/5, the comma is 4*R - P8 = (6/5)^4 * (2/1)^-1 = 648/625. If R is 7/6, the comma is P8 - 4*R = (2/1) * (7/6)^-4. Neither 13/11 nor 32/27 would work, too many and too few primes respectively. (P8, P4/3) requires an R of about (498¢)/3 = 166¢, perhaps 10/9. The comma is 3*R - P4 = (10/9)^3 * (4/3)^-1 = 250/243. R is the generator G.<br /> | To find an example of a temperament with a specific pergen, we must find the comma(s) the temperament tempers out. To construct a comma that creates a single-split pergen, simply find a ratio R that contains only one higher prime, of appropriate cents to add up to approximately the larger interval. The comma is the difference between the stacked R's and the larger interval. For example, (P8/4, P5) requires an R of about 300¢. R is the period P, and the comma is the difference between 4*R and P8. If R is 6/5, the comma is 4*R - P8 = (6/5)^4 * (2/1)^-1 = 648/625. If R is 7/6, the comma is P8 - 4*R = (2/1) * (7/6)^-4. Neither 13/11 nor 32/27 would work, too many and too few primes respectively. (P8, P4/3) requires an R of about (498¢)/3 = 166¢, perhaps 10/9. The comma is 3*R - P4 = (10/9)^3 * (4/3)^-1 = 250/243. R is the generator G.<br /> | ||
<br /> | <br /> | ||
Finding the comma(s) for a double pergen is trickier. As previously noted, if a pergen's multi-gen is (a,b), the octave is split into at least |b| parts. Therefore if a pergen (P8/m, (a,b)/n) has m = |b|, it is <strong>explicitly false</strong>. If so, proceed as if the octave were unsplit: (P8/2, M2/4) requires | Finding the comma(s) for a double pergen is trickier. As previously noted, if a pergen's multi-gen is (a,b), the octave is split into at least |b| parts. Therefore if a pergen (P8/m, (a,b)/n) has m = |b|, it is <strong>explicitly false</strong>. If so, proceed as if the octave were unsplit: (P8/2, M2/4) requires G ~ 50¢, perhaps 33/32, and the comma is 4*G - M2 = (33/32)^4 / (9/8) = (-17, 2, 0, 0, 4).<br /> | ||
<br /> | <br /> | ||
If the pergen is not explicitly false, put the pergen in its <strong>unreduced</strong> form, which is always explicitly false if the pergen is a false double. The unreduced form replaces the generator with the difference between the period and the generator: (P8/m, M/n) | If the pergen is not explicitly false, put the pergen in its <strong>unreduced</strong> form, which is always explicitly false if the pergen is a false double. The unreduced form replaces the generator with the difference between the period and the generator: (P8/m, M/n) becomes (P8/m, P8/m - M/n) = (P8/m, (n*P8 - m*M)/n*m). The new multigen M' is the product of the outer elements (P8 and n) minus the product of the inner elements (m and M), divided by the product of the fractions (m and n). Invert M' if descending (if P &lt; G), and simplify if m and n aren't coprime. M' will have a larger fraction and/or a larger size in cents, hence the name unreduced.<br /> | ||
<br /> | <br /> | ||
For example, (P8/3, P5/2) is a false double that isn't explicitly false. Its unreduced generator is (2*P8 - 3*P5)/(3*2) = m3/6, and the unreduced pergen is (P8/3, m3/6). This <u>is</u> explicitly false, thus the comma can be found from m3/6 alone. | For example, (P8/3, P5/2) is a false double that isn't explicitly false. Its unreduced generator is (2*P8 - 3*P5)/(3*2) = m3/6, and the unreduced pergen is (P8/3, m3/6). This <u>is</u> explicitly false, thus the comma can be found from m3/6 alone. G is about 50¢, and the comma is 6*G - m3. The comma splits both the octave and the fifth.<br /> | ||
<br /> | <br /> | ||
This creates an alternate true/false test: if neither the pergen nor the unreduced pergen is explicitly false, the pergen is a true double. For example, (P8/4, P4/2) isn't explicitly false. Its unreduced form has (2*P8 - 4*P4)/(2*4) = (2*M2)/8, which reduces to M2/4. The unreduced pergen is (P8/4, M2/4), which also isn't explicitly false, thus (P8/4, P4/2) is a true double. It requires two commas, one for each fraction. The two commas must use different higher primes, e.g. 648/625 and 49/48.<br /> | This creates an alternate true/false test: if neither the pergen nor the unreduced pergen is explicitly false, the pergen is a true double. For example, (P8/4, P4/2) isn't explicitly false. Its unreduced form has (2*P8 - 4*P4)/(2*4) = (2*M2)/8, which reduces to M2/4. The unreduced pergen is (P8/4, M2/4), which also isn't explicitly false, thus (P8/4, P4/2) is a true double. It requires two commas, one for each fraction. The two commas must use different higher primes, e.g. 648/625 and 49/48.<br /> | ||
<br /> | <br /> | ||
A false double pergen's temperament can also be constructed from two commas, as if it were a true double. For example, (P8/3, P4/2) | A false double pergen's temperament can also be constructed from two commas, as if it were a true double. For example, (P8/3, P4/2) results from 128/125 and 49/48 (aka triforce), which split the octave and the 4th respectively.<br /> | ||
<br /> | <br /> | ||
Unreducing replaces the generator with an alternate generator. Any number of periods plus or minus a single generator makes an <strong>alternate</strong> generator. A generator or period plus or minus any number of enharmonics makes an <strong>equivalent</strong> generator or period. An equivalent generator is always the same size in cents, since the enharmonic is always 0¢. An equivalent generator is the same interval, merely notated differently.<br /> | Unreducing replaces the generator with an alternate generator. Any number of periods plus or minus a single generator makes an <strong>alternate</strong> generator. A generator or period plus or minus any number of enharmonics makes an <strong>equivalent</strong> generator or period. An equivalent generator is always the same size in cents, since the enharmonic is always 0¢. An equivalent generator is the same interval, merely notated differently.<br /> | ||
<br /> | <br /> | ||
For example, (P8/2, P5) has generator P5, alternate generator P4, period vA4, and equivalent period ^d5. (P8, P5/2) has generator ^m3 and equivalent generator vM3. Of the two equivalent generators, &quot;the&quot; generator is always the smaller one (smaller degree, or if the degrees are the same, more diminished). This is because the equivalent generator can be more easily found by adding the enharmonic, rather than subtracting it. For example, ^m3 + vvA1 = vM3 is an easier calculation than vM3 - vvA1 = ^m3. This is particularly true with complex enharmonics like ^<span style="vertical-align: super;">6</span>dd2.<br /> | For example, (P8/2, P5) has generator P5, alternate generator P4, period vA4, and equivalent period ^d5. (P8, P5/2) has generator ^m3 and equivalent generator vM3. Of the two equivalent generators, &quot;the&quot; generator is always the smaller one (smaller degree, or if the degrees are the same, more diminished). This is because the equivalent generator can be more easily found by adding the enharmonic, rather than subtracting it. For example, ^m3 + vvA1 = vM3 is an easier calculation than vM3 - vvA1 = ^m3. This is particularly true with complex enharmonics like ^<span style="vertical-align: super;">6</span>dd2.<br /> | ||
<br /> | |||
There are also equivalent enharmonics, see below.<br /> | |||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:35:&lt;h2&gt; --><h2 id="toc7"><a name="Further Discussion-Finding a notation for a pergen"></a><!-- ws:end:WikiTextHeadingRule:35 -->Finding a notation for a pergen</h2> | <!-- ws:start:WikiTextHeadingRule:35:&lt;h2&gt; --><h2 id="toc7"><a name="Further Discussion-Finding a notation for a pergen"></a><!-- ws:end:WikiTextHeadingRule:35 -->Finding a notation for a pergen</h2> |