Kite's thoughts on pergens: Difference between revisions
Wikispaces>TallKite **Imported revision 626690883 - Original comment: ** |
Wikispaces>TallKite **Imported revision 626694485 - Original comment: ** |
||
Line 1: | Line 1: | ||
<h2>IMPORTED REVISION FROM WIKISPACES</h2> | <h2>IMPORTED REVISION FROM WIKISPACES</h2> | ||
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | ||
: This revision was by author [[User:TallKite|TallKite]] and made on <tt>2018-02-21 | : This revision was by author [[User:TallKite|TallKite]] and made on <tt>2018-02-21 03:55:19 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>626694485</tt>.<br> | ||
: The revision comment was: <tt></tt><br> | : The revision comment was: <tt></tt><br> | ||
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | ||
Line 315: | Line 315: | ||
So far, the largest multigen has been a 12th. As the multigen fractions get bigger, the multigen can get quite large. To avoid cumbersome degree names like 16th or 22nd, for degrees above 12, widening by an 8ve is indicated by "W". Thus 10/3 = WM6 = wide major 6th, 9/2 = WWM2 or WM9, etc. For (P8, M/n), valid multigens are any voicing of the fifth that is less than n/2 octaves. For (P8, M/6), M can be P4, P5, P11, P12, WWP4 or WWP5. | So far, the largest multigen has been a 12th. As the multigen fractions get bigger, the multigen can get quite large. To avoid cumbersome degree names like 16th or 22nd, for degrees above 12, widening by an 8ve is indicated by "W". Thus 10/3 = WM6 = wide major 6th, 9/2 = WWM2 or WM9, etc. For (P8, M/n), valid multigens are any voicing of the fifth that is less than n/2 octaves. For (P8, M/6), M can be P4, P5, P11, P12, WWP4 or WWP5. | ||
==Secondary splits | ==Secondary splits== | ||
Besides the octave and/or multigen, a pergen splits many other 3-limit intervals as well. The composer can use these secondary splits to create melodies with equal-sized steps. For example, third-4th (porcupine) splits intervals other than the 4th into three parts. Of course, many 3-limit intervals split into three parts even when untempered, e.g. A4 = 3·M2. The interval's monzo (a,b) must have both a and b divisible by 3. The third-4th pergen furthermore splits any interval which is the sum or difference of the 4th and the triple 8ve WWP8. Stacking 4ths gives these intervals: P4, m7, m10, Wm6, Wm9... The last two are too large to be of any use melodically. Subtracting 4ths from the triple 8ve gives WWP8, WWP5, WM9, WM6, M10, M7, A4... The first four are too large, this leaves us with: | Besides the octave and/or multigen, a pergen splits many other 3-limit intervals as well. The composer can use these secondary splits to create melodies with equal-sized steps. For example, third-4th (porcupine) splits intervals other than the 4th into three parts. Of course, many 3-limit intervals split into three parts even when untempered, e.g. A4 = 3·M2. The interval's monzo (a,b) must have both a and b divisible by 3. The third-4th pergen furthermore splits any interval which is the sum or difference of the 4th and the triple 8ve WWP8. Stacking 4ths gives these intervals: P4, m7, m10, Wm6, Wm9... The last two are too large to be of any use melodically. Subtracting 4ths from the triple 8ve gives WWP8, WWP5, WM9, WM6, M10, M7, A4... The first four are too large, this leaves us with: | ||
Line 335: | Line 335: | ||
More remote intervals include A1, d4, d7 and d10. These require a very long genchain. The most interesting melodically is A1: C - C^ - C#v - C#. From C to C# is 7 5ths, which equals 21 generators, so the genchain would contain 22 notes if it had no gaps. | More remote intervals include A1, d4, d7 and d10. These require a very long genchain. The most interesting melodically is A1: C - C^ - C#v - C#. From C to C# is 7 5ths, which equals 21 generators, so the genchain would contain 22 notes if it had no gaps. | ||
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 below). If n = 1, we have GCD (a'·m, b'). | |||
(a'·b - a·b') | |||
b | |||
( | |||
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 occuring splits are listed too, under "all pergens". | 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 occuring splits are listed too, under "all pergens". | ||
Line 876: | Line 854: | ||
Let p = m/rb and q = n/rb, where p and q are coprime integers, nonzero but possibly negative. Then P8 = m·P = prb·P = r·(pb·P), and P8 splits into (at least) r parts. Furthermore, P12 = (-am/b)P + (n/b)G = -apr·P + qr·G = r·(-ap·P + q·G), and P12 also splits into at least r parts. Thus every 3-limit interval splits into at least r parts. | Let p = m/rb and q = n/rb, where p and q are coprime integers, nonzero but possibly negative. Then P8 = m·P = prb·P = r·(pb·P), and P8 splits into (at least) r parts. Furthermore, P12 = (-am/b)P + (n/b)G = -apr·P + qr·G = r·(-ap·P + q·G), and P12 also splits into at least r parts. Thus every 3-limit interval splits into at least r parts. | ||
Given a pergen (P8/m, (a,b)/n), how many parts is an arbitrary interval (a',b') split into? | |||
(a',b') = (a'·b, b'·b) / b = (a'·b - a·b', 0) / b + (a·b', b'·b) / b = (a'·b - a·b')·P8 / b + b'·(a,b) / b = (a'·b - a·b')·(m/b)·P + b'·(n/b)·G | |||
Therefore (a',b') is split into GCD (a'·b - a·b')·(m/b), b'·(n/b)) parts. | |||
If m = 1, then b = ±1, and we have GCD (a' ± a·b', ±b'·n) | |||
If n = 1, then a = -1 and b = 1, and we have GCD (a'·m + b'·m, b') = GCD (a'·m, b') | |||
If m = 1 and n = 1, we have GCD (a', b') = the "normal" split. | |||
=========== false starts ================== | |||
Assume it's a false double, and there's a comma (u,v,w) that splits both P8 and (a,b) appropriately | Assume it's a false double, and there's a comma (u,v,w) that splits both P8 and (a,b) appropriately | ||
Line 885: | Line 872: | ||
Given an arbitrary x and y, GCD (x + k"u, y + k"v, k"w) >= r for some k | Given an arbitrary x and y, GCD (x + k"u, y + k"v, k"w) >= r for some k | ||
Assume GCD (x,y) = 1 | Assume GCD (x,y) = 1 | ||
To prove: if r = 1, it's a false double, and (a,b)/n splits P8 into b parts | To prove: if r = 1, it's a false double, and (a,b)/n splits P8 into b parts | ||
Line 938: | Line 924: | ||
Therefore P8 is split into m periods | Therefore P8 is split into m periods | ||
Therefore if m = |b|, the pergen is explicitly false | Therefore if m = |b|, the pergen is explicitly false | ||
To prove: true/false test | To prove: true/false test | ||
Line 1,003: | Line 991: | ||
<h4>Original HTML content:</h4> | <h4>Original HTML content:</h4> | ||
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html"><html><head><title>pergen</title></head><body><!-- ws:start:WikiTextHeadingRule:57:&lt;h1&gt; --><h1 id="toc0"><!-- ws:end:WikiTextHeadingRule:57 --> </h1> | <div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html"><html><head><title>pergen</title></head><body><!-- ws:start:WikiTextHeadingRule:57:&lt;h1&gt; --><h1 id="toc0"><!-- ws:end:WikiTextHeadingRule:57 --> </h1> | ||
<!-- ws:start:WikiTextTocRule: | <!-- ws:start:WikiTextTocRule:113:&lt;img id=&quot;wikitext@@toc@@normal&quot; class=&quot;WikiMedia WikiMediaToc&quot; title=&quot;Table of Contents&quot; src=&quot;/site/embedthumbnail/toc/normal?w=225&amp;h=100&quot;/&gt; --><div id="toc"><h1 class="nopad">Table of Contents</h1><!-- ws:end:WikiTextTocRule:113 --><!-- ws:start:WikiTextTocRule:114: --><div style="margin-left: 1em;"><a href="#toc0"> </a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:114 --><!-- ws:start:WikiTextTocRule:115: --><div style="margin-left: 1em;"><a href="#Definition">Definition</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:115 --><!-- ws:start:WikiTextTocRule:116: --><div style="margin-left: 1em;"><a href="#Derivation">Derivation</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:116 --><!-- ws:start:WikiTextTocRule:117: --><div style="margin-left: 1em;"><a href="#Applications">Applications</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:117 --><!-- ws:start:WikiTextTocRule:118: --><div style="margin-left: 2em;"><a href="#Applications-Tipping points">Tipping points</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:118 --><!-- ws:start:WikiTextTocRule:119: --><div style="margin-left: 1em;"><a href="#Further Discussion">Further Discussion</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:119 --><!-- ws:start:WikiTextTocRule:120: --><div style="margin-left: 2em;"><a href="#Further Discussion-Naming very large intervals">Naming very large intervals</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:120 --><!-- ws:start:WikiTextTocRule:121: --><div style="margin-left: 2em;"><a href="#Further Discussion-Secondary splits">Secondary splits</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:121 --><!-- ws:start:WikiTextTocRule:122: --><div style="margin-left: 2em;"><a href="#Further Discussion-Singles and doubles">Singles and doubles</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:122 --><!-- ws:start:WikiTextTocRule:123: --><div style="margin-left: 2em;"><a href="#Further Discussion-Finding an example temperament">Finding an example temperament</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:123 --><!-- ws:start:WikiTextTocRule:124: --><div style="margin-left: 2em;"><a href="#Further Discussion-Ratio and cents of the accidentals">Ratio and cents of the accidentals</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:124 --><!-- ws:start:WikiTextTocRule:125: --><div style="margin-left: 2em;"><a href="#Further Discussion-Finding a notation for a pergen">Finding a notation for a pergen</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:125 --><!-- ws:start:WikiTextTocRule:126: --><div style="margin-left: 2em;"><a href="#Further Discussion-Alternate enharmonics">Alternate enharmonics</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:126 --><!-- ws:start:WikiTextTocRule:127: --><div style="margin-left: 2em;"><a href="#Further Discussion-Chord names and scale names">Chord names and scale names</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:127 --><!-- ws:start:WikiTextTocRule:128: --><div style="margin-left: 2em;"><a href="#Further Discussion-Tipping points and sweet spots">Tipping points and sweet spots</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:128 --><!-- ws:start:WikiTextTocRule:129: --><div style="margin-left: 2em;"><a href="#Further Discussion-Notating unsplit pergens">Notating unsplit pergens</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:129 --><!-- ws:start:WikiTextTocRule:130: --><div style="margin-left: 2em;"><a href="#Further Discussion-Notating rank-3 pergens">Notating rank-3 pergens</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:130 --><!-- ws:start:WikiTextTocRule:131: --><div style="margin-left: 2em;"><a href="#Further Discussion-Notating Blackwood-like pergens*">Notating Blackwood-like pergens*</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:131 --><!-- ws:start:WikiTextTocRule:132: --><div style="margin-left: 2em;"><a href="#Further Discussion-Notating tunings with an arbitrary generator">Notating tunings with an arbitrary generator</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:132 --><!-- ws:start:WikiTextTocRule:133: --><div style="margin-left: 2em;"><a href="#Further Discussion-Pergens and MOS scales">Pergens and MOS scales</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:133 --><!-- ws:start:WikiTextTocRule:134: --><div style="margin-left: 2em;"><a href="#Further Discussion-Pergens and EDOs">Pergens and EDOs</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:134 --><!-- ws:start:WikiTextTocRule:135: --><div style="margin-left: 2em;"><a href="#Further Discussion-Supplemental materials*">Supplemental materials*</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:135 --><!-- ws:start:WikiTextTocRule:136: --><div style="margin-left: 3em;"><a href="#Further Discussion-Supplemental materials*-Notaion guide PDF">Notaion guide PDF</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:136 --><!-- ws:start:WikiTextTocRule:137: --><div style="margin-left: 3em;"><a href="#Further Discussion-Supplemental materials*-Pergen squares pic">Pergen squares pic</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:137 --><!-- ws:start:WikiTextTocRule:138: --><div style="margin-left: 3em;"><a href="#Further Discussion-Supplemental materials*-pergenLister app">pergenLister app</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:138 --><!-- ws:start:WikiTextTocRule:139: --><div style="margin-left: 2em;"><a href="#Further Discussion-Various proofs (unfinished)">Various proofs (unfinished)</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:139 --><!-- ws:start:WikiTextTocRule:140: --><div style="margin-left: 6em;"><a href="#Further Discussion-Various proofs (unfinished)----===== false starts ============">===== false starts ============</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:140 --><!-- ws:start:WikiTextTocRule:141: --><div style="margin-left: 2em;"><a href="#Further Discussion-Miscellaneous Notes">Miscellaneous Notes</a></div> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:141 --><!-- ws:start:WikiTextTocRule:142: --></div> | ||
<!-- ws:end:WikiTextTocRule:142 --><!-- ws:start:WikiTextHeadingRule:59:&lt;h1&gt; --><h1 id="toc1"><a name="Definition"></a><!-- ws:end:WikiTextHeadingRule:59 --><u><strong>Definition</strong></u></h1> | |||
<br /> | <br /> | ||
<br /> | <br /> | ||
Line 2,524: | Line 2,513: | ||
So far, the largest multigen has been a 12th. As the multigen fractions get bigger, the multigen can get quite large. To avoid cumbersome degree names like 16th or 22nd, for degrees above 12, widening by an 8ve is indicated by &quot;W&quot;. Thus 10/3 = WM6 = wide major 6th, 9/2 = WWM2 or WM9, etc. For (P8, M/n), valid multigens are any voicing of the fifth that is less than n/2 octaves. For (P8, M/6), M can be P4, P5, P11, P12, WWP4 or WWP5.<br /> | So far, the largest multigen has been a 12th. As the multigen fractions get bigger, the multigen can get quite large. To avoid cumbersome degree names like 16th or 22nd, for degrees above 12, widening by an 8ve is indicated by &quot;W&quot;. Thus 10/3 = WM6 = wide major 6th, 9/2 = WWM2 or WM9, etc. For (P8, M/n), valid multigens are any voicing of the fifth that is less than n/2 octaves. For (P8, M/6), M can be P4, P5, P11, P12, WWP4 or WWP5.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:71:&lt;h2&gt; --><h2 id="toc7"><a name="Further Discussion-Secondary splits | <!-- ws:start:WikiTextHeadingRule:71:&lt;h2&gt; --><h2 id="toc7"><a name="Further Discussion-Secondary splits"></a><!-- ws:end:WikiTextHeadingRule:71 -->Secondary splits</h2> | ||
<br /> | <br /> | ||
Besides the octave and/or multigen, a pergen splits many other 3-limit intervals as well. The composer can use these secondary splits to create melodies with equal-sized steps. For example, third-4th (porcupine) splits intervals other than the 4th into three parts. Of course, many 3-limit intervals split into three parts even when untempered, e.g. A4 = 3·M2. The interval's monzo (a,b) must have both a and b divisible by 3. The third-4th pergen furthermore splits any interval which is the sum or difference of the 4th and the triple 8ve WWP8. Stacking 4ths gives these intervals: P4, m7, m10, Wm6, Wm9... The last two are too large to be of any use melodically. Subtracting 4ths from the triple 8ve gives WWP8, WWP5, WM9, WM6, M10, M7, A4... The first four are too large, this leaves us with:<br /> | Besides the octave and/or multigen, a pergen splits many other 3-limit intervals as well. The composer can use these secondary splits to create melodies with equal-sized steps. For example, third-4th (porcupine) splits intervals other than the 4th into three parts. Of course, many 3-limit intervals split into three parts even when untempered, e.g. A4 = 3·M2. The interval's monzo (a,b) must have both a and b divisible by 3. The third-4th pergen furthermore splits any interval which is the sum or difference of the 4th and the triple 8ve WWP8. Stacking 4ths gives these intervals: P4, m7, m10, Wm6, Wm9... The last two are too large to be of any use melodically. Subtracting 4ths from the triple 8ve gives WWP8, WWP5, WM9, WM6, M10, M7, A4... The first four are too large, this leaves us with:<br /> | ||
Line 2,544: | Line 2,533: | ||
More remote intervals include A1, d4, d7 and d10. These require a very long genchain. The most interesting melodically is A1: C - C^ - C#v - C#. From C to C# is 7 5ths, which equals 21 generators, so the genchain would contain 22 notes if it had no gaps.<br /> | More remote intervals include A1, d4, d7 and d10. These require a very long genchain. The most interesting melodically is A1: C - C^ - C#v - C#. From C to C# is 7 5ths, which equals 21 generators, so the genchain would contain 22 notes if it had no gaps.<br /> | ||
<br /> | <br /> | ||
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 below). If n = 1, we have GCD (a'·m, b').<br /> | |||
( | |||
a'·b - a·b' | |||
b | |||
( | |||
<br /> | |||
<br /> | <br /> | ||
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 occuring splits are listed too, under &quot;all pergens&quot;.<br /> | 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 occuring splits are listed too, under &quot;all pergens&quot;.<br /> | ||
Line 5,631: | Line 5,598: | ||
<br /> | <br /> | ||
This PDF is a rank-2 notation guide that shows the full lattice for the first 15 pergens, up through the third-splits block. It includes alternate enharmonics for many pergens.<br /> | This PDF is a rank-2 notation guide that shows the full lattice for the first 15 pergens, up through the third-splits block. It includes alternate enharmonics for many pergens.<br /> | ||
<!-- ws:start:WikiTextUrlRule: | <!-- ws:start:WikiTextUrlRule:7021:http://www.tallkite.com/misc_files/pergens.pdf --><a class="wiki_link_ext" href="http://www.tallkite.com/misc_files/pergens.pdf" rel="nofollow">http://www.tallkite.com/misc_files/pergens.pdf</a><!-- ws:end:WikiTextUrlRule:7021 --><br /> | ||
(screenshot)<br /> | (screenshot)<br /> | ||
<br /> | <br /> | ||
Line 5,641: | Line 5,608: | ||
<br /> | <br /> | ||
Alt-pergenLister lists out thousands of 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. Written in Jesusonic, runs inside Reaper.<br /> | Alt-pergenLister lists out thousands of 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. Written in Jesusonic, runs inside Reaper.<br /> | ||
<!-- ws:start:WikiTextUrlRule: | <!-- ws:start:WikiTextUrlRule:7022:http://www.tallkite.com/misc_files/alt-pergenLister.zip --><a class="wiki_link_ext" href="http://www.tallkite.com/misc_files/alt-pergenLister.zip" rel="nofollow">http://www.tallkite.com/misc_files/alt-pergenLister.zip</a><!-- ws:end:WikiTextUrlRule:7022 --><br /> | ||
<br /> | <br /> | ||
Screenshot of the first 38 pergens:<br /> | Screenshot of the first 38 pergens:<br /> | ||
<!-- ws:start:WikiTextLocalImageRule: | <!-- ws:start:WikiTextLocalImageRule:4219:&lt;img src=&quot;/file/view/alt-pergenLister.png/624838213/704x460/alt-pergenLister.png&quot; alt=&quot;&quot; title=&quot;&quot; style=&quot;height: 460px; width: 704px;&quot; /&gt; --><img src="/file/view/alt-pergenLister.png/624838213/704x460/alt-pergenLister.png" alt="alt-pergenLister.png" title="alt-pergenLister.png" style="height: 460px; width: 704px;" /><!-- ws:end:WikiTextLocalImageRule:4219 --><br /> | ||
<br /> | <br /> | ||
Listing all valid pergens is not a trivial task, like listing all valid edos or all valid MOS scales. Not all combinations of octave fractions and multigen fractions make a valid pergen. The search for rank-2 pergens can be done by looping through all possible square mappings [(x, y), (0, z)], and using the formula (P8/x, (i·z - y, x) / xz). While x is always positive and z is always nonzero, y can take on any value. For any x and z, y can be constrained to produce a reasonable cents value for 3/1. Let T be the tempered twefth 3/1. The mapping says T = y·P + z·G = y·P8/x + z·G. Thus y = x·(T/P8 - z·G/P8). We adopt the convention that G is less than half an octave. We constrain T so that the 5th is between 600¢ and 800¢, which certainly includes anything that sounds like a 5th. Thus T is between 3/2 and 5/3 of an octave. We assume that if the octave is stretched, the ranges of T and G will be stretched along with it. The outer ranges of y can now be computed, using the floor function to round down to the nearest integer, and the ceiling function to round up:<br /> | Listing all valid pergens is not a trivial task, like listing all valid edos or all valid MOS scales. Not all combinations of octave fractions and multigen fractions make a valid pergen. The search for rank-2 pergens can be done by looping through all possible square mappings [(x, y), (0, z)], and using the formula (P8/x, (i·z - y, x) / xz). While x is always positive and z is always nonzero, y can take on any value. For any x and z, y can be constrained to produce a reasonable cents value for 3/1. Let T be the tempered twefth 3/1. The mapping says T = y·P + z·G = y·P8/x + z·G. Thus y = x·(T/P8 - z·G/P8). We adopt the convention that G is less than half an octave. We constrain T so that the 5th is between 600¢ and 800¢, which certainly includes anything that sounds like a 5th. Thus T is between 3/2 and 5/3 of an octave. We assume that if the octave is stretched, the ranges of T and G will be stretched along with it. The outer ranges of y can now be computed, using the floor function to round down to the nearest integer, and the ceiling function to round up:<br /> | ||
Line 5,665: | Line 5,632: | ||
<br /> | <br /> | ||
Let p = m/rb and q = n/rb, where p and q are coprime integers, nonzero but possibly negative. Then P8 = m·P = prb·P = r·(pb·P), and P8 splits into (at least) r parts. Furthermore, P12 = (-am/b)P + (n/b)G = -apr·P + qr·G = r·(-ap·P + q·G), and P12 also splits into at least r parts. Thus every 3-limit interval splits into at least r parts.<br /> | Let p = m/rb and q = n/rb, where p and q are coprime integers, nonzero but possibly negative. Then P8 = m·P = prb·P = r·(pb·P), and P8 splits into (at least) r parts. Furthermore, P12 = (-am/b)P + (n/b)G = -apr·P + qr·G = r·(-ap·P + q·G), and P12 also splits into at least r parts. Thus every 3-limit interval splits into at least r parts.<br /> | ||
<br /> | |||
Given a pergen (P8/m, (a,b)/n), how many parts is an arbitrary interval (a',b') split into?<br /> | |||
(a',b') = (a'·b, b'·b) / b = (a'·b - a·b', 0) / b + (a·b', b'·b) / b = (a'·b - a·b')·P8 / b + b'·(a,b) / b = (a'·b - a·b')·(m/b)·P + b'·(n/b)·G<br /> | |||
Therefore (a',b') is split into GCD (a'·b - a·b')·(m/b), b'·(n/b)) parts.<br /> | |||
If m = 1, then b = ±1, and we have GCD (a' ± a·b', ±b'·n)<br /> | |||
If n = 1, then a = -1 and b = 1, and we have GCD (a'·m + b'·m, b') = GCD (a'·m, b')<br /> | |||
If m = 1 and n = 1, we have GCD (a', b') = the &quot;normal&quot; split.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:109:&lt;h6&gt; --><h6 id="toc26"><a name="Further Discussion-Various proofs (unfinished)----===== false starts ============"></a><!-- ws:end:WikiTextHeadingRule:109 -->===== false starts ============</h6> | |||
<br /> | <br /> | ||
Assume it's a false double, and there's a comma (u,v,w) that splits both P8 and (a,b) appropriately<br /> | Assume it's a false double, and there's a comma (u,v,w) that splits both P8 and (a,b) appropriately<br /> | ||
Line 5,674: | Line 5,650: | ||
Given an arbitrary x and y, GCD (x + k&quot;u, y + k&quot;v, k&quot;w) &gt;= r for some k<br /> | Given an arbitrary x and y, GCD (x + k&quot;u, y + k&quot;v, k&quot;w) &gt;= r for some k<br /> | ||
Assume GCD (x,y) = 1<br /> | Assume GCD (x,y) = 1<br /> | ||
<br /> | <br /> | ||
To prove: if r = 1, it's a false double, and (a,b)/n splits P8 into b parts<br /> | To prove: if r = 1, it's a false double, and (a,b)/n splits P8 into b parts<br /> | ||
Line 5,727: | Line 5,702: | ||
Therefore P8 is split into m periods<br /> | Therefore P8 is split into m periods<br /> | ||
Therefore if m = |b|, the pergen is explicitly false<br /> | Therefore if m = |b|, the pergen is explicitly false<br /> | ||
<br /> | |||
<br /> | |||
<br /> | <br /> | ||
To prove: true/false test<br /> | To prove: true/false test<br /> | ||
Line 5,751: | Line 5,728: | ||
Although not rigorously proven, these last two tests have been empirically verified by alt-pergenLister.<br /> | Although not rigorously proven, these last two tests have been empirically verified by alt-pergenLister.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule: | <!-- ws:start:WikiTextHeadingRule:111:&lt;h2&gt; --><h2 id="toc27"><a name="Further Discussion-Miscellaneous Notes"></a><!-- ws:end:WikiTextHeadingRule:111 -->Miscellaneous Notes</h2> | ||
<br /> | <br /> | ||
<u><strong>Staff notation</strong></u><br /> | <u><strong>Staff notation</strong></u><br /> |