Kite's thoughts on pergens: Difference between revisions

TallKite (talk | contribs)
TallKite (talk | contribs)
m TallKite moved page Pergen to Kite's thoughts on pergens: Editor VectorGraphics has repeatedly edited pages I've written about my own research and inserted misinformation. On discord he is openly hostile to me. This move is necessary to avoid a toxic work environment for me.
 
(47 intermediate revisions by 9 users not shown)
Line 1: Line 1:
A '''pergen''' (pronounced "peer-gen") is a way of classifying a [[regular temperament]] solely by its [[periods and generators|period and generator(s)]]. For any temperament, there are many possible periods and generators. For the pergen, they are chosen to use the fewest, and smallest, prime factors possible. Fractions are allowed, e.g. half-octave, but avoided if possible. Every rank-2, rank-3, rank-4, etc. temperament has a pergen. Assuming the prime [[subgroup]] includes both 2 and 3, a rank-2 temperament's period is either an octave or some fraction of it, and its generator is either a fifth or some fraction of some 3-limit interval. Since both period and generator are conventional musical intervals or some fractions of them, the pergen gives great insight into notating a temperament. Several temperaments may share the same pergen, in fact, every [[strong extension]] of a temperament has the same pergen as the original temperament. Thus pergens classify temperaments but do not uniquely identify them. "c" in a pergen means compound (widened by one octave), e.g. ccP5 is a 5th plus two 8ves, or 6/1.


__FORCETOC__
Pergens also provide a way to name precise tunings of any rank-2 temperament. Meantone tunings are named third-comma, quarter-comma, two-fifths-comma, etc. for the fraction of an 81/80 comma that the 5th is flattened by. (The octave is assumed to be just.) This can be generalized to all temperaments. For example, fifth-comma [[Porcupine|Porcupine aka Triyo]] has the 5th sharpened by one-fifth of [[250/243]] ({{monzo| 1 -5 3 }}). Sharpened not flattened because the comma is fourthwards not fifthwards, i.e. it has prime 3 in the denominator not the numerator. Given the comma fraction, the generator's exact size can be deduced from the pergen. Here the pergen is (P8, P4/3). Because the 5th is sharpened, the 4th is flattened. Because the generator is 1/3 of a 4th, the generator is flattened by 1/3 of 1/5 of a comma, or 1/15 comma. If the temperament's comma doesn't contain prime 3, the next larger prime is used. For example, Augmented aka Trigu tempers out 128/125. The third-comma tuning sharpens 5/4 by just enough to equate it to a third of an 8ve. If a temperament has multiple commas, the comma fraction refers to the first comma in the color name. (Note these uses of comma fractions are not convention universally; temperament pages tend to use comma fractions to imply inflections of the generator rather than the fifth.)
==Definition==


A '''pergen''' (pronounced "peer-gen") is a way of classifying a regular temperament solely by its period and generator(s). For any temperament, there are many possible periods and generators. For the pergen, they are chosen to use the fewest, and smallest, prime factors possible. Fractions are allowed, e.g. half-octave, but avoided if possible.
Overwhelmed? See [http://tallkite.com/misc_files/notation%20guide%20for%20rank-2%20pergens.pdf ''Notation guide for rank-2 pergens''] for practical notation examples.  


{{See also| Rank-2 temperaments by mapping of 3 }}
= Definition =
If a rank-2 temperament uses the primes 2 and 3 in its comma(s), or in its prime subgroup (i.e. doesn't explicitly exclude the octave or the fifth), then the period can be expressed as the octave 2/1, or some fraction of an octave. Furthermore, the generator can usually be expressed as some 3-limit interval, or some fraction of such an interval. Both fractions are always of the form 1/N, thus the octave and/or the 3-limit interval is '''split''' into N parts. The interval which is split into multiple generators is the '''multigen'''. The 3-limit multigen is referred to not by its ratio but by its conventional name, e.g. P5, M6, m7, etc.
If a rank-2 temperament uses the primes 2 and 3 in its comma(s), or in its prime subgroup (i.e. doesn't explicitly exclude the octave or the fifth), then the period can be expressed as the octave 2/1, or some fraction of an octave. Furthermore, the generator can usually be expressed as some 3-limit interval, or some fraction of such an interval. Both fractions are always of the form 1/N, thus the octave and/or the 3-limit interval is '''split''' into N parts. The interval which is split into multiple generators is the '''multigen'''. The 3-limit multigen is referred to not by its ratio but by its conventional name, e.g. P5, M6, m7, etc.


For example, the Srutal temperament (2.3.5 and 2048/2025) splits the octave in two, and its spoken pergen name is half-octave. The pergen is written (P8/2, P5). Not only the temperament, but also the comma is said to split the octave. The Dicot aka Yoyo temperament (2.3.5 and 25/24) splits the fifth in two, and is called half-fifth, written (P8, P5/2). Porcupine aka Triyo is third-fourth, or perhaps third-of-a-fourth, (P8, P4/3). Semaphore aka Zozo, a pun on "semi-fourth", is of course half-fourth.
For example, the Srutal temperament (2.3.5 and 2048/2025) splits the octave in two, and its spoken pergen name is half-octave. The pergen is written (P8/2, P5). Not only the temperament, but also the comma is said to split the octave. The Dicot aka Yoyo temperament (2.3.5 and 25/24) splits the fifth in two, and is called half-fifth, written (P8, P5/2). Porcupine aka Triyo is third-fourth, or perhaps third-of-a-fourth, (P8, P4/3). Semaphore aka Zozo, a pun on "semi-fourth", is of course half-fourth.


Many temperaments share the same pergen. This has the advantage of reducing the thousands of temperament names to a few dozen categories. It focuses on the melodic properties of the temperament, not the harmonic properties. MOS scales in both Srutal aka Sagugu and Injera aka Gu & Biruyo sound the same, although they temper out different commas. In addition, the pergen tells us how to notate the temperament using '''ups and downs''' (^ and v). See the notation guide below, under [[pergen#Further Discussion-Supplemental materials|Supplemental materials]]. Ups and downs are also used in [[Ups and Downs Notation|EDO notation]] to represent one edostep. Although the symbol is the same, the meaning is different.
Many temperaments share the same pergen. This has the advantage of reducing the thousands of temperament names to a few dozen categories. It focuses on the melodic properties of the temperament, not the harmonic properties. MOS scales in both Srutal aka Sagugu and Injera aka Gu & Biruyo sound the same, although they temper out different commas. In addition, the pergen tells us how to notate the temperament using '''ups and downs''' (^ and v). See the notation guide below, under [[pergen#Further Discussion-Supplemental materials|Supplemental materials]]. Ups and downs are also used in [[Ups and downs notation|EDO notation]] to represent one edostep. Although the symbol is the same, the meaning is different.


The largest category contains all single-comma temperaments with a comma of the form 2<span style="vertical-align: super;">x </span>3<span style="vertical-align: super;">y </span>P or 2<span style="vertical-align: super;">x </span>3<span style="vertical-align: super;">y </span>P<span style="vertical-align: super;">-1</span>, where P is a prime &gt; 3 (a '''higher prime'''), e.g. 81/80 or 135/128. It also includes all commas in which the higher-prime exponents are setwise coprime. The period is the octave, and the generator is the fifth: (P8, P5). Such temperaments are called '''unsplit'''.
The largest category contains all single-comma rank-2 temperaments with a comma of the form 2<span style="vertical-align: super;">x </span>3<span style="vertical-align: super;">y </span>P or 2<span style="vertical-align: super;">x </span>3<span style="vertical-align: super;">y </span>P<span style="vertical-align: super;">-1</span>, where P is a prime &gt; 3 (a '''higher prime'''), e.g. 81/80 or 135/128. It also includes all commas in which the higher-prime exponents are setwise coprime. The period is the octave, and the generator is the fifth: (P8, P5). Such temperaments are called '''unsplit'''.


Every temperament has at least one alternate generator, and more, if the octave is split. To avoid ambiguity, the generator is chosen to minimize the amount of splitting of the multigen, and as a tie-breaker, to minimize the size in cents of the multigen. There is only one exception to this rule: the fifth is preferred over the fourth, to follow historical precedent.
Every temperament has at least one alternate generator, and more, if the octave is split. To avoid ambiguity, the generator is chosen to minimize the amount of splitting of the multigen, and as a tie-breaker, to minimize the size in cents of the multigen. There is only one exception to this rule: the fifth is preferred over the fourth, to follow historical precedent.
Line 326: Line 329:
The final main application, which the rest of this article will focus on, is that pergens allow a systematic approach to notating regular temperaments, without having to examine each of the thousands of individual temperaments. The discussion mostly focuses on rank-2 temperaments that include primes 2 and 3.
The final main application, which the rest of this article will focus on, is that pergens allow a systematic approach to notating regular temperaments, without having to examine each of the thousands of individual temperaments. The discussion mostly focuses on rank-2 temperaments that include primes 2 and 3.


All unsplit temperaments can be notated identically. They require only conventional notation: 7 nominals, plus sharps and flats. All other rank-2 temperaments require an additional pair of accidentals, [[Ups_and_Downs_Notation|ups and downs]]. Certain rank-2 temperaments require another additional pair, '''lifts and drops''', written / and \. v\D is down-drop D, and /5 is a lift-fifth. Alternatively, color accidentals (y, g, r, z, 1o, 1u, etc.) could be used. However, this constrains a pergen to a specific temperament. For example, both Mohajira aka Lulu and Dicot aka Yoyo are (P8, P5/2). Using y and g implies Dicot, using 1o and 1u implies Mohajira, but using ^ and v implies neither, and is a more general notation.
All unsplit temperaments can be notated identically. They require only conventional notation: 7 nominals, plus sharps and flats. All other rank-2 temperaments require an additional pair of accidentals, [[Ups and downs notation|ups and downs]]. Certain rank-2 temperaments require another additional pair, '''lifts and drops''', written / and \. v\D is down-drop D, and /5 is a lift-fifth. Alternatively, color accidentals (y, g, r, z, 1o, 1u, etc.) could be used. However, this constrains a pergen to a specific temperament. For example, both Mohajira aka Lulu and Dicot aka Yoyo are (P8, P5/2). Using y and g implies Dicot, using 1o and 1u implies Mohajira, but using ^ and v implies neither, and is a more general notation.


One can avoid additional accidentals for all rank-1 and rank-2 tunings (but not rank-3 or higher ones) by sacrificing backwards compatibility with conventional notation, which is octave-equivalent, fifth-generated and heptatonic. Porcupine can be notated without ups and downs if the notation is 2nd-generated. Half-octave can be notated decatonically. However, one would sacrifice the interval arithmetic and staff notation one has spent years internalizing, and naming chords becomes impossible. The sacrifice is too great to take lightly, and all notation used here is backwards compatible.
One can avoid additional accidentals for all rank-1 and rank-2 tunings (but not rank-3 or higher ones) by sacrificing backwards compatibility with conventional notation, which is octave-equivalent, fifth-generated and heptatonic. Porcupine can be notated without ups and downs if the notation is 2nd-generated. Half-octave can be notated decatonically. However, one would sacrifice the interval arithmetic and staff notation one has spent years internalizing, and naming chords becomes impossible. The sacrifice is too great to take lightly, and all notation used here is backwards compatible.
Line 336: Line 339:
Below is a table that lists all the rank-2 pergens that contain primes 2 and 3, up to third-splits. They are grouped into blocks by the size of the larger splitting fraction, and grouped within each block into sections by the smaller fraction. Most sections have two halves. In the first half, the octave has the larger fraction, in the second, the multigen does. Within each half, the pergens are sorted by multigen size. This is a convenient lexicographical ordering of rank-2 pergens that enables one to easily look up a pergen in a [[pergen#Further Discussion-Supplemental materials-Notaion guide PDF|notation guide]]. It even allows every pergen to be numbered.
Below is a table that lists all the rank-2 pergens that contain primes 2 and 3, up to third-splits. They are grouped into blocks by the size of the larger splitting fraction, and grouped within each block into sections by the smaller fraction. Most sections have two halves. In the first half, the octave has the larger fraction, in the second, the multigen does. Within each half, the pergens are sorted by multigen size. This is a convenient lexicographical ordering of rank-2 pergens that enables one to easily look up a pergen in a [[pergen#Further Discussion-Supplemental materials-Notaion guide PDF|notation guide]]. It even allows every pergen to be numbered.


The enharmonic interval, or more briefly the '''enharmonic''', can be added to or subtracted from any note (or interval), renaming it, but not changing the pitch of the note (or width of the interval). It's analogous to the dim 2nd in 12-edo, which equates C# with Db, and A4 with d5. In a single-comma temperament, the comma usually maps to the pergen's enharmonic. The pergen and the enharmonic together define the notation.
The '''[[enharmonic unison]]''', or more briefly the '''EU''', can be added to or subtracted from any note (or interval), renaming it, but not changing the pitch of the note (or width of the interval). It's analogous to the dim 2nd in 12-edo, which equates C# with Db, and A4 with d5. In a single-comma temperament, the comma usually maps to the pergen's EU. The pergen and the EU together define the notation. (''Edited to add: not quite accurate, see the Addenda.'')


The '''genchain''' (chain of generators) in the table is only a short section of the full genchain.
The '''genchain''' (chain of generators) in the table is only a short section of the full genchain.
Line 349: Line 352:
! | pergen
! | pergen
! | enharmonic
! | enharmonic
interval(s)
unison(s)
! | equivalence(s)
! | equivalence(s)
! | split
! | split
Line 816: Line 819:
| | P8/4 = vm3 = ^<span style="vertical-align: super;">3</span>A2
| | P8/4 = vm3 = ^<span style="vertical-align: super;">3</span>A2
| | C vEb vvGb=^^F# ^A C
| | C vEb vvGb=^^F# ^A C
| | Diminished aka Trigu
| | Diminished aka Quadgu
|-
|-
| | 17
| | 17
Line 864: Line 867:
==Tipping points==
==Tipping points==


Removing the ups and downs from an enharmonic interval makes a "bare" enharmonic, a conventional 3-limit interval which vanishes in certain edos. For example, (P8/2, P5)'s enharmonic interval is ^^d2, the bare enharmonic is d2, and d2 vanishes in 12-edo. Every rank-2 temperament has a "sweet spot" for tuning the 5th, usually a narrow range of about 5-10¢. 12-edo's fifth is the "tipping point": if the temperament's 5th is flatter than 12-edo's, d2 is ascending, and if it's sharper, it's descending. The ups and downs are meant to indicate that the enharmonic interval vanishes. Thus if d2 is ascending, it should be downed, and if it's descending, upped. Therefore <u>'''up may need to be swapped with down, depending on the size of the 5th'''</u> in the particular rank-2 tuning you are using. In the above table, this is shown explicitly for (P8/2, P5), and implied for all the other pergens. In the table, the other pergens' enharmonic intervals are upped or downed as if the 5th were just.
Removing the ups and downs from an EU makes an '''uninflected''' EU, a conventional 3-limit interval which vanishes in certain edos. For example, (P8/2, P5)'s EU is ^^d2, the uninflected EU is d2, and d2 vanishes in 12-edo. Every rank-2 temperament has a "sweet spot" for tuning the 5th, usually a narrow range of about 5-10¢. 12-edo's fifth is the "tipping point": if the temperament's 5th is flatter than 12-edo's, d2 is ascending, and if it's sharper, it's descending. The ups and downs are meant to indicate that the EU vanishes. Thus if d2 is ascending, it should be downed, and if it's descending, upped. Therefore <u>'''up may need to be swapped with down, depending on the size of the 5th'''</u> in the particular rank-2 tuning you are using. In the above table, this is shown explicitly for (P8/2, P5), and implied for all the other pergens. In the table, the other pergens' EUs are upped or downed as if the 5th were just.


Heptatonic 5th-based notation is only possible if the 5th ranges from 600¢ to 720¢. For every bare enharmonic, the following table shows in what parts of this range this interval should be upped or downed. The tipping point edo is simply the 3-exponent of the bare enharmonic.
Heptatonic 5th-based notation is only possible if the 5th ranges from 600¢ to 720¢. For every uninflected EU, the following table shows in what parts of this range this interval should be upped or downed. The tipping point edo is simply the 3-exponent of the uninflected EU.


{| class="wikitable" style="text-align:center;"  
{| class="wikitable" style="text-align:center;"  
|-
|-
! colspan="2" | bare enharmonic
! colspan="2" | uninflected EU
 
interval
! | 3-exponent
! | 3-exponent
! | tipping
! | tipping
Line 1,023: Line 1,024:
vM7/2: C - ^F - vB (vM7 = 15/8, probably more harmonious than M7 = 243/128)
vM7/2: C - ^F - vB (vM7 = 15/8, probably more harmonious than M7 = 243/128)


More remote intervals include A1, d4, d7 and d10. These unfortunately require a very long genchain. The most interesting melodically is A1: C - ^C - vC# - C#. From C to C# is seven 5ths, which equals 21 generators, so the genchain would have to contain 22 notes if it had no gaps. Note that A1 is the bare enharmonic of third-4th. The bare enharmonic is always a secondary split.
More remote intervals include A1, d4, d7 and d10. These unfortunately require a very long genchain. The most interesting melodically is A1: C - ^C - vC# - C#. From C to C# is seven 5ths, which equals 21 generators, so the genchain would have to contain 22 notes if it had no gaps. Note that A1 is the uninflected EU of third-4th. The uninflected EU is always a secondary split.


For a pergen (P8, (a,b)/n), any interval generated by n octaves and the multigen splits into at least n parts. For a pergen (P8/m, P5), any interval generated by the octave and m 5ths splits into at least m parts. Thus any naturally occurring split of m parts occurs in all voicings of that interval. For example, M9 naturally splits into two 5ths, therefore (P8/2, P5) splits all voicings of M9, including M2.
For a pergen (P8, (a,b)/n), any interval generated by n octaves and the multigen splits into at least n parts. For a pergen (P8/m, P5), any interval generated by the octave and m 5ths splits into at least m parts. Thus any naturally occurring split of m parts occurs in all voicings of that interval. For example, M9 naturally splits into two 5ths, therefore (P8/2, P5) splits all voicings of M9, including M2.


Given a pergen (P8/m, (a,b)/n), an interval (a',b') splits into GCD ((a'·b - a·b')·m/b, b'·n/b) parts (proof [[pergen#Further Discussion-Various proofs|below]]). For an unsplit pergen, we have the naturally occurring split of GCD (a', b'). If only the 8ve is split, we have GCD (a'·m, b'). If m = n (an nth-everything pergen), we have n·GCD (a',b'). If the enharmonic is an A1, every interval with a degree of n+1 will be split. Thus half-5th splits every 3rd, 5th, 7th , 9th, etc. in half. "Every" means every quality, so 3rd includes d3, m3, M3 and A3, 5th includes P5, A5 and d5, etc.
Given a pergen (P8/m, (a,b)/n), an interval (a',b') splits into GCD ((a'·b - a·b')·m/b, b'·n/b) parts (proof [[pergen#Further Discussion-Various proofs|below]]). For an unsplit pergen, we have the naturally occurring split of GCD (a', b'). If only the 8ve is split, we have GCD (a'·m, b'). If m = n (an nth-everything pergen), we have n·GCD (a',b'). If the EU is an A1, every interval with a degree of n+1 will be split. Thus half-5th splits every 3rd, 5th, 7th , 9th, etc. in half. "Every" means every quality, so 3rd includes d3, m3, M3 and A3, 5th includes P5, A5 and d5, etc.


The following table shows the secondary splits for all pergens up to the third-splits. A split interval is only included if it falls in the range from d5 to A5 on the genchain of 5ths, others are too remote. For convenience, naturally occurring splits are listed too, under "all pergens". (P8/3, P4/2) has all the secondary splits that (P8/3, P5) and (P8, P4/2) have, plus additional ones.
The following table shows the secondary splits for all pergens up to the third-splits. A split interval is only included if it falls in the range from d5 to A5 on the genchain of 5ths, others are too remote. For convenience, naturally occurring splits are listed too, under "all pergens". (P8/3, P4/2) has all the secondary splits that (P8/3, P5) and (P8, P4/2) have, plus additional ones.
Line 1,104: Line 1,105:
==Singles and doubles==
==Singles and doubles==


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 pergen 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 lifts/drops. 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, or if single-pair notation requires using quadruple, quintuple, etc. ups and downs.
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 pergen 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 lifts/drops. In general, single-pair notation is preferred, because it's simpler. However, double-pair notation may be preferred, especially if the EU for single-pair notation is a 3rd or larger, or if single-pair notation requires using quadruple, quintuple, etc. ups and downs.


In this article, for double-pair notation, the period uses ups and downs, and the generator uses lifts and drops. But the choice of which pair of accidentals is used for what is arbitrary, and ups/downs could be exchanged with lifts/drops.
In this article, for double-pair notation, the period uses ups and downs, and the generator uses lifts and drops. But the choice of which pair of accidentals is used for what is arbitrary, and ups/downs could be exchanged with lifts/drops.
Line 1,132: Line 1,133:
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, which split the octave and the 4th respectively.
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, 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. For example: (P8, P5/2) has generator ^m3 and equivalent generator vM3. Another example, half-8ve (P8/2, P5) has period vA4 and equivalent period ^d5. It has generator P5 and alternate generators P4 and vA1. vA1 is equivalent to ^m2.
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 EUs makes an '''equivalent''' generator or period. An equivalent generator is always the same size in cents, since the EU is always 0¢. An equivalent generator is the same interval, merely notated differently. For example: (P8, P5/2) has generator ^m3 and equivalent generator vM3. Another example, half-8ve (P8/2, P5) has period vA4 and equivalent period ^d5. It has generator P5 and alternate generators P4 and vA1. vA1 is equivalent to ^m2.


Of the two equivalent generators, the preferred 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.
Of the two equivalent generators, the preferred 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 EU, rather than subtracting it. For example, ^m3 + vvA1 = vM3 is an easier calculation than vM3 - vvA1 = ^m3. This is particularly true with complex EUs like ^<span style="vertical-align: super;">6</span>dd2.


There are also alternate enharmonics, see below. For double-pair notation, there are also equivalent enharmonics.
There are also alternate EUs, see below. For double-pair notation, there are also equivalent EUs.


==Ratio and cents of the accidentals==
==Ratio and cents of the accidentals==


The sharp symbol's ratio is always (-11,7) = 2187/2048, by definition. Looking at the table in the Applications section, and the ratios that the up symbol equals, only a few commas account for most entries. For most 5-limit temperaments, ^1 = 81/80. For most 2.3.7 temperaments, ^1 = 64/63. Most 2.3.11 temperaments use either 33/32 or 729/704. These are all '''mapping commas''', which is a comma of the form 2<sup>x</sup> · 3<sup>y</sup> · P<sup>±1</sup>, where P is a higher prime. They are called mapping commas because they equate or map P/1 to a 3-limit interval. They are essential for notation, and also for determining where a ratio is placed on a keyboard. Potential mapping commas for P = 5 include 81/80, 135/128, and the schisma = Ly-2 = 2¢. Only one of these at a time is actually used in notation, e.g. 5/4 is either a M3 or a m3 or a d4. By definition the currently employed mapping comma is a P1, and the only intervals that map to P1 are the currently employed commas and combinations of them.
The sharp symbol's ratio is always (-11,7) = 2187/2048, by definition. Looking at the table in the Applications section, and the ratios that the up symbol equals, only a few commas account for most entries. For most 5-limit temperaments, ^1 = 81/80. For most 2.3.7 temperaments, ^1 = 64/63. Most 2.3.11 temperaments use either 33/32 or 729/704. These are all '''mapping commas''', which is a comma of the form 2<sup>x</sup> · 3<sup>y</sup> · P<sup>±1</sup>, where P is a higher prime. They are called mapping commas because they equate or map P/1 to a 3-limit interval. They are essential for notation, and also for determining where a ratio is placed on a keyboard. Potential mapping commas for prime 5 include 81/80, 135/128, and the schisma = Ly-2 = 2¢. Only one of these at a time is actually used in notation, e.g. 5/4 is either a M3 or a m3 or a d4. By definition the currently employed mapping comma is a P1, and the only intervals that map to P1 (besides 1/1 of course) are the currently employed commas and combinations of them.


If a single-comma temperament uses double-pair notation, neither accidental will equal the mapping comma. A double-comma temperament using double-pair notation may use the difference between two mapping commas, as in Lemba aka Latrizo & Biruyo, where ^1 equals 64/63 minus 81/80.
If a single-comma temperament uses double-pair notation, neither accidental will equal the mapping comma. A double-comma temperament using double-pair notation may use the difference between two mapping commas, as in Lemba aka Latrizo & Biruyo, where ^1 equals 64/63 minus 81/80.
Line 1,146: Line 1,147:
Sometimes the mapping comma needs to be inverted. In every temperament except those in the meantone family, the 81/80 comma is not tempered out, but it is still tempered, just like every ratio. Occasionally 81/80 is tempered so far that it becomes a descending interval. In diminished, which sets 6/5 = P8/4, ^1 = 80/81. See also [[Pergen#Notating_multi-EDO_pergens|multi-EDO pergens]] pergens below.
Sometimes the mapping comma needs to be inverted. In every temperament except those in the meantone family, the 81/80 comma is not tempered out, but it is still tempered, just like every ratio. Occasionally 81/80 is tempered so far that it becomes a descending interval. In diminished, which sets 6/5 = P8/4, ^1 = 80/81. See also [[Pergen#Notating_multi-EDO_pergens|multi-EDO pergens]] pergens below.


Cents can be assigned to each accidental symbol, even if no specific commas are specified. Let c = the cents of the tuning's 5th from 700¢, the 12edo 5th. Thus P5 = 700¢ + c. From this we can calculate the cents of any 3-limit interval. The sharp always equals A1 = 100¢ + 7c. Since the enharmonic = 0¢, we can derive the cents of the up symbol. If the enharmonic is vvA1, then vvA1 = 0¢, and ^1 = (A1)/2 = (100¢ + 7c)/2 = 50¢ + 3.5c. If the 5th is 696¢, c = -4 and the up symbol equals 36¢. /1 can be similarly derived from its enharmonic.
Cents can be assigned to each accidental symbol, even if no specific commas are specified. Let c = the cents of the tuning's 5th from 700¢, the 12edo 5th. Thus P5 = 700¢ + c. From this we can calculate the cents of any 3-limit interval. The sharp always equals A1 = 100¢ + 7c. Since the EU = 0¢, we can derive the cents of the up symbol. If the EU is vvA1, then vvA1 = 0¢, and ^1 = (A1)/2 = (100¢ + 7c)/2 = 50¢ + 3.5c. If the 5th is 696¢, c = -4 and the up symbol equals 36¢. /1 can be similarly derived from its EU.


In certain edos, the up symbol's cents can be directly related to the sharp's cents. For example, in 15edo, ^ is 1/3 the cents of #. The same can be done for rank-2 pergens if and only if the enharmonic is an A1.
In certain edos, the up symbol's cents can be directly related to the sharp's cents. For example, in 15edo, ^ is 1/3 the cents of #. The same can be done for rank-2 pergens if and only if the EU is an A1.


This suggests a simple format for describing the tuning at the top of the score: the name of the tuning, perhaps the cents of the 5th, and the cents of any accidental pairs used, rounded off to the nearest integer. This gives the musician, who may not be well-versed in microtonal theory, basic information for playing the score. Examples:
This suggests a simple format for describing the tuning at the top of the score: the name of the tuning, perhaps the cents of the 5th, and the cents of any accidental pairs used, rounded off to the nearest integer. This gives the musician, who may not be well-versed in microtonal theory, basic information for playing the score. Examples:
Line 1,169: Line 1,170:
==Finding a notation for a pergen==
==Finding a notation for a pergen==


There are multiple notations for a given pergen, depending on the enharmonic interval(s). Preferably, the enharmonic's degree will be a unison or a 2nd, because equating two notes a 3rd or 4th apart is very disconcerting. If it's a unison, it will always be an A1. (P1 would be pointless, d1 would be inverted to A1, and AA1 would be split into two A1's.) If it's a 2nd, preferably it will be a m2 or a d2 or a dd2, and not a M2 or an A2 or a ddd2. There is an easy method for finding such a pergen, if one exists. First, some terminology and basic concepts:
There are multiple notations for a given pergen, depending on the EU(s). Preferably, the EU's degree will be a unison or a 2nd, because equating two notes a 3rd or 4th apart is very disconcerting. If it's a unison, it will always be an A1. (P1 would be pointless, d1 would be inverted to A1, and AA1 would be split into two A1's.) If it's a 2nd, preferably it will be a m2 or a d2 or a dd2, and not a M2 or an A2 or a ddd2. There is an easy method for finding such a pergen, if one exists. First, some terminology and basic concepts:


<ul><li>For (P8/m, M/n), P8 = mP + xE and M = nG + yE', with 0 &lt; |x| &lt;= m/2 and 0 &lt; |y| &lt;= n/2</li><li>x is the count for E, with E occurring x times in one octave, and xE is the octave's '''multi-enharmonic''', or '''multi-E''' for short</li><li>y is the count for E', with E' occurring y times in one multigen, and yE' is the multigen's multi-E</li><li>For false doubles using single-pair notation, E = E', but x and y are usually different, making different multi-enharmonics</li><li>The unreduced pergen is (P8/m, M'/n'), with a new enharmonic E" and new counts, P8 = mP + x'E", and M' = n'G' + y'E"</li></ul>
<ul><li>For (P8/m, M/n), P8 = m<span style="">⋅</span>P + x<span style="">⋅</span>EU and M = n<span style="">⋅</span>G + y<span style="">⋅</span>EU', with 0 &lt; |x| &lt;= m/2 and 0 &lt; |y| &lt;= n/2</li><li>x is the count for EU, with EU occurring x times in one octave, and x<span style="">⋅</span>EU is the octave's '''multi-EU'''</li><li>y is the count for EU', with EU' occurring y times in one multigen, and y<span style="">⋅</span>EU' is the multigen's multi-EU</li><li>For false doubles using single-pair notation, EU = EU', but x and y are usually different, making different multi-EUs</li><li>The unreduced pergen is (P8/m, M'/n'), with a new enharmonic unison EU" and new counts, P8 = m<span style="">⋅</span>P + x'<span style="">⋅</span>EU", and M' = n'<span style="">⋅</span>G' + y'<span style="">⋅</span>EU"</li></ul>


The '''keyspan''' of an interval is the number of keys or frets or semitones that the interval spans in 12-edo. Most musicians know that a minor 2nd is one key or fret and a major 2nd is two keys or frets. The keyspans of larger intervals aren't as well known. The concept can easily be expanded to other edos, but we'll assume 12-edo for now. The '''stepspan''' of an interval is simply the degree minus one. M2, m2, A2 and d2 all have a stepspan of 1. P5, d5 and A5 all have stepspan 4. The stepspan can be thought of as the 7-edo keyspan. This concept can be expanded to include pentatonicism, octotonicism, etc., but we'll assume heptatonicism for now.
The '''keyspan''' of an interval is the number of keys or frets or semitones that the interval spans in 12-edo. Most musicians know that a minor 2nd is one key or fret and a major 2nd is two keys or frets. The keyspans of larger intervals aren't as well known. The concept can easily be expanded to other edos, but we'll assume 12-edo for now. The '''[[stepspan]]''' of an interval is simply the degree minus one. M2, m2, A2 and d2 all have a stepspan of 1. P5, d5 and A5 all have stepspan 4. The stepspan can be thought of as the 7-edo keyspan. This concept can be expanded to include pentatonicism, octotonicism, etc., but we'll assume heptatonicism for now.


Every 3-limit interval can be uniquely expressed as the combination of a keyspan and a stepspan. This combination is called a '''gedra''', analogous to a monzo, but written in brackets not parentheses: 3/2 = (-1,1) is a 7-semitone 5th, thus (-1,1) = [7,4]. 9/8 = (-3,2) = [2,1] = a 2-semitone 1-step interval. The octave 2/1 = [12,7]. For any 3-limit interval with a monzo (a,b), there is a unique gedra [k,s], and vice versa:
Every 3-limit interval can be uniquely expressed as the combination of a keyspan and a stepspan. This combination is called a '''gedra''', analogous to a monzo, but written in brackets not parentheses: 3/2 = (-1,1) is a 7-semitone 5th, thus (-1,1) = [7,4]. 9/8 = (-3,2) = [2,1] = a 2-semitone 1-step interval. The octave 2/1 = [12,7]. For any 3-limit interval with a monzo (a,b), there is a unique gedra [k,s], and vice versa:
Line 1,181: Line 1,182:
<ul><li>a = -11k + 19s</li><li>b = 7k - 12s</li></ul>Gedras can be manipulated exactly like monzos. Just as adding two intervals (a,b) and (a',b') gives us (a+a',b+b'), likewise [k,s] added to [k',s'] equals [k+k',s+s']. If the GCD of a and b is n, then (a,b) is a stack of n identical intervals, with (a,b) = (na', nb') = n(a',b'), and if (a,b) is converted to [k,s], then the GCD of k and s is also n, and [k,s] = [nk',ns'] = n[k',s'].
<ul><li>a = -11k + 19s</li><li>b = 7k - 12s</li></ul>Gedras can be manipulated exactly like monzos. Just as adding two intervals (a,b) and (a',b') gives us (a+a',b+b'), likewise [k,s] added to [k',s'] equals [k+k',s+s']. If the GCD of a and b is n, then (a,b) is a stack of n identical intervals, with (a,b) = (na', nb') = n(a',b'), and if (a,b) is converted to [k,s], then the GCD of k and s is also n, and [k,s] = [nk',ns'] = n[k',s'].


Gedras greatly facilitate finding a pergen's period, generator and enharmonic(s). A given fraction of a given 3-limit interval can be approximated by simply dividing the keyspan and stepspan directly, and rounding off. This approximation will usually produce an enharmonic interval with the smallest possible keyspan and stepspan, which is the best enharmonic for notational purposes. As noted above, the smaller of two equivalent periods or generators is preferred, so fractions of the form N/2 should be rounded down, not up.
Gedras greatly facilitate finding a pergen's period, generator and EU(s). A given fraction of a given 3-limit interval can be approximated by simply dividing the keyspan and stepspan directly, and rounding off. This approximation will usually produce an EU with the smallest possible keyspan and stepspan, which is the best EU for notational purposes. As noted above, the smaller of two equivalent periods or generators is preferred, so fractions of the form N/2 should be rounded down, not up.


For example, consider the half-5th pergen. P5 = [7,4], and half a 5th is approximately [round(7/2), round (4/2)] = [3,2] = m3. The enharmonic can also be found using gedras: xE = M - n<span style="">⋅</span>G = P5 - 2<span style="">⋅</span>m3 = [7,4] - 2<span style="">⋅</span>[3,2] = [7,4] - [6,4] = [1,0] = A1.
For example, consider the half-5th pergen. P5 = [7,4], and half a 5th is approximately [round(7/2), round (4/2)] = [3,2] = m3. The EU can also be found using gedras: x<span style="">⋅</span>EU = M - n<span style="">⋅</span>G = P5 - 2<span style="">⋅</span>m3 = [7,4] - 2<span style="">⋅</span>[3,2] = [7,4] - [6,4] = [1,0] = A1.


Next, consider (P8/5, P5). P = [12,7]/5 = [2,1] = M2. xE = P8 - mP = P8 - 5<span style="">⋅</span>M2 = [12,7] - 5<span style="">⋅</span>[2,1] = [2,2] = 2<span style="">⋅</span>[1,1] = 2<span style="">⋅</span>m2. Because x = 2, E will occur twice in the perchain, even thought the comma only occurs once (i.e. the comma = 2<span style="">⋅</span>m2 = d3). The enharmonic's '''count''' is 2. The bare enharmonic is m2, which must be downed to vanish. The number of downs equals the splitting fraction, thus E = v<span style="vertical-align: super;">5</span>m2. Since P8 = 5<span style="">⋅</span>P + 2<span style="">⋅</span>E, the period must be ^^M2, to make the ups and downs come out even. The number of the period's (or generator's) ups or downs always equals the count. Equipped with the period and the enharmonic, the perchain is easily found:
Next, consider (P8/5, P5). P = [12,7]/5 = [2,1] = M2. x<span style="">⋅</span>EU = P8 - m<span style="">⋅</span>P = P8 - 5<span style="">⋅</span>M2 = [12,7] - 5<span style="">⋅</span>[2,1] = [2,2] = 2<span style="">⋅</span>[1,1] = 2<span style="">⋅</span>m2. Because x = 2, EU will occur twice in the perchain, even thought the comma only occurs once (i.e. the comma = 2<span style="">⋅</span>m2 = d3). The EU's '''count''' is 2. The uninflected EU is m2, which must be downed to vanish. The number of downs equals the splitting fraction, thus EU = v<span style="vertical-align: super;">5</span>m2. Since P8 = 5<span style="">⋅</span>P + 2<span style="">⋅</span>EU, the period must be ^^M2, to make the ups and downs come out even. The number of the period's (or generator's) ups or downs always equals the count. Equipped with the period and the EU, the perchain is easily found:


<span style="display: block; text-align: center;">P1 -- ^^M2=v<span style="vertical-align: super;">3</span>m3 -- v4 -- ^5 -- ^<span style="vertical-align: super;">3</span>M6=vvm7 -- P8</span>
<span style="display: block; text-align: center;">P1 -- ^^M2=v<span style="vertical-align: super;">3</span>m3 -- v4 -- ^5 -- ^<span style="vertical-align: super;">3</span>M6=vvm7 -- P8</span>
<span style="display: block; text-align: center;">C -- ^^D=v<span style="vertical-align: super;">3</span>Eb -- vF -- ^G -- ^<span style="vertical-align: super;">3</span>A=vvBb -- C</span>
<span style="display: block; text-align: center;">C -- ^^D=v<span style="vertical-align: super;">3</span>Eb -- vF -- ^G -- ^<span style="vertical-align: super;">3</span>A=vvBb -- C</span>


Most single-split pergens are dealt with similarly. For example, (P8, P4/5) has a bare generator [5,3]/5 = [1,1] = m2. The bare enharmonic is P4 - 5<span style="">⋅</span>m2 = [5,3] - 5<span style="">⋅</span>[1,1] = [5,3] - [5,5] = [0,-2] = -2<span style="">⋅</span>[0,1] = two descending d2's. The d2 must be upped, and E = ^<span style="vertical-align: super;">5</span>d2. Since P4 = 5<span style="">⋅</span>G - 2<span style="">⋅</span>E, G must be ^^m2. The genchain is:
Most single-split pergens are dealt with similarly. For example, (P8, P4/5) has an uninflected generator [5,3]/5 = [1,1] = m2. The uninflected EU is P4 - 5<span style="">⋅</span>m2 = [5,3] - 5<span style="">⋅</span>[1,1] = [5,3] - [5,5] = [0,-2] = -2<span style="">⋅</span>[0,1] = two descending d2's. The d2 must be upped, and EU = ^<span style="vertical-align: super;">5</span>d2. Since P4 = 5<span style="">⋅</span>G - 2<span style="">⋅</span>EU, G must be ^^m2. The genchain is:


<span style="display: block; text-align: center;">P1 -- ^^m2=v<span style="vertical-align: super;">3</span>A1 -- vM2 -- ^m3 -- ^<span style="vertical-align: super;">3</span>d4=vvM3 -- P4</span><span style="display: block; text-align: center;">C -- ^^Db -- vD -- ^Eb -- vvE -- F</span>
<span style="display: block; text-align: center;">P1 -- ^^m2=v<span style="vertical-align: super;">3</span>A1 -- vM2 -- ^m3 -- ^<span style="vertical-align: super;">3</span>d4=vvM3 -- P4</span><span style="display: block; text-align: center;">C -- ^^Db -- vD -- ^Eb -- vvE -- F</span>


To find the single-pair notation for a false double pergen, find an explicitly false form of the pergen, and find the generator and enharmonic from the fractional multigen as before. Then deduce the period from the enharmonic. If the multigen was changed by unreducing, find the original generator from the period and the alternate generator.
To find the single-pair notation for a false double pergen, find an explicitly false form of the pergen, and find the generator and EU from the fractional multigen as before. Then deduce the period from the EU. If the multigen was changed by unreducing, find the original generator from the period and the alternate generator.


For example, (P8/5, P4/2) isn't explicitly false, so we must unreduce it to (P8/5, m2/10). The bare alternate generator G' is [1,1]/10 = [0,0] = P1. The bare enharmonic is m2 - 10<span style="">⋅</span>P1 = m2. It must be downed, thus E = v<span style="vertical-align: super;">10</span>m2. Since m2 = 10<span style="">⋅</span>G' + E, G' is ^1. The octave plus or minus some number of enharmonics must equal 5 periods, thus (P8 + x<span style="">⋅</span>m2) must be divisible by 5, and ([12,7] + x[1,1]) mod 5 must be 0. The smallest (least absolute value) x that satisfies this equation is -2, and P8 = 5<span style="">⋅</span>P + 2<span style="">⋅</span>E, and P = ^<span style="vertical-align: super;">4</span>M2. Next, find the original half-4th generator. P = P8/5 = ~240¢, and G = P4/2 = ~250¢. Because P &lt; G, G' is not P - G but G - P, and G is not P - G' but P + G', which equals ^<span style="vertical-align: super;">4</span>M2 + ^1 = ^<span style="vertical-align: super;">5</span>M2. While the alternate multigen is more complex than the original multigen, the alternate generator is usually simpler than the original generator.
For example, (P8/5, P4/2) isn't explicitly false, so we must unreduce it to (P8/5, m2/10). The uninflected alternate generator G' is [1,1]/10 = [0,0] = P1. The uninflected EU is m2 - 10<span style="">⋅</span>P1 = m2. It must be downed, thus EU = v<span style="vertical-align: super;">10</span>m2. Since m2 = 10<span style="">⋅</span>G' + EU, G' is ^1. The octave plus or minus some number of EUs must equal 5 periods, thus (P8 + x<span style="">⋅</span>m2) must be divisible by 5, and ([12,7] + x[1,1]) mod 5 must be 0. The smallest (least absolute value) x that satisfies this equation is -2, and P8 = 5<span style="">⋅</span>P + 2<span style="">⋅</span>EU, and P = ^<span style="vertical-align: super;">4</span>M2. Next, find the original half-4th generator. P = P8/5 = ~240¢, and G = P4/2 = ~250¢. Because P &lt; G, G' is not P - G but G - P, and G is not P - G' but P + G', which equals ^<span style="vertical-align: super;">4</span>M2 + ^1 = ^<span style="vertical-align: super;">5</span>M2. While the alternate multigen is more complex than the original multigen, the alternate generator is usually simpler than the original generator.


<span style="display: block; text-align: center;">P1- - ^<span style="vertical-align: super;">4</span>M2=v<span style="vertical-align: super;">6</span>m3 -- vv4 -- ^^5 -- ^<span style="vertical-align: super;">6</span>M6=v<span style="vertical-align: super;">4</span>m7 -- P8</span>
<span style="display: block; text-align: center;">P1- - ^<span style="vertical-align: super;">4</span>M2=v<span style="vertical-align: super;">6</span>m3 -- vv4 -- ^^5 -- ^<span style="vertical-align: super;">6</span>M6=v<span style="vertical-align: super;">4</span>m7 -- P8</span>
Line 1,203: Line 1,204:
<span style="display: block; text-align: center;">C -- ^<span style="vertical-align: super;">5</span>D=v<span style="vertical-align: super;">5</span>Eb -- F</span>
<span style="display: block; text-align: center;">C -- ^<span style="vertical-align: super;">5</span>D=v<span style="vertical-align: super;">5</span>Eb -- F</span>


To find the double-pair notation for a true double pergen, find each pair from each half of the pergen. Each pair has its own enharmonic. For (P8/2, P4/2), the split octave implies P = vA4 and E = ^^d2, and the split 4th implies G = /M2 and E' = \\m2.
To find the double-pair notation for a true double pergen, find each pair from each half of the pergen. Each pair has its own enharmonic unison. For (P8/2, P4/2), the split octave implies P = vA4 and EU = ^^d2, and the split 4th implies G = /M2 and EU' = \\m2.


A false-double pergen can optionally use double-pair notation, which is found as if it were a true double. Double-pair notation is often preferable when the single-pair enharmonic is not a unison or a 2nd, as with (P8/2, P4/3).
A false-double pergen can optionally use double-pair notation, which is found as if it were a true double. Double-pair notation is often preferable when the single-pair EU is not a unison or a 2nd, as with (P8/2, P4/3).


Even single-split pergens may benefit from double-pair notation. For example, (P8, P11/4) has an enharmonic that's a 3rd: P11/4 = [17,10]/4 = [4,2] = M3, and P11 - 4⋅M3 = [1,2] = dd3. So E = v<span style="vertical-align: super;">4</span>dd3, and G = ^M3. But by using double-pair notation, we can avoid that. We find P11/2, which equals two generators: P11/2 = 2⋅G = [17,10]/2 = [8,5] = m6. The bare enharmonic is P11 - 2⋅m6 = [1,0] = A1. For this second enharmonic, we use the second pair of accidentals: E' = \\A1 and 2⋅G = /m6 or \M6. The sum or difference of two enharmonic intervals is also an enharmonic: E + E' = v<span style="vertical-align: super;">4</span>\\d3 = 2·vv\m2, and E - E' = v<span style="vertical-align: super;">4</span>//ddd3 = 2·vv/d2. Thus vv\m2 and vv/d2 are equivalent enharmonics, and v\4 and v/d4 are equivalent generators. Here is the genchain:
Even single-split pergens may benefit from double-pair notation. For example, (P8, P11/4) has an EU that's a 3rd: P11/4 = [17,10]/4 = [4,2] = M3, and P11 - 4⋅M3 = [1,2] = dd3. So EU = v<span style="vertical-align: super;">4</span>dd3, and G = ^M3. But by using double-pair notation, we can avoid that. We find P11/2, which equals two generators: P11/2 = 2⋅G = [17,10]/2 = [8,5] = m6. The uninflected enharmonic unison is P11 - 2⋅m6 = [1,0] = A1. For this second enharmonic unison, we use the second pair of accidentals: EU' = \\A1 and 2⋅G = /m6 or \M6. The sum or difference of two enharmonic unisons is also an enharmonic unison: EU + EU' = v<span style="vertical-align: super;">4</span>\\d3 = 2·vv\m2, and EU - EU' = v<span style="vertical-align: super;">4</span>//ddd3 = 2·vv/d2. Thus vv\m2 and vv/d2 are equivalent EUs, and v\4 and v/d4 are equivalent generators. Here is the genchain:


<span style="display: block; text-align: center;">P1 -- ^M3=v\4 -- /m6=\M6 -- ^/8=vm9 -- P11</span>
<span style="display: block; text-align: center;">P1 -- ^M3=v\4 -- /m6=\M6 -- ^/8=vm9 -- P11</span>
<span style="display: block; text-align: center;">C -- ^E=v\F -- /Ab=\A -- ^/C=vDb -- F</span>
<span style="display: block; text-align: center;">C -- ^E=v\F -- /Ab=\A -- ^/C=vDb -- F</span>


One might think with (P8/3, P11/4), that one pair would be needed to split the octave, and another two pairs to split the 11th, making three in all. But only two pairs are needed. First unreduce to get (P8/3, m3/12). m3/12 is the alternate generator G'. We have [3,2]/12 = [0,0] = P1, and G' = ^1 and E = v<span style="vertical-align: super;">12</span>m3. Next find 4·G' = m3/3 = [3,2]/3 = [1,1] = m2. Next, the bare enharmonic: m3 - 3·m2 = [0,-1] = descending d2. Thus E' = /<span style="vertical-align: super;">3</span>d2, and 4·G' = /m2. The period can be deduced from 4·G': P8/3 = (m10 - m3)/3 = (m10)/3 - 4·G' = P4 - /m2 = \M3. From the unreducing, we know that G - P = P11/4 - P8/3 = m3/12, so G = P11/4 = P8/3 + m3/12 = \M3 + ^1 = ^\M3. Equivalent enharmonics are found from E + E' and E - 2·E'. Equivalent periods and generators are found from the many enharmonics, which also allow much freedom in chord spelling. Enharmonic = v<span style="vertical-align: super;">12</span>m3 = /<span style="vertical-align: super;">3</span>d2 = v<span style="vertical-align: super;">4</span>/m2 = v<span style="vertical-align: super;">4</span>\\A1. Period = \M3 = v<span style="vertical-align: super;">4</span>4 = //d4. Generator = ^\M3 = v<span style="vertical-align: super;">3</span>4 = ^//d4.
One might think with (P8/3, P11/4), that one pair would be needed to split the octave, and another two pairs to split the 11th, making three in all. But only two pairs are needed. First unreduce to get (P8/3, m3/12). m3/12 is the alternate generator G'. We have [3,2]/12 = [0,0] = P1, and G' = ^1 and EU = v<span style="vertical-align: super;">12</span>m3. Next find 4·G' = m3/3 = [3,2]/3 = [1,1] = m2. Next, the uninflected enharmonic unison: m3 - 3·m2 = [0,-1] = descending d2. Thus EU' = /<span style="vertical-align: super;">3</span>d2, and 4·G' = /m2. The period can be deduced from 4·G': P8/3 = (m10 - m3)/3 = (m10)/3 - 4·G' = P4 - /m2 = \M3. From the unreducing, we know that G - P = P11/4 - P8/3 = m3/12, so G = P11/4 = P8/3 + m3/12 = \M3 + ^1 = ^\M3. Equivalent enharmonic unisons are found from EU + EU' and EU - 2·EU'. Equivalent periods and generators are found from the many enharmonic unisons, which also allow much freedom in chord spelling. Enharmonic unison = v<span style="vertical-align: super;">12</span>m3 = /<span style="vertical-align: super;">3</span>d2 = v<span style="vertical-align: super;">4</span>/m2 = v<span style="vertical-align: super;">4</span>\\A1. Period = \M3 = v<span style="vertical-align: super;">4</span>4 = //d4. Generator = ^\M3 = v<span style="vertical-align: super;">3</span>4 = ^//d4.


<span style="display: block; text-align: center;">P1 — \M3 — \\A5=/m6 — P8</span><span style="display: block; text-align: center;">C — \E — /Ab — C</span><span style="display: block; text-align: center;">P1 — ^\M3 — ^^\\A5=^^/m6=vv\M6 — ^<span style="vertical-align: super;">3</span>8=v/m9 — P11
<span style="display: block; text-align: center;">P1 — \M3 — \\A5=/m6 — P8</span><span style="display: block; text-align: center;">C — \E — /Ab — C</span><span style="display: block; text-align: center;">P1 — ^\M3 — ^^\\A5=^^/m6=vv\M6 — ^<span style="vertical-align: super;">3</span>8=v/m9 — P11
<span style="display: block; text-align: center;">C — ^\E — ^^/Ab=vv\A — v/Db — F</span>
<span style="display: block; text-align: center;">C — ^\E — ^^/Ab=vv\A — v/Db — F</span>


It's not yet known if every pergen can avoid large enharmonics (those of a 3rd or more) with double-pair notation. One situation in which very large enharmonics occur is the "half-step glitch". This is when the stepspan of the multigen is half (or a third, a quarter, etc.) of the multigen's splitting fraction. For example, in sixth-4th, six generators must cover three scale steps, and each one must cover a half-step. Each generator is either a unison or a 2nd, which causes the enharmonic's stepspan to equal the multigen's stepspan.
It's not yet known if every pergen can avoid large EUs (those of a 3rd or more) with double-pair notation. One situation in which very large EUs occur is the "half-step glitch". This is when the stepspan of the multigen is half (or a third, a quarter, etc.) of the multigen's splitting fraction. For example, in sixth-4th, six generators must cover three scale steps, and each one must cover a half-step. Each generator is either a unison or a 2nd, which causes the EU's stepspan to equal the multigen's stepspan.


Sixth-4th with single-pair notation has an awkward ^<span style="vertical-align: super;">6</span>d<span style="vertical-align: super;">6</span>4 enharmonic. This pergen might result from combining third-4th and half-4th (e.g. tempering out both the Porcupine and Semaphore  commas, aka Triyo & Zozo), and its double-pair notation can also combine both. Third-4th has E = v<span style="vertical-align: super;">3</span>A1 and G'= vM2 = ^^m2. Half-4th has E' = \\m2 and G' = /M2 = \m3. G' - G = P4/2 - P4/3 = P4/6. Thus the sixth-4th generator is G' - G = /M2 - vM2 = ^/1. Equivalent enharmonics are v<sup>3</sup>\\M2 and ^<sup>3</sup>\\d2.  
Sixth-4th with single-pair notation has an awkward ^<span style="vertical-align: super;">6</span>d<span style="vertical-align: super;">6</span>4 EU. This pergen might result from combining third-4th and half-4th (e.g. tempering out both the Porcupine and Semaphore  commas, aka Triyo & Zozo), and its double-pair notation can also combine both. Third-4th has EU = v<span style="vertical-align: super;">3</span>A1 and G'= vM2 = ^^m2. Half-4th has EU' = \\m2 and G' = /M2 = \m3. G' - G = P4/2 - P4/3 = P4/6. Thus the sixth-4th generator is G' - G = /M2 - vM2 = ^/1. Equivalent EUs are v<sup>3</sup>\\M2 and ^<sup>3</sup>\\d2.  


<span style="display: block; text-align: center;">P1 — ^/1=^\m2 — ^^m2=vM2 — /M2=\m3 — ^m3=vvM3 — v/M3=v\4 — P4
<span style="display: block; text-align: center;">P1 — ^/1=^\m2 — ^^m2=vM2 — /M2=\m3 — ^m3=vvM3 — v/M3=v\4 — P4
<span style="display: block; text-align: center;">C — ^/C=^\Db — ^^Db=vD — /D=\Eb — ^Eb=vvE — v/E=v\F — F
<span style="display: block; text-align: center;">C — ^/C=^\Db — ^^Db=vD — /D=\Eb — ^Eb=vvE — v/E=v\F — F


When ups and downs are used to notate edos, a third symbol is used, a '''mid''' , written ~. The mid is only for relative notation (intervals), never for absolute notation (notes). For imperfect intervals, the mid interval is the interval exactly midway between major and minor. In addition, the mid-4th is midway between perfect and augmented, i.e. half-augmented, and the mid-5th is half-diminished. For example, 17edo's 2nds and 3rds run minor-mid-major. This avoids having to constantly choose between the equivalent terms upminor and downmajor. 72edo's 2nds and 3rds run minor, upminor, downmid, mid, upmid, downmajor, major. This makes the terms more concise. Mids can be used in pergen notation too. For single-pair, E must be an A1, with any number of downs except 3. v<sup>5</sup>A1 creates m ^m v~ ^~ vM M. Using mids with double-pair notation is trickier. Mids never appear in the perchain. If one accidental pair appears only in the perchain and the other pair only in the genchain, then the mids appear only in the genchain, if at all.
When ups and downs are used to notate edos, a third symbol is used, a '''mid''' , written ~. The mid is only for relative notation (intervals), never for absolute notation (notes). For imperfect intervals, the mid interval is the interval exactly midway between major and minor. In addition, the mid-4th is midway between perfect and augmented, i.e. half-augmented, and the mid-5th is half-diminished. For example, 17edo's 2nds and 3rds run minor-mid-major. This avoids having to constantly choose between the equivalent terms upminor and downmajor. 72edo's 2nds and 3rds run minor, upminor, downmid, mid, upmid, downmajor, major. This makes the terms more concise. Mids can be used in pergen notation too. For single-pair, EU must be an A1, with an even number of downs. Using mids with double-pair notation is trickier. Mids never appear in the perchain. If one accidental pair appears only in the perchain and the other pair only in the genchain, then the mids appear only in the genchain, if at all.


==Alternate enharmonics==
==Alternate enharmonic unisons==


Sometimes the enharmonic found by rounding off the gedra can be greatly improved by rounding off differently. For example, (P8/3, P4/4) unreduces to (P8/3, ccM6/12), a false double. The bare alternate generator is ccM6/12 = [33,19]/12 = [3,2] = m3. The bare enharmonic is [33,19] - 12·[3,2] = [-3,-5] = a quintuple-diminished 6th! This would make for a very confusing notation. However, [33,19]/12 can be rounded very inaccurately all the way up to [4,2] = M3. The enharmonic becomes [33,19] - 12·[4,2] = [-15,-5] = -5·[3,1] = -5·v<span style="vertical-align: super;">12</span>A2, which is an improvement but still awkward. The period is ^<span style="vertical-align: super;">4</span>m3 and the generator is v<span style="vertical-align: super;">3</span>M2. ^1 = 25¢ + 0.75·c, about an eighth-tone.
Sometimes the EU found by rounding off the gedra can be greatly improved by rounding off differently. For example, (P8/3, P4/4) unreduces to (P8/3, ccM6/12), a false double. The uninflected alternate generator is ccM6/12 = [33,19]/12 = [3,2] = m3. The uninflected EU is [33,19] - 12·[3,2] = [-3,-5] = a quintuple-diminished 6th! This would make for a very confusing notation. However, [33,19]/12 can be rounded very inaccurately all the way up to [4,2] = M3. The EU becomes [33,19] - 12·[4,2] = [-15,-5] = -5·[3,1] = -5·v<span style="vertical-align: super;">12</span>A2, which is an improvement but still awkward. The period is ^<span style="vertical-align: super;">4</span>m3 and the generator is v<span style="vertical-align: super;">3</span>M2. ^1 = 25¢ + 0.75·c, about an eighth-tone.


<span style="display: block; text-align: center;">P1 -- ^<span style="vertical-align: super;">4</span>m3 -- v<span style="vertical-align: super;">4</span>M6 -- P8
<span style="display: block; text-align: center;">P1 -- ^<span style="vertical-align: super;">4</span>m3 -- v<span style="vertical-align: super;">4</span>M6 -- P8
Line 1,235: Line 1,236:
<span style="display: block; text-align: center;">C -- v<span style="vertical-align: super;">3</span>D -- v<span style="vertical-align: super;">6</span>E=^<span style="vertical-align: super;">6</span>Db -- ^<span style="vertical-align: super;">3</span>Eb -- F
<span style="display: block; text-align: center;">C -- v<span style="vertical-align: super;">3</span>D -- v<span style="vertical-align: super;">6</span>E=^<span style="vertical-align: super;">6</span>Db -- ^<span style="vertical-align: super;">3</span>Eb -- F


Because G is a M2 and E is an A2, the equivalent generator G - E is a descending A1. Ascending intervals that look descending can be confusing, one has to take into account the eighth-tone ups to see that v<span style="vertical-align: super;">3</span>D -- ^<span style="vertical-align: super;">6</span>Db is ascending. Double-pair notation may be preferable. This makes P = vM3, E = ^3d2, G = /m2, and E' = /4dd2.
Because G is a M2 and EU is an A2, the equivalent generator G - EU is a descending A1. Ascending intervals that look descending can be confusing, one has to take into account the eighth-tone ups to see that v<span style="vertical-align: super;">3</span>D -- ^<span style="vertical-align: super;">6</span>Db is ascending. Double-pair notation may be preferable. This makes P = vM3, EU = ^3d2, G = /m2, and EU' = /4dd2.


<span style="display: block; text-align: center;">P1 -- vM3 -- ^m6 -- P8
<span style="display: block; text-align: center;">P1 -- vM3 -- ^m6 -- P8
Line 1,242: Line 1,243:
<span style="display: block; text-align: center;">C -- /Db -- //Ebb=\\D# -- \E -- F</span>
<span style="display: block; text-align: center;">C -- /Db -- //Ebb=\\D# -- \E -- F</span>


Because the enharmonic found by rounding off the gedra is only an estimate that may need to be revised, there isn't any point to using gedras with something other than 12-edo keyspans, like 5edo or 19edo. Heptatonic stepspans are best because conventional notation is heptatonic, and we want to minimize the heptatonic stepspan of the enharmonic.
Because the EU found by rounding off the gedra is only an estimate that may need to be revised, there isn't any point to using gedras with something other than 12-edo keyspans, like 5edo or 19edo. Heptatonic stepspans are best because conventional notation is heptatonic, and we want to minimize the heptatonic stepspan of the EU.


To search for alternate enharmonics, convert E to a gedra, then multiply it by the count to get the multi-E (multi-enharmonic). The count is always the number of ups or downs in the generator (or period). The count is positive only if G (or P) is upped and E is downed, or vice versa. Add or subtract the splitting fraction n (or m) to/from either half of the gedra as desired to get a new multi-E. If the stepspan becomes negative, or if it's zero and the keyspan becomes negative, invert the gedra. If the two halves of the new gedra have a common factor, simplify the gedra by this factor, which becomes the new count. Convert the simplified gedra to a 3-limit interval. Add n (or m) ups or downs, this is the new E. Choose between ups and downs according to whether the 5th falls in the enharmonic's upping or downing range, see [[pergen#Applications-Tipping points|tipping points]] above. Add n'''·'''count ups or downs to the new multi-E. Add or subtract the new multi-E from the multigen (or the octave) to get an interval which splits cleanly into n (or m) parts. Each part is the new generator (or period).
To search for an alternate EU, convert the EU to a gedra, then multiply it by the count to get the multi-EU. The count is always the number of ups or downs in the generator (or period). The count is positive only if G (or P) is upped and EU is downed, or vice versa. Add or subtract the splitting fraction n (or m) to/from either half of the gedra as desired to get a new multi-EU. If the stepspan becomes negative, or if it's zero and the keyspan becomes negative, invert the gedra. If the two halves of the new gedra have a common factor, simplify the gedra by this factor, which becomes the new count. Convert the simplified gedra to a 3-limit interval. Add n (or m) ups or downs, this is the new EU. Choose between ups and downs according to whether the 5th falls in the EU's upping or downing range, see [[pergen#Applications-Tipping points|tipping points]] above. Add n'''·'''count ups or downs to the new multi-EU. Add or subtract the new multi-EU from the multigen (or the octave) to get an interval which splits cleanly into n (or m) parts. Each part is the new generator (or period).


For example, (P8, P5/3) has n = 3, G = ^M2, and E = v<span style="vertical-align: super;">3</span>m2 = [1,1]. G is upped only once, so the count is 1, and the multi-E is also [1,1]. Subtract n from the gedra's keyspan to make a new multi-E [-2,1]. This can't be simplified, so the new E is also [-2,1] = d<span style="vertical-align: super;">3</span>2. Assuming a reasonably just 5th, E needs to be upped, so E = ^<span style="vertical-align: super;">3</span>d<span style="vertical-align: super;">3</span>2. Add the multi-E ^<span style="vertical-align: super;">3</span>[-2,1] to the multigen P5 = [7,4] to get ^<span style="vertical-align: super;">3</span>[5,3]. This isn't divisible by n, so we must subtract instead: [7,4] - ^<span style="vertical-align: super;">3</span>[-2,1] = v<span style="vertical-align: super;">3</span>[9,3] = 3·v[3,1], and G = vA2. Use the equation M = n·G + y·E to check: 3·vA2 + 1·^3d<span style="vertical-align: super;">3</span>2 = 3·M2 + 1·m2 = P5. (Diminish three A2's once and augment one d<span style="vertical-align: super;">3</span>2 three times.) Here are the genchains: P1 -- vA2=^^dd3 -- ^d4 -- P5 and C -- vD# -- ^Fb -- G. Because d<span style="vertical-align: super;">3</span>2 = -200¢ - 26·c, ^ = (-d<span style="vertical-align: super;">3</span>2) / 3 = 67¢ + 8.67·c, about a third-tone.
For example, (P8, P5/3) has n = 3, G = ^M2, and EU = v<span style="vertical-align: super;">3</span>m2 = [1,1]. G is upped only once, so the count is 1, and the multi-EU is also [1,1]. Subtract n from the gedra's keyspan to make a new multi-EU [-2,1]. This can't be simplified, so the new EU is also [-2,1] = d<span style="vertical-align: super;">3</span>2. Assuming a reasonably just 5th, EU needs to be upped, so EU = ^<span style="vertical-align: super;">3</span>d<span style="vertical-align: super;">3</span>2. Add the multi-EU ^<span style="vertical-align: super;">3</span>[-2,1] to the multigen P5 = [7,4] to get ^<span style="vertical-align: super;">3</span>[5,3]. This isn't divisible by n, so we must subtract instead: [7,4] - ^<span style="vertical-align: super;">3</span>[-2,1] = v<span style="vertical-align: super;">3</span>[9,3] = 3·v[3,1], and G = vA2. Use the equation M = n·G + y·EU to check: 3·vA2 + 1·^3d<span style="vertical-align: super;">3</span>2 = 3·M2 + 1·m2 = P5. (Diminish three A2's once and augment one d<span style="vertical-align: super;">3</span>2 three times.) Here are the genchains: P1 -- vA2=^^dd3 -- ^d4 -- P5 and C -- vD# -- ^Fb -- G. Because d<span style="vertical-align: super;">3</span>2 = -200¢ - 26·c, ^ = (-d<span style="vertical-align: super;">3</span>2) / 3 = 67¢ + 8.67·c, about a third-tone.


Approaching pergens in a higher-primes-agnostic way, independently of specific commas or temperaments, one enharmonic (and one notation) will usually be obviously superior. But sometimes the temperament being notated implies a certain enharmonic. Specifically, the comma tempered out should map to E, or the multi-E if the count is &gt; 1. For example, consider Semaphore aka Zozo (2.3.7 and 49/48), which is half-4th. Assuming 7/4 is a m7, the comma is a m2, and a vvm2 enharmonic makes sense. G = ^M2 and the genchain is C -- ^D=vEb -- F. But consider Lala-yoyo, which tempers out (-22, 11, 2). This temperament is also half-4th. The comma is a descending dd2, thus E = ^^dd2, G = vA2, and the genchain is C -- vD#=^Ebb -- F. This is the best notation because the (-10, 5, 1) generator is an augmented 2nd.
Approaching pergens in a higher-primes-agnostic way, independently of specific commas or temperaments, one EU (and one notation) will usually be obviously superior. But sometimes the temperament being notated implies a certain EU. Specifically, the comma tempered out should map to the EU, or the multi-EU if the count is &gt; 1. For example, consider Semaphore aka Zozo (2.3.7 and 49/48), which is half-4th. Assuming 7/4 is a m7, the comma is a m2, and a vvm2 EU makes sense. G = ^M2 and the genchain is C -- ^D=vEb -- F. But consider Lala-yoyo, which tempers out (-22, 11, 2). This temperament is also half-4th. The comma is a descending dd2, thus EU = ^^dd2, G = vA2, and the genchain is C -- vD#=^Ebb -- F. This is the best notation because the (-10, 5, 1) generator is an augmented 2nd.


Of course, the 2nd comma is much more obscure than 49/48, and much harder to pump. Most half-4th commas are in fact minor 2nds, and the vvm2 enharmonic is indeed a superior notation. But there is another situation in which alternate harmonics arise. There is no consensus on how to map primes 11 and 13 to the 3-limit. 11/8 can be either P4 or A4, and 13/8 can be either m6 or M6. The choice can affect the choice of enharmonic.
Of course, the 2nd comma is much more obscure than 49/48, and much harder to pump. Most half-4th commas are in fact minor 2nds, and the vvm2 EU is indeed a superior notation. But there is another situation in which alternate harmonics arise. There is no consensus on how to map primes 11 and 13 to the 3-limit. 11/8 can be either P4 or A4, and 13/8 can be either m6 or M6. The choice can affect the choice of EU.


For example, Satrilu tempers out (12,-1,0,0,-3) from 2.3.11, making a third-11th pergen. The generator is 11/8. If 11/8 is notated as an ^4, the enharmonic is v<span style="vertical-align: super;">3</span>M2, but if 11/8 is notated as a vA4, the enharmonic is ^<span style="vertical-align: super;">3</span>dd2.
For example, Satrilu tempers out (12,-1,0,0,-3) from 2.3.11, making a third-11th pergen. The generator is 11/8. If 11/8 is notated as an ^4, the EU is v<span style="vertical-align: super;">3</span>M2, but if 11/8 is notated as a vA4, the EU is ^<span style="vertical-align: super;">3</span>dd2.


Sometimes the temperament implies an enharmonic that isn't even a 2nd. For example, Liese aka Gu & Trizogu (2.3.5.7 with 81/80 and 1029/1000) is (P8, P11/3), with G = 7/5 = vd5, and E = 3·vd5 - P11 = v<span style="vertical-align: super;">3</span>dd3. The genchain is P1 -- vd5 -- ^M7 -- P11, or C -- vGb -- ^B -- F.
Sometimes the temperament implies an EU that isn't even a 2nd. For example, Liese aka Gu & Trizogu (2.3.5.7 with 81/80 and 1029/1000) is (P8, P11/3), with G = 7/5 = vd5, and EU = 3·vd5 - P11 = v<span style="vertical-align: super;">3</span>dd3. The genchain is P1 -- vd5 -- ^M7 -- P11, or C -- vGb -- ^B -- F.


This is all for single-comma temperaments. Each comma of a multiple-comma temperament also implies an enharmonic, and they may conflict. True double pergens, which are always multi-comma, have multiple notations. For example, the half-everything pergen has three possible notations, all equally valid. Even single-split pergens can have multiple commas that imply different enharmonics.
This is all for single-comma temperaments. Each comma of a multiple-comma temperament also implies an EU, and they may conflict. True double pergens, which are always multi-comma, have multiple notations. For example, the half-everything pergen has three possible notations, all equally valid. Even single-split pergens can have multiple commas that imply different EUs.


==Chord names and staff notation==
==Chord names and staff notation==


Using pergens, all rank-2 chords can be named using ups and downs, and if needed lifts and drops as well. See the [[Ups_and_Downs_Notation|ups and downs]] page for chord naming conventions. The genchain and/or the perchain creates a lattice in which each note and each interval has its own name. The many enharmonic equivalents allow proper chord spelling.
Using pergens, all rank-2 chords can be named using ups and downs, and if needed lifts and drops as well. See the [[Ups and downs notation|ups and downs]] page for chord naming conventions. The genchain and/or the perchain creates a lattice in which each note and each interval has its own name. The many enharmonic equivalents allow proper chord spelling.


In certain pergens, one spelling isn't always clearly better. For example, in half-4th, C E G ^A and C E G vBb are the same chord, and either spelling might be used. This exact same issue occurs in 24-edo.
In certain pergens, one spelling isn't always clearly better. For example, in half-4th, C E G ^A and C E G vBb are the same chord, and either spelling might be used. This exact same issue occurs in 24-edo.


Given a specific temperament, the full period/generator mapping gives the notation of higher primes, and thus of any ratio. Thus JI chords can be named. For example, Pajara aka Sagugu & Ru (2.3.5.7 with 2048/2025 and 64/63) is (P8/2, P5), half-8ve, with P = vA4 or ^d5, G = P5, and E = ^^d2. The full mapping is [(2 2 7 8) (0 1 -2 -2)], which can also be written [(2 0) (2 1) (7 -2) (8 -2)]. This tells us 7/1 = 8·P - 2·G = 4·P8 - 2·P5 = ccm7, and 7/4 = m7. Likewise 5/1 = 7·P - 2·G = 7/1 minus a half-octave. From this it follows that 5/4 = m7 - ^d5 = vM3. A 4:5:6:7 chord is written C vE G Bb = Cv,7.
Given a specific temperament, the full period/generator mapping gives the notation of higher primes, and thus of any ratio. Thus JI chords can be named. For example, Pajara aka Sagugu & Ru (2.3.5.7 with 2048/2025 and 64/63) is (P8/2, P5), half-8ve, with P = vA4 or ^d5, G = P5, and EU = ^^d2. The full mapping is [(2 2 7 8) (0 1 -2 -2)], which can also be written [(2 0) (2 1) (7 -2) (8 -2)]. This tells us 7/1 = 8·P - 2·G = 4·P8 - 2·P5 = ccm7, and 7/4 = m7. Likewise 5/1 = 7·P - 2·G = 7/1 minus a half-octave. From this it follows that 5/4 = m7 - ^d5 = vM3. A 4:5:6:7 chord is written C vE G Bb = Cv,7.


A different temperament may result in the same pergen with the same enharmonic, but may still produce a different name for the same chord. For example, Injera aka Gu & Biruyo (2.3.5.7 with 81/80 and 50/49) is also half-8ve. However, the tipping point for the d2 enharmonic is at 700¢, and while Pajara favors a fifth wider than that, Injera favors a fifth narrower than that. Hence ups and downs are exchanged, and E = vvd2, and P = ^A4 = vd5. The mapping is [(2 2 0 1) (0 1 4 4)] = [(2 0) (2 1) (0 4) (1 4)]. Because the square mapping (the first two columns) are the same, the pergen is the same. Because the other columns are different, the higher primes are mapped differently. 5/4 = M3 and 7/4 = M3 + vd5 = vm7, and 4:5:6:7 = C E G vBb = C,v7.
A different temperament may result in the same pergen with the same EU, but may still produce a different name for the same chord. For example, Injera aka Gu & Biruyo (2.3.5.7 with 81/80 and 50/49) is also half-8ve. However, the tipping point for the d2 EU is at 700¢, and while Pajara favors a fifth wider than that, Injera favors a fifth narrower than that. Hence ups and downs are exchanged, and EU = vvd2, and P = ^A4 = vd5. The mapping is [(2 2 0 1) (0 1 4 4)] = [(2 0) (2 1) (0 4) (1 4)]. Because the square mapping (the first two columns) are the same, the pergen is the same. Because the other columns are different, the higher primes are mapped differently. 5/4 = M3 and 7/4 = M3 + vd5 = vm7, and 4:5:6:7 = C E G vBb = C,v7.


Scales can be named similar to Meantone[7], as (P8, P5) [7] = unsplit heptatonic, or (P8, P5/2) [5] = half-fifth pentatonic, etc. The number of notes in the scale tend to be a multiple of m, e.g. half-octave pergens tend to have scales with an even number of notes. This is in fact a requirement for MOS scales.
Scales can be named similar to Meantone[7], as (P8, P5) [7] = unsplit heptatonic, or (P8, P5/2) [5] = half-fifth pentatonic, etc. The number of notes in the scale tend to be a multiple of m, e.g. half-octave pergens tend to have scales with an even number of notes. This is in fact a requirement for MOS scales.
Line 1,272: Line 1,273:
Chord progressions can be written out by applying ups and downs to the chord roots as needed, e.g. Iv -- vIIIv -- vVI^m -- Iv. A Porcupine aka Triyo (third-4th) comma pump can be written out like so: Cv -- vA^m -- vDv -- [vvB=^Bb]^m -- ^Ebv -- G^m -- Gv -- Cv. Brackets are used to show that vvB and ^Bb are enharmonically equivalent. The equivalence is shown roughly half-way through the pump. vvB is written first to show that this root is a vM6 above the previous root, vD. ^Bb is second to show the P4 relationship to the next root, ^Eb. Such an equivalence of course couldn't be used on the staff, where the chord would be written as either vvB^m or ^Bb^m, or possibly ^BbvvM = ^Bb vD ^F.
Chord progressions can be written out by applying ups and downs to the chord roots as needed, e.g. Iv -- vIIIv -- vVI^m -- Iv. A Porcupine aka Triyo (third-4th) comma pump can be written out like so: Cv -- vA^m -- vDv -- [vvB=^Bb]^m -- ^Ebv -- G^m -- Gv -- Cv. Brackets are used to show that vvB and ^Bb are enharmonically equivalent. The equivalence is shown roughly half-way through the pump. vvB is written first to show that this root is a vM6 above the previous root, vD. ^Bb is second to show the P4 relationship to the next root, ^Eb. Such an equivalence of course couldn't be used on the staff, where the chord would be written as either vvB^m or ^Bb^m, or possibly ^BbvvM = ^Bb vD ^F.


Lifts and drops, like ups and downs, precede the note head and any sharps or flats. Scores for melody instruments could instead have them above or below the staff. This score uses ups and downs, and has chord names. It's for the third-4th pergen, with E = v<sup>3</sup>A1. As noted above, it can be played in EDOs 15, 22 or 29 as is, because ^1 maps to 1 edostep. But to be played in EDOs 30, 37 or 44, ^1 must be interpreted as two edosteps.
Lifts and drops, like ups and downs, precede the note head and any sharps or flats. Scores for melody instruments could instead have them above or below the staff. This score uses ups and downs, and has chord names. It's for the third-4th pergen, with EU = v<sup>3</sup>A1. As noted above, it can be played in EDOs 15, 22 or 29 as is, because ^1 maps to 1 edostep. But to be played in EDOs 30, 37 or 44, ^1 must be interpreted as two edosteps.


<u><span style="font-size: 110%;">Mizarian Porcupine Overture by Herman Miller (P8, P4/3) ^<sup>3</sup>C = C#</span></u>
<u><span style="font-size: 110%;">Mizarian Porcupine Overture by Herman Miller (P8, P4/3) ^<sup>3</sup>C = C#</span></u>
Line 1,280: Line 1,281:
==Tipping points and sweet spots==
==Tipping points and sweet spots==


The tipping point for half-octave with a d2 enharmonic is 700¢, 12-edo's 5th. As noted above, the 5th of Pajara (half-8ve) tends to be sharp, thus it has E = ^^d2. But Injera, also half-8ve, has a flat 5th, and thus E = vvd2. It is fine for two temperaments with the same pergen to be on opposite sides of the tipping point. But if a single temperament "tips over", either the up symbol sometimes means down in pitch, or even worse, the direction of ups and downs for a piece would reverse if the tuning is adjusted slightly. Fortunately, the temperament's "sweet spot", where the damage to those JI ratios likely to occur in chords is minimized, rarely contains the tipping point.
The tipping point for half-octave with a d2 EU is 700¢, 12-edo's 5th. As noted above, the 5th of Pajara (half-8ve) tends to be sharp, thus it has EU = ^^d2. But Injera, also half-8ve, has a flat 5th, and thus EU = vvd2. It is fine for two temperaments with the same pergen to be on opposite sides of the tipping point. But if a single temperament "tips over", either the up symbol sometimes means down in pitch, or even worse, the direction of ups and downs for a piece would reverse if the tuning is adjusted slightly. Fortunately, the temperament's "sweet spot", where the damage to those JI ratios likely to occur in chords is minimized, rarely contains the tipping point.


The tipping point depends on the choice of enharmonic. It's not the temperament that tips, it's the notation. Half-8ve could be notated with an E of vvM2. The tipping point becomes 600¢, a <u>very</u> unlikely 5th, and tipping is impossible. For single-comma temperaments, E usually equals the 3-limit mapping of the comma. Thus for 5-limit and 7-imit temperaments, the choice of E is a given. However, the mapping of primes 11 and 13 is not agreed on.
The tipping point depends on the choice of EU. It's not the temperament that tips, it's the notation. Half-8ve could be notated with an EU of vvM2. The tipping point becomes 600¢, a <u>very</u> unlikely 5th, and tipping is impossible. For single-comma temperaments, the EU usually equals the 3-limit mapping of the comma. Thus for 5-limit and 7-imit temperaments, the choice of EU is a given. However, the mapping of primes 11 and 13 is not agreed on.


The notation's tipping point is determined by the bare enharmonic, which is implied by the vanishing comma. For example, Porcupine aka Triyo's 250/243 comma is an A1 = (-11,7), which implies a bare E of A1, which implies 7-edo, and a 685.7¢ tipping point. Dicot aka Yoyo's 25/24 comma is also an A1, and has the same tipping point. Semaphore aka Zozo's 49/48 comma is a minor 2nd = (8,-5), implying 5-edo and a 720¢ tipping point. See [[pergen#Applications-Tipping points|tipping points]] above for a more complete list.
The notation's tipping point is determined by the uninflected EU, which is implied by the vanishing comma. For example, Porcupine aka Triyo's 250/243 comma is an A1 = (-11,7), which implies an uninflected EU of A1, which implies 7-edo, and a 685.7¢ tipping point. Dicot aka Yoyo's 25/24 comma is also an A1, and has the same tipping point. Semaphore aka Zozo's 49/48 comma is a minor 2nd = (8,-5), implying 5-edo and a 720¢ tipping point. See [[pergen#Applications-Tipping points|tipping points]] above for a more complete list.


Double-pair notation has two enharmonics, and two tipping points to be avoided. (P8/2, P4/2) has three possible notations. The two enharmonics can be either A1, m2 or d2. One can choose to use whichever two enharmonics best avoid tipping.
Double-pair notation has two EUs, and two tipping points to be avoided. (P8/2, P4/2) has three possible notations. The two EUs can be any two of A1, m2 or d2. One can choose to use whichever two EUs best avoid tipping.


An example of a temperament that tips easily is Negri aka Laquadyo, 2.3.5 and (-14,3,4). Because Negri is 5-limit, the mapping is unambiguous, and the comma must be a dd2, implying 19-edo and a 694.74¢ tipping point. This coincides almost exactly with Negri's seventh-comma sweet spot, where 6/5 is just and 3/2 = 694.65¢. Negri's pergen is quarter-4th, with ^ = 25¢ + 4.75c, very nearly 0¢. The up symbol represents either 81/80 or 80/81, and E could be either ^<span style="vertical-align: super;">4</span>dd2 or v<span style="vertical-align: super;">4</span>dd2. When the choice is so arbitrary, it's perhaps best to avoid inverting the ratio. 81/80 implies an E of ^<span style="vertical-align: super;">4</span>dd2 and a G of ^m2. Negri's generator is 16/15, which is indeed a m2 raised by 81/80. In practice, seventh-comma Negri's 5th is only 0.085¢ from 19-edo's 5th, the tuning is hardly audibly different than 19edo, and the piece can be written out in 19edo notation.
An example of a temperament that tips easily is Negri aka Laquadyo, 2.3.5 and (-14,3,4). Because Negri is 5-limit, the mapping is unambiguous, and the comma must be a dd2, implying 19-edo and a 694.74¢ tipping point. This coincides almost exactly with Negri's seventh-comma sweet spot, where 6/5 is just and 3/2 = 694.65¢. Negri's pergen is quarter-4th, with ^ = 25¢ + 4.75c, very nearly 0¢. The up symbol represents either 81/80 or 80/81, and the EU could be either ^<span style="vertical-align: super;">4</span>dd2 or v<span style="vertical-align: super;">4</span>dd2. When the choice is so arbitrary, it's perhaps best to avoid inverting the ratio. 81/80 implies an EU of ^<span style="vertical-align: super;">4</span>dd2 and a G of ^m2. Negri's generator is 16/15, which is indeed a m2 raised by 81/80. In practice, seventh-comma Negri's 5th is only 0.085¢ from 19-edo's 5th, the tuning is hardly audibly different than 19edo, and the piece can be written out in 19edo notation.


Another "tippy" temperament is found by adding the mapping comma 81/80 to the Negri comma and getting the Latriyo comma (-18,7,3). This temperament is (P8, P11/3) with G = 45/32. The sweet spot is tenth-comma, even closer to 19edo's 5th.
Another "tippy" temperament is found by adding the mapping comma 81/80 to the Negri comma and getting the Latriyo comma (-18,7,3). This temperament is (P8, P11/3) with G = 45/32. The sweet spot is tenth-comma, even closer to 19edo's 5th.
Line 1,314: Line 1,315:
! | 5/4 is
! | 5/4 is
! | 4:5:6 chord
! | 4:5:6 chord
! | E
! | EU
! | ratio
! | ratio
! | cents
! | cents
Line 1,403: Line 1,404:
==Notating rank-3 pergens==
==Notating rank-3 pergens==


Conventional notation is generated by the octave and the 5th, and the notation (not the tuning itself) is rank-2. Each additional pair of accidentals increases the notation's rank by one, analogous to adding primes to a JI subgroup. Enharmonics are like commas in that each one reduces the notation's rank by one (assuming they are linearly independent). Obviously, the notation's rank must match the actual tuning's rank. Therefore the minimum number of enharmonics needed always equals the difference between the notation's rank and the tuning's rank. Examples:
Conventional notation is generated by the octave and the 5th, and the notation (not the tuning itself) is rank-2. Each additional pair of accidentals increases the notation's rank by one, analogous to adding primes to a JI subgroup. Enharmonic unisons aka EUs are like vanishing commas in that each one reduces the notation's rank by one (assuming they are linearly independent). Obviously, the notation's rank must match the actual tuning's rank. Therefore the minimum number of EUs needed always equals the difference between the notation's rank and the tuning's rank. Examples:


{| class="wikitable" style="text-align:center;"  
{| class="wikitable" style="text-align:center;"  
Line 1,411: Line 1,412:
! | tuning's rank
! | tuning's rank
! | notation
! | notation
! | notation's rank<br>if no enharmonics
! | notation's rank<br>without any EUs
! | # of enharmonics<br>needed
! | # of EUs<br>needed
! | enharmonics
! | EUs
|-
|-
| | 12-edo
| | 12-edo
Line 1,421: Line 1,422:
| | rank-2
| | rank-2
| | 1
| | 1
| | E = d2
| | EU = d2
|-
|-
| | 19-edo
| | 19-edo
Line 1,429: Line 1,430:
| | rank-2
| | rank-2
| | 1
| | 1
| | E = dd2
| | EU = dd2
|-
|-
| | 15-edo
| | 15-edo
Line 1,437: Line 1,438:
| | rank-3
| | rank-3
| | 2
| | 2
| | E = m2, E' = v<span style="vertical-align: super;">3</span>A1 = v<span style="vertical-align: super;">3</span>M2
| | EU = m2, EU' = v<span style="vertical-align: super;">3</span>A1 = v<span style="vertical-align: super;">3</span>M2
|-
|-
| | 24-edo
| | 24-edo
Line 1,445: Line 1,446:
| | rank-3
| | rank-3
| | 2
| | 2
| | E = d2, E' = vvA1 = vvm2
| | EU = d2, EU' = vvA1 = vvm2
|-
|-
| | 3-limit JI aka pythagorean
| | 3-limit JI aka pythagorean
Line 1,469: Line 1,470:
| | rank-3
| | rank-3
| | 1
| | 1
| | E = ^^d2
| | EU = ^^d2
|-
|-
| | Semaphore aka Zozo
| | Semaphore aka Zozo
Line 1,477: Line 1,478:
| | rank-3
| | rank-3
| | 1
| | 1
| | E = vvm2
| | EU = vvm2
|-
|-
| | Decimal aka Yoyo & Zozo
| | Decimal aka Yoyo & Zozo
Line 1,485: Line 1,486:
| | rank-4
| | rank-4
| | 2
| | 2
| | E = vvd2, E' = \\m2 = ^^\\A1
| | EU = vvd2, EU' = \\m2 = ^^\\A1
|-
|-
| | 5-limit JI
| | 5-limit JI
Line 1,509: Line 1,510:
| | rank-4
| | rank-4
| | 1
| | 1
| | E = \\dd3
| | EU = \\dd3
|-
|-
| | 7-limit JI
| | 7-limit JI
Line 1,519: Line 1,520:
| | ---
| | ---
|}
|}
When there is more than one enharmonic, the first one can be added to or subtracted from the 2nd one, to make an equivalent 2nd enharmonic.
When there is more than one EU, the first one can be added to or subtracted from the 2nd one, to make an equivalent 2nd EU.


A rank-2 pergen is either unsplit, single-split or double-split, and a double-split is either a true double or a false double. A rank-3 pergen can be any of these. Additionally, some rank-3 pergens are triple-splits, which are either true triples or false triples. False triples are like true doubles in that they only require two commas. There are even "superfalse" triples that can arise from a single comma, but the higher prime's exponent in the comma must be at least 12, making it difficult to pump, and not very useful musically.
A rank-2 pergen is either unsplit, single-split or double-split, and a double-split is either a true double or a false double. A rank-3 pergen can be any of these. Additionally, some rank-3 pergens are triple-splits, which are either true triples or false triples. False triples are like true doubles in that they only require two commas. There are even "superfalse" triples that can arise from a single comma, but the higher prime's exponent in the comma must be at least 12, making it difficult to pump, and not very useful musically.


Even the unsplit rank-3 pergen requires single-pair notation, for the 2nd generator. Single-splits and false double-splits require double-pair, true doubles and false triples require triple-pair, and true triples require quadruple-pair. Some false triples and some true doubles may use quadruple-pair as well, to avoid awkward enharmonics of a 3rd or more. Rather than devising a third or fourth pair of symbols, and a third or fourth pair of adjectives to describe them, one might simply use colors.
Even the unsplit rank-3 pergen requires single-pair notation, for the 2nd generator. Single-splits and false double-splits require double-pair, true doubles and false triples require triple-pair, and true triples require quadruple-pair. Some false triples and some true doubles may use quadruple-pair as well, to avoid awkward EUs of a 3rd or more. Rather than devising a third or fourth pair of symbols, and a third or fourth pair of adjectives to describe them, one might simply use colors.


A true/false test hasn't yet been found for either triple-splits, or double-splits in which multigen2 is split.
A true/false test hasn't yet been found for either triple-splits, or double-splits in which multigen2 is split.
Line 1,539: Line 1,540:
! | gen1
! | gen1
! | gen2
! | gen2
! | enharmonic
! | EU
|-
|-
| | Marvel aka Ruyoyo
| | Marvel aka Ruyoyo
Line 1,603: Line 1,604:
If using single-pair notation, Marvel is notated like 5-limit JI, but the 4:5:6:7 chord is spelled C - vE - G - vvA#. If double-pair notation is used, /1 = 64/63, and the chord is spelled C - vE - G - \Bb.
If using single-pair notation, Marvel is notated like 5-limit JI, but the 4:5:6:7 chord is spelled C - vE - G - vvA#. If double-pair notation is used, /1 = 64/63, and the chord is spelled C - vE - G - \Bb.


There's a lot of options in rank-3 double-pair notation for what ratio each accidental pair represents. For example, Biruyo is half-8ve, with a d2 comma, like Srutal. Using the same notation as Srutal, but with ^1 = 81/80, we have P = \A4 = /d5 and E = //d2. The ratio for /1 is (-10,6,-1,1), a descending interval. 7/4 = 5/4 + 7/5 = vM3 + /d5 = v/m7, and the 4:5:6:7 chord is spelled awkwardly as C vE G v/Bb. However, double-pair notation for 7-limit rank-3 temperaments can be standardized so that ^1 is always 81/80 and /1 is always 64/63. This ensures the 4:5:6:7 chord is always spelled C vE G \Bb.
There's a lot of options in rank-3 double-pair notation for what ratio each accidental pair represents. For example, Biruyo is half-8ve, with a d2 comma, like Srutal. Using the same notation as Srutal, but with ^1 = 81/80, we have P = \A4 = /d5 and EU = //d2. The ratio for /1 is (-10,6,-1,1), a descending interval. 7/4 = 5/4 + 7/5 = vM3 + /d5 = v/m7, and the 4:5:6:7 chord is spelled awkwardly as C vE G v/Bb. However, double-pair notation for 7-limit rank-3 temperaments can be standardized so that ^1 is always 81/80 and /1 is always 64/63. This ensures the 4:5:6:7 chord is always spelled C vE G \Bb.


With this standardization, the enharmonic can be derived directly from the comma. The vanishing comma is written as some 3-limit comma plus some number of mapping commas. For example, 50/49 = (81/80)<span style="vertical-align: super;">-2</span> · (64/63)<span style="vertical-align: super;">2</span> · (-19,12). This can be rewritten as vv1 + //1 - d2 = vv//-d2 = -^^\\d2. The comma is negative (i.e.descending), but the enharmonic never is, therefore E = ^^\\d2. The period is found by adding/subtracting E from the 8ve and dividing by two, thus P = v/A4 = ^\d5. Both E and P become more complex, but the ratio for /1 becomes simpler.
With this standardization, the EU can be derived directly from the comma. The vanishing comma is written as some 3-limit comma plus some number of mapping commas. For example, 50/49 = (81/80)<span style="vertical-align: super;">-2</span> · (64/63)<span style="vertical-align: super;">2</span> · (-19,12). This can be rewritten as vv1 + //1 - d2 = vv//-d2 = -^^\\d2. The comma is negative (i.e.descending), but the EU never is, therefore the EU = ^^\\d2. The period is found by adding/subtracting the EU from the 8ve and dividing by two, thus P = v/A4 = ^\d5. Both EU and P become more complex, but the ratio for /1 becomes simpler.


This 3-limit comma defines the tipping point. At the tipping point, the 3-limit comma vanishes too. In a rank-2 temperament, the mapping comma must also vanish, because some number of them plus the 3-limit comma must add up to the original comma, which vanishes. However, a rank-3 temperament has two mapping commas, and neither is forced to vanish if the 3-limit comma vanishes. A rank-3 double-pair notation's tipping point is where both mapping commas are tempered out. For Biruyo, this happens when the tuning is exactly 12edo. This tuning is much farther from just than need be, well outside the sweet spot. Therefore Biruyo doesn't tip. Single-pair rank-3 notation has no enharmonic, and thus no tipping point. Double-pair rank-3 notation has 1 enharmonic, but two mapping commas. Rank-3 notations rarely tip.
This 3-limit comma defines the tipping point. At the tipping point, the 3-limit comma vanishes too. In a rank-2 temperament, the mapping comma must also vanish, because some number of them plus the 3-limit comma must add up to the original comma, which vanishes. However, a rank-3 temperament has two mapping commas, and neither is forced to vanish if the 3-limit comma vanishes. A rank-3 double-pair notation's tipping point is where both mapping commas are tempered out. For Biruyo, this happens when the tuning is exactly 12edo. This tuning is much farther from just than need be, well outside the sweet spot. Therefore Biruyo doesn't tip. Single-pair rank-3 notation has no EU, and thus no tipping point. Double-pair rank-3 notation has 1 EU, but two mapping commas. Rank-3 notations rarely tip.


Unlike the previous examples, Demeter aka Trizo-agugu's gen2 can't be expressed as a mapping comma. It divides 5/4 into three 15/14 generators, and 7/6 into two generators. Its pergen is (P8, P5, vm3/2). It could also be called (P8, P5, vM3/3), but the pergen with a smaller fraction is preferred. Because the 8ve and 5th are unsplit, single-pair notation is possible, with gen2 = ^m2 and no E. But the 4:5:6:7 chord would be spelled C -- ^^^Fbbb -- G -- ^^Bbb, very awkward! Standard double-pair notation is better. Gen2 = v/A1, E = ^^\\\dd3, and ^^\\\C = A##. Genchain2 is C -- v/C# -- \Eb -- vE -- \\Gb -- v\G -- vvG#=\\\Bbb -- v\\Bb... Unlike other genchains we've seen, the additional accidentals get progressively more complex. Whenever an accidental has its own enharmonic, with no other accidentals in it, it always adds up to something simpler eventually. If it doesn't have its own enharmonic, it's infinitely stackable. A case can be made for a convention that colors are used only for infinitely stackable accidentals, and ups/downs/lifts/drops only for the other kind of accidentals.
Unlike the previous examples, Demeter aka Trizo-agugu's gen2 can't be expressed as a mapping comma. It divides 5/4 into three 15/14 generators, and 7/6 into two generators. Its pergen is (P8, P5, vm3/2). It could also be called (P8, P5, vM3/3), but the pergen with a smaller fraction is preferred. Because the 8ve and 5th are unsplit, single-pair notation is possible, with gen2 = ^m2 and no EU. But the 4:5:6:7 chord would be spelled C -- ^^^Fbbb -- G -- ^^Bbb, very awkward! Standard double-pair notation is better. Gen2 = v/A1, EU = ^^\\\dd3, and ^^\\\C = A##. Genchain2 is C -- v/C# -- \Eb -- vE -- \\Gb -- v\G -- vvG#=\\\Bbb -- v\\Bb... Unlike other genchains we've seen, the additional accidentals get progressively more complex. Whenever an accidental has its own EU, with no other accidentals in it, it always adds up to something simpler eventually. If it doesn't have its own EU, it's infinitely stackable. A case can be made for a convention that colors are used only for infinitely stackable accidentals, and ups/downs/lifts/drops only for the other kind of accidentals.


There are always many alternate 2nd generators. Any combination of periods, 1st generators and commas can be added to or subtracted from gen2 to make alternates. If gen2 can be expressed as a mapping comma, that is preferred. For Demeter, any combination of \m3, double-8ves and double-5ths (M9's) makes an alternate multigen2. Any 3-limit interval can be added or subtracted twice, because the splitting fraction is 2. Obviously we can't choose the multigen2 with the smallest cents, because there will always be a 3-limit comma small enough to be subtracted twice from it. Instead, once the splitting fraction is minimized, choose the multigen2 with the smallest odd limit. In case of two ratios with the same odd limit, as 5/3 and 5/4, the '''DOL''' ([[Odd limit|double odd limit]]) is minimized. DOL (5/3) = (5,3) and DOL (5/4) = (5,1). Since 1 &lt; 3, 5/4 is preferred.
There are always many alternate 2nd generators. Any combination of periods, 1st generators and commas can be added to or subtracted from gen2 to make alternates. If gen2 can be expressed as a mapping comma, that is preferred. For Demeter, any combination of \m3, double-8ves and double-5ths (M9's) makes an alternate multigen2. Any 3-limit interval can be added or subtracted twice, because the splitting fraction is 2. Obviously we can't choose the multigen2 with the smallest cents, because there will always be a 3-limit comma small enough to be subtracted twice from it. Instead, once the splitting fraction is minimized, choose the multigen2 with the smallest odd limit. In case of two ratios with the same odd limit, as 5/3 and 5/4, the '''DOL''' ([[Odd limit|double odd limit]]) is minimized. DOL (5/3) = (5,3) and DOL (5/4) = (5,1). Since 1 &lt; 3, 5/4 is preferred.
Line 1,777: Line 1,778:
! | pergen
! | pergen
! | spoken name
! | spoken name
! | enharmonics
! | enharmonic unisons
! | perchain
! | perchain
! | genchain
! | genchain
Line 1,786: Line 1,787:
| | (P8/5, ^1)
| | (P8/5, ^1)
| | rank-2 5-edo
| | rank-2 5-edo
| | E = m2
| | EU = m2
| | D E=F G A B=C D
| | D E=F G A B=C D
| | D vF#=vG vvB...
| | D vF#=vG vvB...
Line 1,795: Line 1,796:
| | (P8/7, ^1)
| | (P8/7, ^1)
| | rank-2 7-edo
| | rank-2 7-edo
| | E = A1
| | EU = A1
| | D E F G A B C D
| | D E F G A B C D
| | D ^F ^^A...
| | D ^F ^^A...
Line 1,804: Line 1,805:
| | (P8/10, /1)
| | (P8/10, /1)
| | rank-2 10-edo
| | rank-2 10-edo
| | E = m2, E' = vvA1 = vvM2
| | EU = m2, EU' = vvA1 = vvM2
| | D ^D=vE E=F ^F=vG G...
| | D ^D=vE E=F ^F=vG G...
| | D \F#=\G \\B...
| | D \F#=\G \\B...
Line 1,813: Line 1,814:
| | (P8/12, ^1)
| | (P8/12, ^1)
| | rank-2 12-edo
| | rank-2 12-edo
| | E = d2
| | EU = d2
| | D D#=Eb E F F#=Gb...
| | D D#=Eb E F F#=Gb...
| | D ^G ^^C
| | D ^G ^^C
Line 1,831: Line 1,832:
| | (P8/17, /1)
| | (P8/17, /1)
| | rank-2 17-edo
| | rank-2 17-edo
| | E = dd3, E' = vm2 = vvA1
| | EU = dd3, EU' = vm2 = vvA1
| | D ^D=Eb D#=vE E F...
| | D ^D=Eb D#=vE E F...
| | D \F# \\A#=v\\B...
| | D \F# \\A#=v\\B...
Line 1,852: Line 1,853:
! | pergen
! | pergen
! | spoken name
! | spoken name
! | enharmonic
! | EU
! | perchain
! | perchain
! | genchain
! | genchain
Line 1,862: Line 1,863:
| | (P8/5, P5)
| | (P8/5, P5)
| | fifth-8ve
| | fifth-8ve
| | E = v<span style="vertical-align: super;">5</span>m2
| | v<span style="vertical-align: super;">5</span>m2
| | D ^^E vG ^A vvC D
| | D ^^E vG ^A vvC D
| | C G D A E...
| | C G D A E...
Line 1,883: Line 1,884:
In multi-EDO pergens, the 5th is present but not independent. In no-5ths pergens, the 5th is not present, and the prime subgroup doesn't contain 3.
In multi-EDO pergens, the 5th is present but not independent. In no-5ths pergens, the 5th is not present, and the prime subgroup doesn't contain 3.


In any notation, every note has a name, and no two notes have the same name. A note's representation on the musical staff follows from its name. If the notation has any enharmonics, each note has several names. Generally, every name has a note. Every possible name, and anything that can be written on on the staff, corresponds to one and only one note in the lattice formed by perchains and genchains.
In any notation, every note has a name, and no two notes have the same name. A note's representation on the musical staff follows from its name. If the notation has any EUs, each note has several names. Generally, every name has a note. Every possible name, and anything that can be written on on the staff, corresponds to one and only one note in the lattice formed by perchains and genchains.


But in non-8ve and no-5ths pergens, not every name has a note. For example, Biruyo Nowa (2.5.7 and 50/49) is (P8/2, M3) = half-8ve, major 3rd. The genchain runs C - E - G# - B# - D##... and the perchain runs C - vF# - C. There is no G or D or A note, in fact 75% of all possible note names have no actual note. 75% of all intervals don't exist. There is no perfect 5th or major 2nd. There are missing notes and missing intervals.
But in non-8ve and no-5ths pergens, not every name has a note. For example, Biruyo Nowa (2.5.7 and 50/49) is (P8/2, M3) = half-8ve, major 3rd. The genchain runs C - E - G# - B# - D##... and the perchain runs C - vF# - C. There is no G or D or A note, in fact 75% of all possible note names have no actual note. 75% of all intervals don't exist. There is no perfect 5th or major 2nd. There are missing notes and missing intervals.
Line 2,111: Line 2,112:
^A1 also bisects the P12 from C1 to G2.
^A1 also bisects the P12 from C1 to G2.


Pergen squares can be generalized to any prime subgroup by representing the notes as dots. Below are the first 32 rank-2 pergens in a completely JI-agnostic format. A is the interval of equivalence, the period of the unsplit pergen. B is the generator of the unsplit pergen. For 2.3 pergens, A = 8ve and B = 5th. The (A, (A-B)/2) square corresponds to (P8, P4/2). In the 2.5 subgroup, B = 5/4. In Bohlen-Peirce, A = 3/1 and B = 5/3. True doubles are in red. The true/false property of a pergen is independent of the prime subgroup. Imperfect multigens are in green. Imperfect is generalized to other subgroups as requiring multiples of B in the pergen.
Pergen squares can be generalized to any prime subgroup by representing the notes as dots. Below are the first 32 rank-2 pergens in a completely JI-agnostic format. A is the interval of equivalence, the period of the unsplit pergen. B is the generator of the unsplit pergen. For 2.3 pergens, A = 8ve and B = 5th. The (A, (A-B)/2) square corresponds to (P8, P4/2). In the 2.5 subgroup, B = 5/4. In Bohlen-Pierce, A = 3/1 and B = 5/3. True doubles are in red. The true/false property of a pergen is independent of the prime subgroup. Imperfect multigens are in green. Imperfect is generalized to other subgroups as requiring multiples of B in the pergen.


[[File:pergen_squares.png|alt=pergen squares.png|pergen squares.png]]
[[File:pergen_squares.png|alt=pergen squares.png|pergen squares.png]]
Line 3,026: Line 3,027:
Half-8ve in 22edo has P = vA4. But in 16edo, P = A4 + 2 edosteps, and ^1 = -2 edosteps. Negative edosteps means up is down, and should be avoided. The notation has tipped, and the period should be notated as ^A4, making ^1 = 2 edostep. Even better would be P = ^4, making ^1 = 1 edostep.
Half-8ve in 22edo has P = vA4. But in 16edo, P = A4 + 2 edosteps, and ^1 = -2 edosteps. Negative edosteps means up is down, and should be avoided. The notation has tipped, and the period should be notated as ^A4, making ^1 = 2 edostep. Even better would be P = ^4, making ^1 = 1 edostep.


Half-5th has E = vvA1, hence any EDO in which A1 = 4 edosteps will have ^1 = 2 edosteps. These "doubled EDOs" are 20, 27, 34, 41, 48, 55, etc. The "tripled EDOs" with A1 = 6 edosteps and ^1 = 3 edosteps are every 7th EDO from 30 to 72.
Half-5th has EU = vvA1, hence any EDO in which A1 = 4 edosteps will have ^1 = 2 edosteps. These "doubled EDOs" are 20, 27, 34, 41, 48, 55, etc. The "tripled EDOs" with A1 = 6 edosteps and ^1 = 3 edosteps are every 7th EDO from 30 to 72.


Half-4th has E = vvm2. Doubled EDOs have m2 = 4 edosteps. These are 23, 28, 33, 38, 43, 48, 53, etc. Tripled EDOs are every 5th one from 47 to 72.
Half-4th has EU = vvm2. Doubled EDOs have m2 = 4 edosteps. These are 23, 28, 33, 38, 43, 48, 53, etc. Tripled EDOs are every 5th one from 47 to 72.


Third-4th has E = v<sup>3</sup>A1. Doubled EDOs are the same ones as half-5th's tripled EDOs. Third-5th has E = v<sup>3</sup>m2. Doubled EDOs are the same as half-4th's tripled EDOs.
Third-4th has EU = v<sup>3</sup>A1. Doubled EDOs are the same ones as half-5th's tripled EDOs. Third-5th has EU = v<sup>3</sup>m2. Doubled EDOs are the same as half-4th's tripled EDOs.


The relationship between a pergen's up and an EDO's up when the pergen uses double-pair notation is complex. Consider half-everything, notated with ups/downs in the perchain and lifts/drops in the genchain. 10edo has ^1 = 1 edostep and /1 = 0 edosteps, thus one simply ignores lifts and drops. But for 24edo, ^1 = 0 edosteps and /1 = 1 edostep. One must ignore ups and downs and convert lifts/drops to edosteps.
The relationship between a pergen's up and an EDO's up when the pergen uses double-pair notation is complex. Consider half-everything, notated with ups/downs in the perchain and lifts/drops in the genchain. 10edo has ^1 = 1 edostep and /1 = 0 edosteps, thus one simply ignores lifts and drops. But for 24edo, ^1 = 0 edosteps and /1 = 1 edostep. One must ignore ups and downs and convert lifts/drops to edosteps.
Line 3,994: Line 3,995:
===Notation guide PDF===
===Notation guide PDF===


This PDF is a rank-2 notation guide that shows the full lattice for the first 32 pergens, up through the quarter-splits block. It also includes the single-split pergens from the fifth-split, sixth-split and seventh-split blocks. It includes alternate enharmonics for many pergens.
This PDF is a rank-2 notation guide that shows the full lattice for the first 32 pergens, up through the quarter-splits block. It also includes the single-split pergens from the fifth-split, sixth-split and seventh-split blocks. It includes alternate EUs for many pergens.


[http://tallkite.com/misc_files/notation%20guide%20for%20rank-2%20pergens.pdf '''tallkite.com/misc_files/notation guide for rank-2 pergens.pdf''']
[http://tallkite.com/misc_files/notation%20guide%20for%20rank-2%20pergens.pdf '''<big>TallKite.com/misc_files/notation guide for rank-2 pergens.pdf</big>''']


{| class="wikitable" style="text-align:center;"
{| class="wikitable" style="text-align:center;"
Line 4,002: Line 4,003:
|-
|-
! colspan="3" |unsplit
! colspan="3" |unsplit
! colspan="3"| quarter-splits
! colspan="3" |quarter-splits
! colspan="3" |single-split fifth-splits
! colspan="3" |single-split fifth-splits
! colspan="3" |single-split seventh-splits
! colspan="3" |single-split seventh-splits
|-
|-
!1
!1
| | (P8, P5)
|(P8, P5)
| | unsplit
|unsplit
| | 16
!16
|(P8/4, P5)
|(P8/4, P5)
|quarter-8ve
|quarter-8ve
Line 4,020: Line 4,021:
|-
|-
! colspan="3" |half-splits
! colspan="3" |half-splits
! | 17
!17
|(P8, P4/4)
|(P8, P4/4)
|quarter-4th
|quarter-4th
Line 4,031: Line 4,032:
|-
|-
!2
!2
| | (P8/2, P5)
|(P8/2, P5)
| | half-8ve
|half-8ve
| | 18
!18
|(P8, P5/4)
|(P8, P5/4)
|quarter-5th
|quarter-5th
Line 4,044: Line 4,045:
|-
|-
!3
!3
| | (P8, P4/2)
|(P8, P4/2)
| | half-4th
|half-4th
| | 19
!19
|(P8, P11/4)
|(P8, P11/4)
|quarter-11th
|quarter-11th
Line 4,057: Line 4,058:
|-
|-
!4
!4
| | (P8, P5/2)
|(P8, P5/2)
| | half-5th
|half-5th
| | 20
!20
|(P8, P12/4)
|(P8, P12/4)
|quarter-12th
|quarter-12th
Line 4,070: Line 4,071:
|-
|-
!5
!5
| | (P8/2, P4/2) *
|(P8/2, P4/2) *
| | half-everything *
|half-everything *
| | 21
!21
|(P8/4, P4/2) *
|(P8/4, P4/2) *
|quarter-8ve, half-4th *
|quarter-8ve, half-4th *
Line 4,083: Line 4,084:
|-
|-
! colspan="3" |third-splits
! colspan="3" |third-splits
! | 22
!22
|(P8/2, M2/4)
|(P8/2, M2/4)
|half-8ve, quarter-tone
|half-8ve, quarter-tone
Line 4,092: Line 4,093:
|-
|-
!6
!6
| | (P8/3, P5)
|(P8/3, P5)
| | third-8ve
|third-8ve
| | 23
!23
|(P8/2, P4/4) *
|(P8/2, P4/4) *
|half-8ve, quarter-4th *
|half-8ve, quarter-4th *
Line 4,105: Line 4,106:
|-
|-
!7
!7
| | (P8, P4/3)
|(P8, P4/3)
| | third-4th
|third-4th
| | 24
!24
|(P8/2, P5/4) *
|(P8/2, P5/4) *
|half-8ve, quarter-5th *
|half-8ve, quarter-5th *
Line 4,116: Line 4,117:
|-
|-
!8
!8
| | (P8, P5/3)
|(P8, P5/3)
| | third-5th
|third-5th
| | 25
!25
|(P8/4, P4/3)
|(P8/4, P4/3)
|quarter-8ve, third-4th
|quarter-8ve, third-4th
Line 4,126: Line 4,127:
|-
|-
!9
!9
| | (P8, P11/3)
|(P8, P11/3)
| | third-11th
|third-11th
| | 26
!26
|(P8/4, P5/3)
|(P8/4, P5/3)
|quarter-8ve, third-5th
|quarter-8ve, third-5th
Line 4,136: Line 4,137:
|-
|-
!10
!10
| | (P8/3, P4/2)
|(P8/3, P4/2)
| | third-8ve, half-4th
|third-8ve, half-4th
| | 27
!27
|(P8/4, P11/3)
|(P8/4, P11/3)
|quarter-8ve, third-11th
|quarter-8ve, third-11th
Line 4,146: Line 4,147:
|-
|-
!11
!11
| | (P8/3, P5/2)
|(P8/3, P5/2)
| | third-8ve, half-5th
|third-8ve, half-5th
| | 28
!28
|(P8/3, P4/4)
|(P8/3, P4/4)
|third-8ve, quarter-4th
|third-8ve, quarter-4th
Line 4,156: Line 4,157:
|-
|-
!12
!12
| | (P8/2, P4/3)
|(P8/2, P4/3)
| | half-8ve, third-4th
|half-8ve, third-4th
| | 29
!29
|(P8/3, P5/4)
|(P8/3, P5/4)
|third-8ve, quarter-5th
|third-8ve, quarter-5th
Line 4,166: Line 4,167:
|-
|-
!13
!13
| | (P8/2, P5/3)
|(P8/2, P5/3)
| | half-8ve, third-5th
|half-8ve, third-5th
| | 30
!30
|(P8/3, P11/4)
|(P8/3, P11/4)
|third-8ve, quarter-11th
|third-8ve, quarter-11th
Line 4,174: Line 4,175:
|-
|-
!14
!14
| | (P8/2, P11/3)
|(P8/2, P11/3)
| | half-8ve, third-11th
|half-8ve, third-11th
| | 31
!31
|(P8/3, P12/4)
|(P8/3, P12/4)
|third-8ve, quarter-12th
|third-8ve, quarter-12th
|-
|-
!15
!15
| | (P8/3, P4/3) *
|(P8/3, P4/3) *
| | third-everything *
|third-everything *
| | 32
!32
|(P8/4, P4/4) *
|(P8/4, P4/4) *
|quarter-everything *
|quarter-everything *
Line 4,192: Line 4,193:
[[File:pergens_2.png|alt=pergens 2.png|704x760px|pergens 2.png]]
[[File:pergens_2.png|alt=pergens 2.png|704x760px|pergens 2.png]]


===alt-pergenLister===
===PergenLister===


Alt-pergenLister lists out thousands of rank-2 pergens, and suggests periods, generators and enharmonics for each one. Alternate enharmonics are not listed, but single-pair notation for false-double pergens is. It can also list only those pergens supported by a specific edo or edo pair.
PergenLister lists out thousands of rank-2 pergens, and suggests periods, generators and enharmonic unisons for each one. Alternate EUs are not listed, but single-pair notation for false-double pergens is. It can also list only those pergens supported by a specific edo or edo pair.


http://www.tallkite.com/misc_files/alt-pergenLister.zip (written in Jesusonic, runs inside Reaper)
http://www.tallkite.com/apps/pergenLister.html (written in Jesusonic, runs inside Reaper or ReaJS)


The first section (PERGEN and Per/Gen cents) describes each pergen without regard to notational issues. The period and generator's cents are given, assuming a 5th of 700¢ + c. The generator is reduced, e.g. (P8/2, P5) has a generator of 100¢ + c, not 700¢ + c. The next two sections show a possible notation for P and G. The last section shows the unreduced pergen, and for false doubles, a possible single-pair notation. Horizontal lines group the pergens into blocks (half-splits, third-splits, etc). Red indicates problems. Generators of 50¢ or less are in red. Enharmonics of a 3rd or more are in red.
The first section (PERGEN and Per/Gen cents) describes each pergen without regard to notational issues. The period and generator's cents are given, assuming a 5th of 700¢ + c. The generator is reduced, e.g. (P8/2, P5) has a generator of 100¢ + c, not 700¢ + c. The next two sections show a possible notation for P and G. The last section shows the unreduced pergen, and for false doubles, a possible single-pair notation. Horizontal lines group the pergens into blocks (half-splits, third-splits, etc). Red indicates problems. Generators of 50¢ or less are in red. EUs of a 3rd or more are in red.


Screenshots of the first 69 pergens:
Screenshots of the first 69 pergens:
Line 4,234: Line 4,235:
==Various proofs (unfinished)==
==Various proofs (unfinished)==


Although not yet rigorously proven, the two false-double tests have been empirically verified by alt-pergenLister.
Although not yet rigorously proven, the two false-double tests have been empirically verified by pergenLister.


The interval P8/2 has a "ratio" of the square root of 2, which equals 2<span style="vertical-align: super;">1/2</span>, and its monzo can be written with fractions as (1/2, 0). In general, the pergen (P8/m, (a,b)/n) implies P = (1/m, 0) and G = (a/n, b/n). These equations make the '''pergen matrix''' [(1/m 0) (a/n b/n)], which is P and G in terms of P8 and P12. Its inverse is [(m 0) (-am/b n/b)], which is P8 and P12 in terms of P and G, i.e. the square mapping.
The interval P8/2 has a "ratio" of the square root of 2, which equals 2<span style="vertical-align: super;">1/2</span>, and its monzo can be written with fractions as (1/2, 0). In general, the pergen (P8/m, (a,b)/n) implies P = (1/m, 0) and G = (a/n, b/n). These equations make the '''pergen matrix''' [(1/m 0) (a/n b/n)], which is P and G in terms of P8 and P12. Its inverse is [(m 0) (-am/b n/b)], which is P8 and P12 in terms of P and G, i.e. the square mapping.
Line 4,317: Line 4,318:
a'·b - a·b' works out to be k·s' - k'·s, and we have GCD ((k·s' - k'·s)·m/b, b'·n/b)
a'·b - a·b' works out to be k·s' - k'·s, and we have GCD ((k·s' - k'·s)·m/b, b'·n/b)


If s is a multiple of n (happens when E is an A1) and s' is a multiple of n, let s = x·n and s' = y·n
If s is a multiple of n (happens when EU is an A1) and s' is a multiple of n, let s = x·n and s' = y·n


GCD ((k·y·n - k'·x·n)·m/b, b'·n/b) = (n/b) · GCD (x·m·(y·k - k'), b')
GCD ((k·y·n - k'·x·n)·m/b, b'·n/b) = (n/b) · GCD (x·m·(y·k - k'), b')
Line 4,355: Line 4,356:
square mapping<br />
square mapping<br />
lifts and drops (the / and \ symbols)<br />
lifts and drops (the / and \ symbols)<br />
enharmonic<br />
enharmonic unison, EU<br />
uninflected<br />
genchain<br />
genchain<br />
perchain<br />
perchain<br />
Line 4,374: Line 4,376:
upspan<br />
upspan<br />
liftspan
liftspan
chain number<br />
single-chain<br />
multi-chain<br />
arrow comma


==Miscellaneous Notes==
==Miscellaneous Notes==


<u>'''Combining pergens'''</u>
=== Combining pergens ===
 
Tempering out 250/243 creates third-4th, and 49/48 creates half-4th, and tempering out both commas creates sixth-4th. Therefore (P8, P4/3) + (P8, P4/2) = (P8, P4/6). If adding a comma to a temperament doesn't change the pergen, it's a strong extension, otherwise it's a weak extension.
Tempering out 250/243 creates third-4th, and 49/48 creates half-4th, and tempering out both commas creates sixth-4th. Therefore (P8, P4/3) + (P8, P4/2) = (P8, P4/6). If adding a comma to a temperament doesn't change the pergen, it's a strong extension, otherwise it's a weak extension.


Line 4,390: Line 4,396:
However, (P8/2, M2/4) + (P8, P4/2) = (P8/4, P4/2), so the sum isn't always obvious.
However, (P8/2, M2/4) + (P8, P4/2) = (P8/4, P4/2), so the sum isn't always obvious.


If a false double pergen can be broken down into two simpler ones, that may help with finding a double-pair notation with an enharmonic of a 2nd or less. For example, sixth-4th's single pair notation has an E of a 4th. But since sixth-4th is half-4th plus third-4th, and those two have a good E, sixth-4th can be notated with one pair from half-4th and another from third-4th.
If a false double pergen can be broken down into two simpler ones, that may help with finding a double-pair notation with an EU of a 2nd or less. For example, sixth-4th's single pair notation has an EU of a 4th. But since sixth-4th is half-4th plus third-4th, and those two have a good EU, sixth-4th can be notated with one pair from half-4th and another from third-4th.
 
<u>'''Expanding gedras'''</u>


=== Expanding gedras ===
Gedras can be expanded to 5-limit or higher by including another keyspan that is compatible with 7 and 12, such as 9 or 16. But a more useful approach is for the third number to be the comma 81/80. Thus 5/4 would be a M3 minus a comma, [4, 2, -1]. We can use 64/63 to expand to the 7-limit. For (a,b,c,d) we get [k,s,g,r]:
Gedras can be expanded to 5-limit or higher by including another keyspan that is compatible with 7 and 12, such as 9 or 16. But a more useful approach is for the third number to be the comma 81/80. Thus 5/4 would be a M3 minus a comma, [4, 2, -1]. We can use 64/63 to expand to the 7-limit. For (a,b,c,d) we get [k,s,g,r]:


Line 4,408: Line 4,413:
Gedras can also be expanded by adding an entry for ups/downs. The entry shows the '''upspan''', which is the number of ups the interval has. Downed intervals have a negative upspan. An entry for '''liftspan''' can also be added. For example, vM3 = [4,2,-1], and ^^\4 = [5,3,2,-1].
Gedras can also be expanded by adding an entry for ups/downs. The entry shows the '''upspan''', which is the number of ups the interval has. Downed intervals have a negative upspan. An entry for '''liftspan''' can also be added. For example, vM3 = [4,2,-1], and ^^\4 = [5,3,2,-1].


<u>'''Height of a pergen'''</u>
=== Height of a pergen ===
The LCM of the pergen's two splitting fractions could be called the '''height''' of the pergen. For example, (P8, P5) has height 1, and (P8/2, M2/4) has height 4. In single-pair notation, the EU's number of ups or downs is equal to the height. The <u>minimum</u> number of ups or downs needed to notate the temperament is half the height, rounded down. If the height is 4 or 5, double-ups and double-downs will be needed.


The LCM of the pergen's two splitting fractions could be called the '''height''' of the pergen. For example, (P8, P5) has height 1, and (P8/2, M2/4) has height 4. In single-pair notation, the enharmonic interval's number of ups or downs is equal to the height. The <u>minimum</u> number of ups or downs needed to notate the temperament is half the height, rounded down. If the height is 4 or 5, double-ups and double-downs will be needed.
=== Generalizing the pergen ===
See [[User:AthiTrydhen/Abstract pergens]]


<u>'''Credits'''</u>
=== Credits ===
Pergens were discovered by [[KiteGiedraitis|Kite Giedraitis]] in 2017, and developed with the help of [[Praveen Venkataramana]].


Pergens were discovered by [[KiteGiedraitis|Kite Giedraitis]] in 2017, and developed with the help of [[PraveenVenkataramana|Praveen Venkataramana]].
== Addenda (late 2023) ==
=== New terminology===
All temperaments have a '''chain number''', which is the number of fifthchains in the temperament's lattice. Any (P8, P5) temperament has a chain number of 1, and is '''single-chain'''. All other pergens are '''multi-chain'''. For example, Porcupine/Triyo has pergen (P8, P4/3) and is triple-chain. Diaschismatic/Sagugu has pergen (P8/2, P5) and is double-chain. A pergen (P8/m, M/n) has chain number m * n / f, where M is the multigen and f is the absolute value of M's [[fifthspan]]. For example (P8/2, M2/4) is quadruple-chain.
 
===The EU(s) define the pergen===
The pergen can be derived directly from the EU(s). Thus the EU(s) define both the pergen and the notation. An EU can be thought of as a comma in the 2.3.^ subgroup. One derives a mapping from this comma as one would for any 3-prime comma, and one derives the pergen by inverting the first 2 columns of the mapping.
 
For example, if the EU is vvd2, the 2.3.^ monzo is [19 -12 -2]. There are many possible mappings, but only one that gives a canonical pergen: [(2 2 7) (0 1 -6)]. Discarding the last column and inverting gives us [(1/2 0) (-1 1)] = (P8/2, P5). Another example: vvA1 = [-11 7 -2]. The mapping [(1 1 -2) (0 2 7)] reduces to [(1 1) (0 2)], which inverts to [(1 0) (-1/2 1/2)] = (P8, P5/2).
 
One can explore the universe of possible EUs, and thus possible pergen notations, more easily if using the gedra format, expressing the EU as a combination of A1's, d2's and arrows. Thus vvA1 = [1 0 -2], v<sup>3</sup>m2 = [1 1 -3], etc. Unlike a conventional 2.3.^ monzo, the first two numbers in a A1.d2.^1 monzo are fairly small, and the second number is never negative (since it's an EU). And we can require that the first two numbers be coprime (see the next section). All this facilitates one's search.
 
===Simplifying a "squared" EU===
Consider an uninflected EU of AA1. AA1 is "squared" in the sense that AA1 = A1 + A1, thus both numbers in its ratio are square numbers. If it had an even upspan (the number of ups), it would obviously be an invalid EU, for if v<sup>4</sup>AA1 = 0¢, then so does vvA1, and v<sup>4</sup>AA1 could be replaced with vvA1. So the upspan must be odd.
 
Consider an EU of v<sup>3</sup>AA1. The pergen is (P8, P4/3). Here are the [[twin squares]].
 
<math>
\begin{array} {rrr}
\text{P8} \\
\text{^m2} \\
\text{vvvAA1} \\
\end{array}
\left[ \begin{array} {rrr}
1 & 0 & {\color {Green}0} \\
8 & -5 & {\color {Green}1} \\
\hline
{\color {Red}-22} & {\color {Red}14} & -3 \\
\end{array} \right]
\longleftrightarrow
\left[ \begin{array} {rrr}
1 & 2 & {\color {Red}2} \\
0 & -3 & {\color {Red}-14} \\
\hline
{\color {Green}0} & {\color {Green}-1} & -5 \\
\end{array} \right]
</math>
 
The two red numbers in the lower left are both even, because AA1 is a squared ratio. As a result, the two red numbers in the upper right must both be even to ensure their rows' dot products with the EU are zero, which is an even number. If we halve all the red numbers and double all the green numbers, all the various row dot products will be unchanged, and the twin squares will remain valid:
 
<math>
\begin{array} {rrr}
\text{P8} \\
\text{^^m2} \\
\text{vvvA1} \\
\end{array}
\left[ \begin{array} {rrr}
1 & 0 & {\color {Green}0} \\
8 & -5 & {\color {Green}2} \\
\hline
{\color {Red}-11} & {\color {Red}7} & -3 \\
\end{array} \right]
\longleftrightarrow
\left[ \begin{array} {rrr}
1 & 2 & {\color {Red}1} \\
0 & -3 & {\color {Red}-7} \\
\hline
{\color {Green}0} & {\color {Green}-2} & -5 \\
\end{array} \right]
</math>
 
But while the EU has become simpler, the generator has become more complex in that it is dup not up. This is remedied by adding the EU to it. Changes are in red:
 
<math>
\begin{array} {rrr}
\text{P8} \\
\text{vM2} \\
\text{vvvA1} \\
\end{array}
\left[ \begin{array} {rrr}
1 & 0 & 0 \\
{\color {Red}-3} & {\color {Red}2} & {\color {Red}-1} \\
\hline
-11 & 7 & -3 \\
\end{array} \right]
\longleftrightarrow
\left[ \begin{array} {rrr}
1 & 2 & 1 \\
0 & -3 & -7 \\
\hline
{\color {Red}0} & {\color {Red}1} & {\color {Red}2} \\
\end{array} \right]
</math>
 
Following this procedure, it's always possible to simplify a squared (or cubed, etc.) EU.
 
===Arrow commas===
The '''[[arrow]] comma''' is the ratio that equals the up [[arrow]]. This term overlaps a lot with the term mapping comma, but it isn't quite identical to it. For 5-limit temperaments the arrow comma is almost always 81/80, and for 7-limit it's almost always 64/63. But other commas can occur.
 
Consider Triyo/Porcupine which is (P8, P4/3). The vanishing comma or '''VC''' is 250/243, which has a 2.3.5 monzo of [2 -5 3]. The EU is v<sup>3</sup>A1, which has a 2.3.^ monzo of [-11 7 -3]. The arrow comma or '''AC''' equals an up, therefore it vanishes when downed. The downed AC (or '''vAC''') can be expressed as a 2.3.5.^ monzo. For Triyo/Porcupine with an EU of v<sup>3</sup>A1, the vAC is v(81/80) or [-4 4 -1 -1].
 
===The three commas ===
Thus when we consider a single-comma temperament along with its notation, there are <u>three</u> commas of interest, the VC, the vAC and the EU. In a 5-limit rank-2 temperament, they can all be expressed as 2.3.5.^ monzos.
 
Any two of these 3 commas determines the third comma. Thus we can approach temperaments and notations from 6 different angles. We can start with any one of these three commas and give it a specific monzo. Then we can choose one of the other two commas, experiment with a variety of specific monzos and examine the results. Let's start with specifying the VC, experimenting with the vAC and seeing what the EU turns out to be.
 
The EU always equals the VC (possibly inverted) plus or minus some number of vAC's. That number is whatever is needed to eliminate the higher prime. The VC must be inverted if the resulting EU would otherwise have a negative stepspan, or is a diminished unison.
 
In our Triyo example, 250/243 plus 3 downed syntonic commas = v<sup>3</sup>A1. As 2.3.5.^ monzos, we have [1 -5 3 0] + 3·[-4 4 -1 -1] = [-11 7 0 -3]. Note the zeros. The VC always has a zero arrow-count and the EU always has a zero prime-5-count.
 
Visualizing the three commas in the lattice, one starts at the VC and heads towards the row of 3-limit intervals via the vAC. Wherever one lands is the uninflected EU. One can try other AC's besides 81/80. The AC's prime-5-count must be ±1, so [[135/128|Layobi]] (135/128) or [[Schisma|Layo]] (the schisma) are possibilities. But either of these would lead to a very remote EU (v<sup>3</sup>AA1 and v<sup>3</sup>d<sup>4</sup>4 respectively), making a very awkward notation.
 
Next let's specify the AC, experiment with the VC and see what the EU turns out to be. For 5-limit temperaments, one can require that the AC always be 81/80, and derive the EU (and thus the notation) from the VC. For example, Sagugu/Diaschismic has VC = [11 -4 -2 0]. Subtracting two vAC's makes [19 -12 0 2] = ^^d2. This is in fact the recommended EU for (P8/2, P5).
 
More examples: Laquinyo/Magic is (P8, P12/5) and has VC = [-10 -1 5 0]. Adding five vAC's makes [-30 19 0 -5]. This appears to be a AA7 but is actually a negative 2nd. We invert to get [30 -19 0 5] = ^<sup>5</sup>dd2. Gugu/Bug has VC = 27/25 = [0 3 -2 0]. Subtracting two vAC's makes [8 -5 0 2] = ^^m2. Again, this is the recommended EU.
 
Let's try a 7-limit temperament with the obvious vAC of 64/63 = [6 -2 -1 -1]. Zozo/Semaphore has VC = 49/48 = [-4 -1 2 0]. Adding two vAC's makes [8 -5 0 -2] = vvm2.{{todo|complete section|comment=apply to multi-comma temperaments|inline=1}}
 
== Addenda (late 2024) ==
 
=== Chord names ===
When naming chords, it's very convenient to have the freedom to rename an aug 4th as a dim 5th, or a minor 10th as an aug ninth. Thus for some pergens, an extra pair of accidentals is used. Some examples:
 
* [[Chords of meantone]] (P8, P5) (^1 = -d2 = pythagorean comma)
* [[Chords of diaschismic]] (P8/2, P5)
* [[Chords of hemififths]] (P8, P5/2) (/1 = vm2 = ~81/80 = ~64/63)
* [[Chords of porcupine]] (P8, P4/3)
* [[Chords of magic]] (P8, P12/5) (/1 = ^^d2)
 
=== Frequency of imperfect pergens ===
Imperfect pergens occur when there are multiple genchains (i.e. the octave is split), and the fifth is on a different genchain than the tonic, and also on a different perchain. How often do they occur? In order to answer that, we need to survey all pergens in order. But the question of how to do that depends on how they are sorted. The pergenLister app sorts them by the size of the larger denominator. Using this order, pergenLister finds about 4% of all pergens are imperfect. But they can also be sorted by their canonical mappings  [(a b) (0 c)]. If sorted by a (octave fraction), and then by |c| (perfect multigen's fraction), more complex pergens appear sooner, and the percentage rises to about 25%.
 
This table lists all pergens with an unsplit octave up to the fifth-splits. In each column, the pergens are sorted by the size of the generator. The generator is listed followed by a, b and c from its mapping. All pergens with an unsplit octave are perfect.
{| class="wikitable"
|+Pergens of the form (P8, x), showing generator and mapping (a = 1)
!unsplit
!half-splits
!third-splits
!quarter-splits
!fifth-splits
!sixth-splits
|-
!c = ±1
!c = ±2
!c = ±3
!c = ±4
!c = ±5
!c = ±6
|-
|P5 (1 1 1)
|P4/2 (1 2 -2)
|P4/3 (1 2 -3)
|P4/4 (1 2 -4)
|P4/5 (1 2 -5)
|P4/6 (1 2 -6)
|-
|
|P5/2 (1 1 2)
|P5/3 (1 1 3)
|P5/4 (1 1 4)
|P5/5 (1 1 5)
|P5/6 (1 1 6)
|-
|
|
|P11/3 (1 3 -3)
|P11/4 (1 3 -4)
|P11/5 (1 3 -5)
|P11/6 (1 3 -6)
|-
|
|
|
|P12/4 (1 0 4)
|P12/5 (1 0 5)
|P12/6 (1 0 6)
|-
|
|
|
|
|ccP4/5 (1 4 -5)
|ccP4/6 (1 4 -6)
|-
|
|
|
|
|
|ccP5/6 (1 -1 6)
|}
Of all the half-octave pergens, half of every other column (i.e. 25%) are imperfect. Imperfect pergens occur whenever b is not a multiple of a.
{| class="wikitable"
|+Pergens of the form (P8/2, x), showing generator and mapping (a = 2)
!c = ±1
!c = ±2
!c = ±3
!c = ±4
!c = ±5
!c = ±6
|-
|P5 (2 2 1)
|'''M2/4 (2 3 2)'''
|P4/3 (2 4 -3)
|'''M2/8 (2 3 4)'''
|P4/5 (2 4 -5)
|'''M2/12 (2 3 6)'''
|-
|
|P4/2 (2 4 -2)
|P5/3 (2 2 3)
|P4/4 (2 4 -4)
|P5/5 (2 2 5)
|P4/6 (2 4 -6)
|-
|
|
|P11/3 (2 6 -3)
|P5/4 (2 2 4)
|P11/5 (2 6 -5)
|P5/6 (2 2 6)
|-
|
|
|
|'''cm7/8 (2 5 -4)'''
|P12/5 (2 0 5)
|P11/6 (2 6 -6)
|-
|
|
|
|
|ccP4/5 (2 8 -5)
|'''cm7/12 (2 5 -6)'''
|-
|
|
|
|
|
|'''cM9/12 (2 1 6)'''
|}
Note that some of these pergens, when put in mingen form, become imperfect. For example, (P8/2, P11/3) becomes (P8/2, M2/6). Also note that for many of these pergens, the generators are comma-sized, and MOS scales will either be very "hard" (L/s very large) or else will contain very many notes per octave. For example, to bring the L/s ratio down to about 5, (P8/2, M2/4) needs a 16 note scale, and (P8/2, P11/3) needs a 28 note scale!
 
Of all the third-octave pergens, two-thirds of every third column (2/9 or 22%) are imperfect:
{| class="wikitable"
|+Pergens of the form (P8/3, x), showing generator and mapping (a = 3)
!c = ±1
!c = ±2
!c = ±3
!c = ±4
!c = ±5
!c = ±6
|-
|P5 (3 3 1)
|P4/2 (3 6 -2)
|'''m3/9 (3 5 -3)'''
|P4/4 (3 6 -4)
|P4/5 (3 6 -5)
|'''m3/18 (3 5 -6)'''
|-
|
|P5/2 (3 3 2)
|'''M6/9 (3 4 3)'''
|P5/4 (3 3 4)
|P5/5 (3 3 5)
|'''M6/18 (3 4 6)'''
|-
|
|
|P4/3 (3 6 -3)
|P11/4 (3 9 -4)
|P11/5 (3 9 -5)
|P4/6 (3 6 -6)
|-
|
|
|
|P12/4 (3 0 4)
|P12/5 (5 0 5)
|P5/6 (3 3 6)
|-
|
|
|
|
|ccP4/5 (3 12 -5)
|'''ccm3/18 (3 7 -6)'''
|-
|
|
|
|
|
|'''ccM6/18 (3 2 6)'''
|}
Of all the quarter-octave pergens, imperfection occurs in half of every 4th column and 3/4 of every 4th column (5/16 or 31.25%).
{| class="wikitable"
|+Pergens of the form (P8/4, x), showing generator and mapping (a = 4)
!c = ±1
!c = ±2
!c = ±3
!c = ±4
!c = ±5
!c = ±6
!c = ±7
!c = ±8
|-
|P5 (4 4 1)
|'''m6/8 (4 7 -2)'''
|P4/3 (4 8 -3)
|'''M2/8 (4 6 4)'''
|P4/5 (4 8 -5)
|P4/6 (4 8 -6)
|P4/7 (4 8 -7)
|'''M2/16 (4 6 8)'''
|-
|
|P4/2 (4 8 -2)
|P5/3 (4 4 3)
|'''m6/16 (4 7 -4)'''
|P5/5 (4 4 5)
|P5/6 (4 4 6)
|P5/7 (4 4 7)
|'''m6/32 (4 7 -8)'''
|-
|
|
|P11/3 (4 12 -3)
|'''M10/16 (4 5 4)'''
|P11/5 (4 12 -5)
|P11/6 (4 12 -6)
|P11/7 (4 12 -7)
|'''M10/32 (4 5 8)'''
|-
|
|
|
|P4/4 (4 8 -4)
|P12/5 (4 0 5)
|'''m6/24 (4 7 -6)'''
|P12/7 (4 0 7)
|P4/8 (4 8 -8)
|-
|
|
|
|
|ccP4/5 (4 16 -5)
|'''M10/24 (4 5 6)'''
|ccP4/7 (4 16 -7)
|P5/8 (4 4 8)
|-
|
|
|
|
|
|'''ccm6/24 (4 9 -6)'''
|ccP5/7 (4 -4 7)
|'''ccm6/32 (4 9 -8)'''
|-
|
|
|
|
|
|
|c<sup>3</sup>P4/7 (4 20 -7)
|'''cm7/16 (4 10 -8)'''
|-
|
|
|
|
|
|
|
|'''c<sup>3</sup>M3/32 (4 3 8)'''
|}
Percentage of imperfect pergens in each category:
{| class="wikitable"
|+
!(P8, x)
!(P8/2, x)
!(P8/3, x)
!(P8/4, x)
!(P8/5, x)
!(P8/6, x)
!(P8/7, x)
|-
|none
|1/4
|2/9
|5/16
|4/25
|5/12
|6/49
|-
|0%
|25%
|22.22%
|31.25%
|16%
|41.67%
|12.24%
|}
[[Category:Regular temperament theory]]
[[Category:Notation]]
[[Category:Pages with proofs]]