S-expression: Difference between revisions
→Table of triangle-particulars: Subgroupped |
→{{nowrap|Sk⋅S(k + 1)}} (triangle-particulars): missing entry |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 527: | Line 527: | ||
For completeness, all the intervals of this form are included, because of their structural importance for JI, and for the possibility of inconsistency of mappings when tempered out for the above reason. | For completeness, all the intervals of this form are included, because of their structural importance for JI, and for the possibility of inconsistency of mappings when tempered out for the above reason. | ||
{| class="wikitable center-all | {| class="wikitable center-all left-4" | ||
|+ style="font-size: 105%;" | 31-limit triangle-particulars<ref group="note">After 75, 76, 77, 78, streaks of four consecutive harmonics in the 23-limit become very sparse. The last few streaks are deeply related to the consistency and structure of [[311edo]], as 311edo can be described as the unique 23-limit temperament that tempers out all triangle-particulars from [[595/594]] up to [[21736/21735]]. It also tempers out all the square-particulars composing those triangle-particulars with the exception of S169 and S170, and maps the corresponding intervals of the 77-odd-limit consistently. 170/169 is the only place where the logic seems to "break" as it is mapped to 2 steps instead of 3, meaning the mapping of that superparticular is inconsistent.</ref> | |+ style="font-size: 105%;" | 31-limit triangle-particulars<ref group="note">After 75, 76, 77, 78, streaks of four consecutive harmonics in the 23-limit become very sparse. The last few streaks are deeply related to the consistency and structure of [[311edo]], as 311edo can be described as the unique 23-limit temperament that tempers out all triangle-particulars from [[595/594]] up to [[21736/21735]]. It also tempers out all the square-particulars composing those triangle-particulars with the exception of S169 and S170, and maps the corresponding intervals of the 77-odd-limit consistently. 170/169 is the only place where the logic seems to "break" as it is mapped to 2 steps instead of 3, meaning the mapping of that superparticular is inconsistent.</ref> | ||
|- | |- | ||
| Line 714: | Line 714: | ||
| [[1540/1539]] | | [[1540/1539]] | ||
| 2.3.5.7.11.19 | | 2.3.5.7.11.19 | ||
|- | |||
| S56⋅S57 | |||
| ([[56/55]])/([[58/57]]) | |||
| [[1596/1595]] | |||
| 2.3.5.7.11.19.29 | |||
|- | |- | ||
| S63⋅S64 | | S63⋅S64 | ||
| Line 1,930: | Line 1,935: | ||
Here follows a table of [[23-limit]] semiparticulars corresponding to square-particulars S''k'' for ''k'' < 96, plus all semiparticulars up to [[9801/9800|S33/S35 = S99]], an exceptional [[11-limit]] comma, plus all semiparticulars dividing superparticular intervals up to [[13/12]] (corresponding to the [[17-limit]] semiparticular [[31213/31212|S49/S51]]) for completeness. This table also shows all semiparticulars corresponding to splitting an [[#Glossary|odd-particular]] in two up to [[17/15]] (although a common strategy is to temper out the square-particular that is the difference between the two superparticular intervals the odd-particular is composed of instead). The bound ''k'' < 96 was chosen as it corresponds to another remarkable semiparticular [[123201/123200|S78/S80 = S351]]. Perhaps many of the patterns will become clearer if you examine this table: | Here follows a table of [[23-limit]] semiparticulars corresponding to square-particulars S''k'' for ''k'' < 96, plus all semiparticulars up to [[9801/9800|S33/S35 = S99]], an exceptional [[11-limit]] comma, plus all semiparticulars dividing superparticular intervals up to [[13/12]] (corresponding to the [[17-limit]] semiparticular [[31213/31212|S49/S51]]) for completeness. This table also shows all semiparticulars corresponding to splitting an [[#Glossary|odd-particular]] in two up to [[17/15]] (although a common strategy is to temper out the square-particular that is the difference between the two superparticular intervals the odd-particular is composed of instead). The bound ''k'' < 96 was chosen as it corresponds to another remarkable semiparticular [[123201/123200|S78/S80 = S351]]. Perhaps many of the patterns will become clearer if you examine this table: | ||
{| class="wikitable center-all" | {| class="wikitable center-all left-4" | ||
|- | |- | ||
! S-expression | ! S-expression | ||
! Square relation | ! Square relation | ||
! Ratio | ! Ratio | ||
! Subgroup | |||
|- | |- | ||
| S2/S4 = ([[4/3]])/([[16/15]]) | | S2/S4 = ([[4/3]])/([[16/15]]) | ||
| ([[5/1]])/([[2/1]])<sup>2</sup> | | ([[5/1]])/([[2/1]])<sup>2</sup> | ||
| [[5/4]] | | [[5/4]] | ||
| 2.5 | |||
|- | |- | ||
| S3/S5 = ([[9/8]])/([[25/24]]) | | S3/S5 = ([[9/8]])/([[25/24]]) | ||
| ([[3/1]])/([[5/3]])<sup>2</sup> | | ([[3/1]])/([[5/3]])<sup>2</sup> | ||
| [[27/25]] | | [[27/25]] | ||
| 2.3.5 | |||
|- | |- | ||
| S4/S6 = ([[16/15]])/([[36/35]]) | | S4/S6 = ([[16/15]])/([[36/35]]) | ||
| ([[7/3]])/([[3/2]])<sup>2</sup> | | ([[7/3]])/([[3/2]])<sup>2</sup> | ||
| [[28/27]] | | [[28/27]] | ||
| 2.3.7 | |||
|- | |- | ||
| S5/S7 = ([[25/24]])/([[49/48]]) | | S5/S7 = ([[25/24]])/([[49/48]]) | ||
| ([[2/1]])/([[7/5]])<sup>2</sup> | | ([[2/1]])/([[7/5]])<sup>2</sup> | ||
| [[50/49]] | | [[50/49]] | ||
| 2.5.7 | |||
|- | |- | ||
| S6/S8 = ([[36/35]])/([[64/63]]) | | S6/S8 = ([[36/35]])/([[64/63]]) | ||
| ([[9/5]])/([[4/3]])<sup>2</sup> | | ([[9/5]])/([[4/3]])<sup>2</sup> | ||
| [[81/80]] | | [[81/80]] | ||
| 2.3.5 | |||
|- | |- | ||
| S7/S9 = ([[49/48]])/([[81/80]]) | | S7/S9 = ([[49/48]])/([[81/80]]) | ||
| ([[5/3]])/([[9/7]])<sup>2</sup> | | ([[5/3]])/([[9/7]])<sup>2</sup> | ||
| [[245/243]] | | [[245/243]] | ||
| 3.5.7 | |||
|- | |- | ||
| S8/S10 = ([[64/63]])/([[100/99]]) | | S8/S10 = ([[64/63]])/([[100/99]]) | ||
| ([[11/7]])/([[5/4]])<sup>2</sup> | | ([[11/7]])/([[5/4]])<sup>2</sup> | ||
| [[176/175]] | | [[176/175]] | ||
| 2.5.7.11 | |||
|- | |- | ||
| S9/S11 = ([[81/80]])/([[121/120]]) | | S9/S11 = ([[81/80]])/([[121/120]]) | ||
| ([[3/2]])/([[11/9]])<sup>2</sup> | | ([[3/2]])/([[11/9]])<sup>2</sup> | ||
| [[243/242]] | | [[243/242]] | ||
| 2.3.11 | |||
|- | |- | ||
| S10/S12 = ([[100/99]])/([[144/143]]) | | S10/S12 = ([[100/99]])/([[144/143]]) | ||
| ([[13/9]])/([[6/5]])<sup>2</sup> | | ([[13/9]])/([[6/5]])<sup>2</sup> | ||
| [[325/324]] | | [[325/324]] | ||
| 2.3.5.13 | |||
|- | |- | ||
| S11/S13 = ([[121/120]])/([[169/168]]) | | S11/S13 = ([[121/120]])/([[169/168]]) | ||
| ([[7/5]])/([[13/11]])<sup>2</sup> | | ([[7/5]])/([[13/11]])<sup>2</sup> | ||
| [[847/845]] | | [[847/845]] | ||
| 5.7.11.13 | |||
|- | |- | ||
| S12/S14 = ([[144/143]])/([[196/195]]) | | S12/S14 = ([[144/143]])/([[196/195]]) | ||
| ([[15/11]])/([[7/6]])<sup>2</sup> | | ([[15/11]])/([[7/6]])<sup>2</sup> | ||
| [[540/539]] | | [[540/539]] | ||
| 2.3.5.7.11 | |||
|- | |- | ||
| S13/S15 = ([[169/168]])/([[225/224]]) | | S13/S15 = ([[169/168]])/([[225/224]]) | ||
| ([[4/3]])/([[15/13]])<sup>2</sup> | | ([[4/3]])/([[15/13]])<sup>2</sup> | ||
| [[676/675]] | | [[676/675]] | ||
| 2.3.5.13 | |||
|- | |- | ||
| S14/S16 = ([[196/195]])/([[256/255]]) | | S14/S16 = ([[196/195]])/([[256/255]]) | ||
| ([[17/13]])/([[8/7]])<sup>2</sup> | | ([[17/13]])/([[8/7]])<sup>2</sup> | ||
| [[833/832]] | | [[833/832]] | ||
| 2.7.13.17 | |||
|- | |- | ||
| S15/S17 = ([[225/224]])/([[289/288]]) | | S15/S17 = ([[225/224]])/([[289/288]]) | ||
| ([[9/7]])/([[17/15]])<sup>2</sup> | | ([[9/7]])/([[17/15]])<sup>2</sup> | ||
| [[2025/2023]] | | [[2025/2023]] | ||
| 3.5.7.17 | |||
|- | |- | ||
| S16/S18 = ([[256/255]])/([[324/323]]) | | S16/S18 = ([[256/255]])/([[324/323]]) | ||
| ([[19/15]])/([[9/8]])<sup>2</sup> | | ([[19/15]])/([[9/8]])<sup>2</sup> | ||
| [[1216/1215]] | | [[1216/1215]] | ||
| 2.3.5.19 | |||
|- | |- | ||
| S17/S19 = ([[289/288]])/([[361/360]]) | | S17/S19 = ([[289/288]])/([[361/360]]) | ||
| ([[5/4]])/([[19/17]])<sup>2</sup> | | ([[5/4]])/([[19/17]])<sup>2</sup> | ||
| [[1445/1444]] | | [[1445/1444]] | ||
| 2.5.17.19 | |||
|- | |- | ||
| S18/S20 = ([[324/323]])/([[400/399]]) | | S18/S20 = ([[324/323]])/([[400/399]]) | ||
| ([[21/17]])/([[10/9]])<sup>2</sup> | | ([[21/17]])/([[10/9]])<sup>2</sup> | ||
| [[1701/1700]] | | [[1701/1700]] | ||
| 2.3.5.7.17 | |||
|- | |- | ||
| S19/S21 = ([[361/360]])/([[441/440]]) | | S19/S21 = ([[361/360]])/([[441/440]]) | ||
| ([[11/9]])/([[21/19]])<sup>2</sup> | | ([[11/9]])/([[21/19]])<sup>2</sup> | ||
| [[3971/3969]] | | [[3971/3969]] | ||
| 3.7.11.19 | |||
|- | |- | ||
| S20/S22 = ([[400/399]])/([[484/483]]) | | S20/S22 = ([[400/399]])/([[484/483]]) | ||
| ([[23/19]])/([[11/10]])<sup>2</sup> | | ([[23/19]])/([[11/10]])<sup>2</sup> | ||
| [[2300/2299]] | | [[2300/2299]] | ||
| 2.5.11.19.23 | |||
|- | |- | ||
| S21/S23 = ([[441/440]])/([[529/528]]) | | S21/S23 = ([[441/440]])/([[529/528]]) | ||
| ([[6/5]])/([[23/21]])<sup>2</sup> | | ([[6/5]])/([[23/21]])<sup>2</sup> | ||
| [[2646/2645]] | | [[2646/2645]] | ||
| 2.3.5.7.23 | |||
|- | |- | ||
| S22/S24 = ([[484/483]])/([[576/575]]) | | S22/S24 = ([[484/483]])/([[576/575]]) | ||
| ([[25/21]])/([[12/11]])<sup>2</sup> | | ([[25/21]])/([[12/11]])<sup>2</sup> | ||
| [[3025/3024]] | | [[3025/3024]] | ||
| 2.3.5.7.11 | |||
|- | |- | ||
| S23/S25 = ([[529/528]])/([[625/624]]) | | S23/S25 = ([[529/528]])/([[625/624]]) | ||
| ([[13/11]])/([[25/23]])<sup>2</sup> | | ([[13/11]])/([[25/23]])<sup>2</sup> | ||
| [[6877/6875]] | | [[6877/6875]] | ||
| 5.11.13.23 | |||
|- | |- | ||
| S24/S26 = ([[576/575]])/([[676/675]]) | | S24/S26 = ([[576/575]])/([[676/675]]) | ||
| ([[27/23]])/([[13/12]])<sup>2</sup> | | ([[27/23]])/([[13/12]])<sup>2</sup> | ||
| [[3888/3887]] | | [[3888/3887]] | ||
| 2.3.13.23 | |||
|- | |- | ||
| S25/S27 = ([[625/624]])/([[729/728]]) | | S25/S27 = ([[625/624]])/([[729/728]]) | ||
| ([[7/6]])/([[27/25]])<sup>2</sup> | | ([[7/6]])/([[27/25]])<sup>2</sup> | ||
| [[4375/4374]] | | [[4375/4374]] | ||
| 2.3.5.7 | |||
|- | |- | ||
| S26/S28 = ([[676/675]])/([[784/783]]) | | S26/S28 = ([[676/675]])/([[784/783]]) | ||
| ([[29/25]])/([[14/13]])<sup>2</sup> | | ([[29/25]])/([[14/13]])<sup>2</sup> | ||
| [[4901/4900]] | | [[4901/4900]] | ||
| 2.5.7.13.29 | |||
|- | |- | ||
| S27/S29 = ([[729/728]])/([[841/840]]) | | S27/S29 = ([[729/728]])/([[841/840]]) | ||
| ([[15/13]])/([[29/27]])<sup>2</sup> | | ([[15/13]])/([[29/27]])<sup>2</sup> | ||
| [[10935/10933]] | | [[10935/10933]] | ||
| 2.3.5.13.29 | |||
|- | |- | ||
| S28/S30 = ([[784/783]])/([[900/899]]) | | S28/S30 = ([[784/783]])/([[900/899]]) | ||
| ([[31/27]])/([[15/14]])<sup>2</sup> | | ([[31/27]])/([[15/14]])<sup>2</sup> | ||
| [[6076/6075]] | | [[6076/6075]] | ||
| 2.3.5.7.31 | |||
|- | |- | ||
| S29/S31 = ([[841/840]])/([[961/960]]) | | S29/S31 = ([[841/840]])/([[961/960]]) | ||
| ([[8/7]])/([[31/29]])<sup>2</sup> | | ([[8/7]])/([[31/29]])<sup>2</sup> | ||
| [[6728/6727]] | | [[6728/6727]] | ||
| 2.7.29.31 | |||
|- | |- | ||
| S30/S32 = ([[900/899]])/([[1024/1023]]) | | S30/S32 = ([[900/899]])/([[1024/1023]]) | ||
| ([[33/29]])/([[16/15]])<sup>2</sup> | | ([[33/29]])/([[16/15]])<sup>2</sup> | ||
| [[7425/7424]] | | [[7425/7424]] | ||
| 2.3.5.11.29 | |||
|- | |- | ||
| S31/S33 = ([[961/960]])/([[1089/1088]]) | | S31/S33 = ([[961/960]])/([[1089/1088]]) | ||
| ([[17/15]])/([[33/31]])<sup>2</sup> | | ([[17/15]])/([[33/31]])<sup>2</sup> | ||
| [[16337/16335]] | | [[16337/16335]] | ||
| 2.3.5.11.17.31 | |||
|- | |- | ||
| S32/S34 = ([[1024/1023]])/([[1156/1155]]) | | S32/S34 = ([[1024/1023]])/([[1156/1155]]) | ||
| ([[35/31]])/([[17/16]])<sup>2</sup> | | ([[35/31]])/([[17/16]])<sup>2</sup> | ||
| [[8960/8959]] | | [[8960/8959]] | ||
| 2.5.7.17.31 | |||
|- | |- | ||
| S33/S35 = ([[1089/1088]])/([[1225/1224]]) | | S33/S35 = ([[1089/1088]])/([[1225/1224]]) | ||
| ([[9/8]])/([[35/33]])<sup>2</sup> | | ([[9/8]])/([[35/33]])<sup>2</sup> | ||
| [[9801/9800]] | | [[9801/9800]] | ||
| 2.3.5.7.11 | |||
|- | |- | ||
| S36/S38 = ([[1296/1295]])/([[1444/1443]]) | | S36/S38 = ([[1296/1295]])/([[1444/1443]]) | ||
| ([[39/35]])/([[19/18]])<sup>2</sup> | | ([[39/35]])/([[19/18]])<sup>2</sup> | ||
| [[12636/12635]] | | [[12636/12635]] | ||
| 2.3.5.7.13.19 | |||
|- | |- | ||
| S37/S39 = ([[1369/1368]])/([[1521/1520]]) | | S37/S39 = ([[1369/1368]])/([[1521/1520]]) | ||
| ([[10/9]])/([[39/37]])<sup>2</sup> | | ([[10/9]])/([[39/37]])<sup>2</sup> | ||
| [[13690/13689]] | | [[13690/13689]] | ||
| 2.3.5.13.37 | |||
|- | |- | ||
| S41/S43 = ([[1681/1680]])/([[1849/1848]]) | | S41/S43 = ([[1681/1680]])/([[1849/1848]]) | ||
| ([[11/10]])/([[43/41]])<sup>2</sup> | | ([[11/10]])/([[43/41]])<sup>2</sup> | ||
| [[18491/18490]] | | [[18491/18490]] | ||
| 2.5.11.41.43 | |||
|- | |- | ||
| S45/S47 = ([[2025/2024]])/([[2209/2208]]) | | S45/S47 = ([[2025/2024]])/([[2209/2208]]) | ||
| ([[12/11]])/([[47/45]])<sup>2</sup> | | ([[12/11]])/([[47/45]])<sup>2</sup> | ||
| [[24300/24299]] | | [[24300/24299]] | ||
| 2.3.5.11.47 | |||
|- | |- | ||
| S46/S48 = ([[2116/2115]])/([[2304/2303]]) | | S46/S48 = ([[2116/2115]])/([[2304/2303]]) | ||
| ([[49/45]])/([[24/23]])<sup>2</sup> | | ([[49/45]])/([[24/23]])<sup>2</sup> | ||
| [[25921/25920]] | | [[25921/25920]] | ||
| 2.3.5.7.23 | |||
|- | |- | ||
| S49/S51 = ([[2401/2400]])/([[2601/2600]]) | | S49/S51 = ([[2401/2400]])/([[2601/2600]]) | ||
| ([[13/12]])/([[51/49]])<sup>2</sup> | | ([[13/12]])/([[51/49]])<sup>2</sup> | ||
| [[31213/31212]] | | [[31213/31212]] | ||
| 2.3.7.13.17 | |||
|- | |- | ||
| S52/S54 = ([[2704/2703]])/([[2916/2915]]) | | S52/S54 = ([[2704/2703]])/([[2916/2915]]) | ||
| ([[55/51]])/([[27/26]])<sup>2</sup> | | ([[55/51]])/([[27/26]])<sup>2</sup> | ||
| [[37180/37179]] | | [[37180/37179]] | ||
| 2.3.5.11.13.17 | |||
|- | |- | ||
| S66/S68 = ([[4356/4355]])/([[4624/4623]]) | | S66/S68 = ([[4356/4355]])/([[4624/4623]]) | ||
| ([[69/65]])/([[34/33]])<sup>2</sup> | | ([[69/65]])/([[34/33]])<sup>2</sup> | ||
| [[75141/75140]] | | [[75141/75140]] | ||
| 2.3.5.11.17.23 | |||
|- | |- | ||
| S78/S80 = ([[6084/6083]])/([[6400/6399]]) | | S78/S80 = ([[6084/6083]])/([[6400/6399]]) | ||
| ([[81/77]])/([[40/39]])<sup>2</sup> | | ([[81/77]])/([[40/39]])<sup>2</sup> | ||
| [[123201/123200]] | | [[123201/123200]] | ||
| 2.3.5.7.11.13 | |||
|} | |} | ||