S-expression: Difference between revisions

Godtone (talk | contribs)
 
(24 intermediate revisions by 5 users not shown)
Line 1: Line 1:
An '''S-expression''' is any product, or ratio of products, of the '''square superparticulars''' S''k'', which are defined as the fractions of the form {{sfrac|''k''<sup>2</sup>|''k''<sup>2</sup> − 1}}. Commas defined by S-expressions turn out to represent intuitive and wide-reaching families of tempered equivalences, and therefore present a very useful framework to learn for a good understanding of the [[commas]] that appear frequently in xen.
An '''S-expression''' is any product, or ratio of products, of the '''square superparticulars''' '''S''k''''', which are defined as the fractions of the form {{sfrac|''k''<sup>2</sup>|''k''<sup>2</sup> − 1}}. Commas defined by S-expressions turn out to represent intuitive and wide-reaching families of tempered equivalences, and therefore present a very useful framework to learn for a good understanding of the [[comma]]s that appear frequently in [[JI]] and [[regular temperament|temperaments]].


== Quick rules of S-expressions ==
== Quick rules of S-expressions ==
As S-expressions are deployed widely on the wiki and in the broader xen community, below is a list of what the most common S-expression categories imply when they are [[tempering out|tempered out]]. The linked sections provide deeper information into each comma family.
As S-expressions are deployed widely on the wiki and in the broader xen community, below is a list of what the most common S-expression categories imply when they are [[tempering out|tempered out]]. The linked sections provide deeper information into each comma family.


* [[#Sk (square-particulars)|Square superparticulars]]: '''S''k''''', superparticular fractions of the form {{sfrac|''k''<sup>2</sup>|''k''<sup>2</sup> − 1}}. <br>Tempering out S''k'' equates {{sfrac|''k'' + 1|''k''}} with {{sfrac|''k''|''k'' − 1}} and splits {{sfrac|''k'' + 1|''k'' - 1}} in two.
* [[#Sk (square-particulars)|Square superparticulars]]: '''S''k''''', superparticular fractions of the form {{sfrac|''k''<sup>2</sup>|''k''<sup>2</sup> − 1}}. <br>Tempering out S''k'' equates {{sfrac|''k'' + 1|''k''}} with {{sfrac|''k''|''k'' − 1}} and splits {{sfrac|''k'' + 1|''k'' 1}} in two.
* [[#Sk*S(k + 1) (triangle-particulars)|Triangle-particulars]]: {{nowrap|'''S''k'' * S(''k'' + 1)'''}}, superparticular fractions of the form {{sfrac|''k''(''k'' + 1)/2|(''k'' − 1)(''k'' + 2)/2}}. <br>Tempering out {{nowrap|S''k'' * S(''k'' + 1)}} equates {{sfrac|''k'' + 2|''k'' + 1}} with {{sfrac|''k''|''k'' − 1}}, and {{sfrac|''k'' + 2|''k''}} with {{sfrac|''k'' + 1|''k'' − 1}}.
* [[#Sk⋅S(k + 1) (triangle-particulars)|Triangle-particulars]]: {{nowrap|'''S''k''⋅S(''k'' + 1)'''}}, superparticular fractions of the form {{sfrac|''k''(''k'' + 1)/2|(''k'' − 1)(''k'' + 2)/2}}. <br>Tempering out {{nowrap|S''k''⋅S(''k'' + 1)}} equates {{sfrac|''k'' + 2|''k'' + 1}} with {{sfrac|''k''|''k'' − 1}}, and {{sfrac|''k'' + 2|''k''}} with {{sfrac|''k'' + 1|''k'' − 1}}.
* [[#Sk2 * S(k + 1) and S(k − 1) * Sk2 (lopsided commas)|Lopsided commas]]: {{nowrap|'''(S''k'')<sup>2</sup> * S(''k'' + 1)'''}} and {{nowrap|'''(S''k'')<sup>2</sup> * S(''k'' − 1)'''}}. <br>Tempering out the former equates {{sfrac|''k'' + 2|''k''}} with {{pars|{{sfrac|''k''|''k'' − 1}}}}<sup>2</sup> and {{sfrac|''k'' + 2|''k'' - 1}} with {{pars|{{sfrac|''k''|''k'' − 1}}}}<sup>3</sup>, and tempering out the latter equates {{sfrac|''k''|''k'' − 2}} with  {{pars|{{sfrac|''k'' + 1|''k''}}}}<sup>2</sup> and {{sfrac|''k'' + 1|''k'' − 2}} with {{pars|{{sfrac|''k'' + 1|''k''}}}}<sup>3</sup>.
* [[#Sk2⋅S(k + 1) and S(k − 1)⋅Sk2 (lopsided commas)|Lopsided commas]]: {{nowrap|'''(S''k'')<sup>2</sup>⋅S(''k'' + 1)'''}} and {{nowrap|'''(S''k'')<sup>2</sup>⋅S(''k'' − 1)'''}}. <br>Tempering out the former equates {{sfrac|''k'' + 2|''k''}} with {{pars|{{sfrac|''k''|''k'' − 1}}}}<sup>2</sup> and {{sfrac|''k'' + 2|''k'' 1}} with {{pars|{{sfrac|''k''|''k'' − 1}}}}<sup>3</sup>, and tempering out the latter equates {{sfrac|''k''|''k'' − 2}} with  {{pars|{{sfrac|''k'' + 1|''k''}}}}<sup>2</sup> and {{sfrac|''k'' + 1|''k'' − 2}} with {{pars|{{sfrac|''k'' + 1|''k''}}}}<sup>3</sup>.
* [[#Sk/S(k + 1) (ultraparticulars)|Ultraparticulars]]: {{nowrap|'''S''k''/S(''k'' + 1)'''}}. Tempering this out splits {{sfrac|''k'' + 2|''k'' − 1}} into {{pars|{{sfrac|''k'' + 1|''k''}}}}<sup>3</sup>.
* [[#Sk/S(k + 1) (ultraparticulars)|Ultraparticulars]]: {{nowrap|'''S''k''/S(''k'' + 1)'''}}. Tempering this out splits {{sfrac|''k'' + 2|''k'' − 1}} into {{pars|{{sfrac|''k'' + 1|''k''}}}}<sup>3</sup>.
* [[#Sk/S(k + 2) (semiparticulars)|Semiparticulars]]: {{nowrap|'''S''k''/S(''k'' + 2)'''}}. Tempering this out splits {{sfrac|''k'' + 3|''k'' − 1}} into {{pars|{{sfrac|''k'' + 2|''k''}}}}<sup>2</sup>.
* [[#Sk/S(k + 2) (semiparticulars)|Semiparticulars]]: {{nowrap|'''S''k''/S(''k'' + 2)'''}}. Tempering this out splits {{sfrac|''k'' + 3|''k'' − 1}} into {{pars|{{sfrac|''k'' + 2|''k''}}}}<sup>2</sup>.


== S''k'' (square-particulars) ==
== S''k'' (square-particulars) ==
A '''square superparticular''', or ''square-particular'' for short, is a [[superparticular]] [[interval]] whose numerator is a square number, which is to say, a superparticular of the form
A square superparticular, or ''square-particular'' for short, is a [[superparticular]] [[interval]] whose numerator is a square number, which is to say, a superparticular of the form


<math>\displaystyle \frac {k^2}{k^2 - 1} = \frac {k/(k - 1)}{(k + 1)/k} </math>
$$ \frac {k^2}{k^2 - 1} = \frac {k/(k - 1)}{(k + 1)/k} $$


which is square-(super)particular ''k'' for a given integer {{nowrap|''k'' &gt; 1}}. A suggested shorthand for this interval is '''S''k''''' for the ''k''-th square superparticular, where the ''S'' stands for "(Shorthand for) Second-order/Square Superparticular". This will be used later in this article as the notation will prove powerful in understanding the commas and implied tempered structures of [[regular temperament]]s. Note that this means {{nowrap|S2 {{=}} [[4/3]]}} is the first musically meaningful square-particular, as {{nowrap|S1 {{=}} 1/0}}.
which is square-superparticular ''k'' for a given integer {{nowrap| ''k'' > 1 }}. A suggested shorthand for this interval is '''S''k''''' for the ''k''-th square superparticular, where the ''S'' stands for ''second-order/square superparticular''. This will be used later in this article as the notation will prove powerful in understanding the commas and implied tempered structures of [[regular temperament]]s. Note that {{nowrap| S2 {{=}} [[4/3]] }} is the first musically meaningful square-particular, as {{nowrap| S1 {{=}} 1/0 }}.


Also note that we use the notation S''k''<sup>''p''</sup> to mean (S''k'')<sup>''p''</sup> rather than S(''k''<sup>''p''</sup>) for convenience in the practical analysis of regular temperaments using [[S-expression]]s.
Also note that we use the notation S''k''<sup>''p''</sup> to mean (S''k'')<sup>''p''</sup> rather than S(''k''<sup>''p''</sup>) for convenience in the practical analysis of regular temperaments using S-expressions.


=== Significance/motivation ===
=== Significance ===
Square-particulars are important structurally because they are the intervals between consecutive [[superparticular]] [[interval]]s while simultaneously being superparticular themselves, which means that whether and how they are tempered tells us information about how well a temperament can represent the harmonic series up to the ({{nowrap|''k'' + 1}})th harmonic, as well as the potential representational sacrifices that must be made from that point onward. In other words, understanding the mappings of S''k'' in a given temperament is equivalent to understanding the spacing of consecutive superparticular intervals, and thereby to understanding the way it represents (or tries to represent) the harmonic series.
Square-superparticulars are important structurally because they are the intervals between consecutive superparticular intervals while simultaneously being superparticular themselves, which means that whether and how they are tempered tells us information about how well a temperament can represent the [[harmonic series]] up to the ({{nowrap| ''k'' + 1 }})-th harmonic, as well as the potential representational sacrifices that must be made from that point onwards.
 
Specifically, tempering S''k'' out makes the harmonic segment centered around ''k'' have equal steps; e.g. tempering out {{nowrap| S9 {{=}} (9/8)/(10/9) {{=}} 81/80 }} equalizes 8:9:10, as in [[meantone]].
 
In other words, understanding the mappings of S''k'' in a given temperament (especially an [[equal temperament]]) is equivalent to understanding the spacing of consecutive superparticular intervals, and thereby to understanding the way it represents or tries to represent the harmonic series.


=== Table of square-particulars ===
=== Table of square-particulars ===
{| class="wikitable center-all
{| class="wikitable center-all left-4"
|+ style="font-size: 105%;" | 31-limit square-particulars
|+ style="font-size: 105%;" | 31-limit square-particulars
|-
|-
Line 29: Line 33:
! Interval relation
! Interval relation
! Ratio
! Ratio
! Prime limit
! Subgroup
|-
|-
| S2
| S2
| ([[2/1]])/([[3/2]])
| ([[2/1]])/([[3/2]])
| [[4/3]]
| [[4/3]]
| 3
| 2.3
|-
|-
| S3
| S3
| ([[3/2]])/([[4/3]])
| ([[3/2]])/([[4/3]])
| [[9/8]]
| [[9/8]]
| 3
| 2.3
|-
|-
| S4
| S4
| ([[4/3]])/([[5/4]])
| ([[4/3]])/([[5/4]])
| [[16/15]]
| [[16/15]]
| 5
| 2.3.5
|-
|-
| S5
| S5
| ([[5/4]])/([[6/5]])
| ([[5/4]])/([[6/5]])
| [[25/24]]
| [[25/24]]
| 5
| 2.3.5
|-
|-
| S6 = S8*S9
| S6
| ([[6/5]])/([[7/6]])
| ([[6/5]])/([[7/6]])
| [[36/35]]
| [[36/35]]
| 7
| 2.3.5.7
|-
|-
| S7
| S7
| ([[7/6]])/([[8/7]])
| ([[7/6]])/([[8/7]])
| [[49/48]]
| [[49/48]]
| 7
| 2.3.7
|-
|-
| S8
| S8
| ([[8/7]])/([[9/8]])
| ([[8/7]])/([[9/8]])
| [[64/63]]
| [[64/63]]
| 7
| 2.3.7
|-
|-
| S9 = S6/S8
| S9
| ([[9/8]])/([[10/9]])
| ([[9/8]])/([[10/9]])
| [[81/80]]
| [[81/80]]
| 5
| 2.3.5
|-
|-
| S10
| S10
| ([[10/9]])/([[11/10]])
| ([[10/9]])/([[11/10]])
| [[100/99]]
| [[100/99]]
| 11
| 2.3.5.11
|-
|-
| S11
| S11
| ([[11/10]])/([[12/11]])
| ([[11/10]])/([[12/11]])
| [[121/120]]
| [[121/120]]
| 11
| 2.3.5.11
|-
|-
| S12
| S12
| ([[12/11]])/([[13/12]])
| ([[12/11]])/([[13/12]])
| [[144/143]]
| [[144/143]]
| 13
| 2.3.11.13
|-
|-
| S13
| S13
| ([[13/12]])/([[14/13]])
| ([[13/12]])/([[14/13]])
| [[169/168]]
| [[169/168]]
| 13
| 2.3.7.13
|-
|-
| S14
| S14
| ([[14/13]])/([[15/14]])
| ([[14/13]])/([[15/14]])
| [[196/195]]
| [[196/195]]
| 13
| 2.3.5.7.13
|-
|-
| S15
| S15
| ([[15/14]])/([[16/15]])
| ([[15/14]])/([[16/15]])
| [[225/224]]
| [[225/224]]
| 7
| 2.3.5.7
|-
|-
| S16
| S16
| ([[16/15]])/([[17/16]])
| ([[16/15]])/([[17/16]])
| [[256/255]]
| [[256/255]]
| 17
| 2.3.5.17
|-
|-
| S17
| S17
| ([[17/16]])/([[18/17]])
| ([[17/16]])/([[18/17]])
| [[289/288]]
| [[289/288]]
| 17
| 2.3.17
|-
|-
| S18
| S18
| ([[18/17]])/([[19/18]])
| ([[18/17]])/([[19/18]])
| [[324/323]]
| [[324/323]]
| 19
| 2.3.17.19
|-
|-
| S19
| S19
| ([[19/18]])/([[20/19]])
| ([[19/18]])/([[20/19]])
| [[361/360]]
| [[361/360]]
| 19
| 2.3.5.19
|-
|-
| S20
| S20
| ([[20/19]])/([[21/20]])
| ([[20/19]])/([[21/20]])
| [[400/399]]
| [[400/399]]
| 19
| 2.3.5.7.19
|-
|-
| S21
| S21
| ([[21/20]])/([[22/21]])
| ([[21/20]])/([[22/21]])
| [[441/440]]
| [[441/440]]
| 11
| 2.3.5.7.11
|-
|-
| S22
| S22
| ([[22/21]])/([[23/22]])
| ([[22/21]])/([[23/22]])
| [[484/483]]
| [[484/483]]
| 23
| 2.3.7.11.23
|-
|-
| S23
| S23
| ([[23/22]])/([[24/23]])
| ([[23/22]])/([[24/23]])
| [[529/528]]
| [[529/528]]
| 23
| 2.3.11.23
|-
|-
| S24
| S24
| ([[24/23]])/([[25/24]])
| ([[24/23]])/([[25/24]])
| [[576/575]]
| [[576/575]]
| 23
| 2.3.5.23
|-
|-
| S25
| S25
| ([[25/24]])/([[26/25]])
| ([[25/24]])/([[26/25]])
| [[625/624]]
| [[625/624]]
| 13
| 2.3.5.13
|-
|-
| S26 = S13/S15
| S26
| ([[26/25]])/([[27/26]])
| ([[26/25]])/([[27/26]])
| [[676/675]]
| [[676/675]]
| 13
| 2.3.5.13
|-
|-
| S27
| S27
| ([[27/26]])/([[28/27]])
| ([[27/26]])/([[28/27]])
| [[729/728]]
| [[729/728]]
| 13
| 2.3.7.13
|-
|-
| S28
| S28
| ([[28/27]])/([[29/28]])
| ([[28/27]])/([[29/28]])
| [[784/783]]
| [[784/783]]
| 29
| 2.3.7.29
|-
|-
| S29
| S29
| ([[29/28]])/([[30/29]])
| ([[29/28]])/([[30/29]])
| [[841/840]]
| [[841/840]]
| 29
| 2.3.5.7.29
|-
|-
| S30
| S30
| ([[30/29]])/([[31/30]])
| ([[30/29]])/([[31/30]])
| [[900/899]]
| [[900/899]]
| 31
| 2.3.5.29.31
|-
|-
| S31
| S31
| ([[31/30]])/([[32/31]])
| ([[31/30]])/([[32/31]])
| [[961/960]]
| [[961/960]]
| 31
| 2.3.5.31
|-
|-
| S32
| S32
| ([[32/31]])/([[33/32]])
| ([[32/31]])/([[33/32]])
| [[1024/1023]]
| [[1024/1023]]
| 31
| 2.3.11.31
|-
|-
| S33
| S33
| ([[33/32]])/([[34/33]])
| ([[33/32]])/([[34/33]])
| [[1089/1088]]
| [[1089/1088]]
| 17
| 2.3.11.17
|-
|-
| S34
| S34
| ([[34/33]])/([[35/34]])
| ([[34/33]])/([[35/34]])
| [[1156/1155]]
| [[1156/1155]]
| 17
| 2.3.5.7.11.17
|-
|-
| S35 = S49*S50
| S35
| ([[35/34]])/([[36/35]])
| ([[35/34]])/([[36/35]])
| [[1225/1224]]
| [[1225/1224]]
| 17
| 2.3.5.7.17
|-
|-
| S39
| S39
| ([[39/38]])/([[40/39]])
| ([[39/38]])/([[40/39]])
| [[1521/1520]]
| [[1521/1520]]
| 19
| 2.3.5.13.19
|-
|-
| S45
| S45
| ([[45/44]])/([[46/45]])
| ([[45/44]])/([[46/45]])
| [[2025/2024]]
| [[2025/2024]]
| 23
| 2.3.5.11.23
|-
|-
| S49
| S49
| ([[49/48]])/([[50/49]])
| ([[49/48]])/([[50/49]])
| [[2401/2400]]
| [[2401/2400]]
| 7
| 2.3.5.7
|-
|-
| S50
| S50
| ([[50/49]])/([[51/50]])
| ([[50/49]])/([[51/50]])
| [[2500/2499]]
| [[2500/2499]]
| 17
| 2.3.5.7.17
|-
|-
| S51
| S51
| ([[51/50]])/([[52/51]])
| ([[51/50]])/([[52/51]])
| [[2601/2600]]
| [[2601/2600]]
| 17
| 2.3.5.13.17
|-
|-
| S55 = S22/S24
| S55
| ([[55/54]])/([[56/55]])
| ([[55/54]])/([[56/55]])
| [[3025/3024]]
| [[3025/3024]]
| 11
| 2.3.5.7.11
|-
|-
| S56
| S56
| ([[56/55]])/([[57/56]])
| ([[56/55]])/([[57/56]])
| [[3136/3135]]
| [[3136/3135]]
| 19
| 2.3.5.7.11.19
|-
|-
| S57
| S57
| ([[57/56]])/([[58/57]])
| ([[57/56]])/([[58/57]])
| [[3249/3248]]
| [[3249/3248]]
| 29
| 2.3.7.19.29
|-
|-
| S63
| S63
| ([[63/62]])/([[64/63]])
| ([[63/62]])/([[64/63]])
| [[3969/3968]]
| [[3969/3968]]
| 31
| 2.3.7.31
|-
|-
| S64
| S64
| ([[64/63]])/([[65/64]])
| ([[64/63]])/([[65/64]])
| [[4096/4095]]
| [[4096/4095]]
| 13
| 2.3.5.7.13
|-
|-
| S65
| S65
| ([[65/64]])/([[66/65]])
| ([[65/64]])/([[66/65]])
| [[4225/4224]]
| [[4225/4224]]
| 13
| 2.3.5.11.13
|-
|-
| S69
| S69
| ([[69/68]])/([[70/69]])
| ([[69/68]])/([[70/69]])
| [[4761/4760]]
| [[4761/4760]]
| 23
| 2.3.5.7.17.23
|-
|-
| S76
| S76
| ([[76/75]])/([[77/76]])
| ([[76/75]])/([[77/76]])
| [[5776/5775]]
| [[5776/5775]]
| 19
| 2.3.5.7.11.19
|-
|-
| S77
| S77
| ([[77/76]])/([[78/77]])
| ([[77/76]])/([[78/77]])
| [[5929/5928]]
| [[5929/5928]]
| 19
| 2.3.7.11.13.19
|-
|-
| S91
| S91
| ([[91/90]])/([[92/91]])
| ([[91/90]])/([[92/91]])
| [[8281/8280]]
| [[8281/8280]]
| 23
| 2.3.5.7.13.23
|-
|-
| S92
| S92
| ([[92/91]])/([[93/92]])
| ([[92/91]])/([[93/92]])
| [[8464/8463]]
| [[8464/8463]]
| 31
| 2.3.7.13.23.31
|-
|-
| S99 = S33/S35
| S99
| ([[99/98]])/([[100/99]])
| ([[99/98]])/([[100/99]])
| [[9801/9800]]
| [[9801/9800]]
| 11
| 2.3.5.7.11
|-
|-
| S115
| S115
| ([[115/114]])/([[116/115]])
| ([[115/114]])/([[116/115]])
| [[13225/13224]]
| [[13225/13224]]
| 29
| 2.3.5.19.23.29
|-
|-
| S116
| S116
| ([[116/115]])/([[117/116]])
| ([[116/115]])/([[117/116]])
| [[13456/13455]]
| [[13456/13455]]
| 29
| 2.3.5.13.23.29
|-
|-
| S120
| S120
| ([[120/119]])/([[121/120]])
| ([[120/119]])/([[121/120]])
| [[14400/14399]]
| [[14400/14399]]
| 17
| 2.3.5.7.11.17
|-
|-
| S125
| S125
| ([[125/124]])/([[126/125]])
| ([[125/124]])/([[126/125]])
| [[15625/15624]]
| [[15625/15624]]
| 31
| 2.3.5.7.31
|-
|-
| S144
| S144
| ([[144/143]])/([[145/144]])
| ([[144/143]])/([[145/144]])
| [[20736/20735]]
| [[20736/20735]]
| 29
| 2.3.5.11.13.29
|-
|-
| S153
| S153
| ([[153/152]])/([[154/153]])
| ([[153/152]])/([[154/153]])
| [[23409/23408]]
| [[23409/23408]]
| 19
| 2.3.7.11.17.19
|-
|-
| S154
| S154
| ([[154/153]])/([[155/154]])
| ([[154/153]])/([[155/154]])
| [[23716/23715]]
| [[23716/23715]]
| 31
| 2.3.5.7.11.17.31
|-
|-
| S155
| S155
| ([[155/154]])/([[156/155]])
| ([[155/154]])/([[156/155]])
| [[24025/24024]]
| [[24025/24024]]
| 31
| 2.3.5.7.11.13.31
|-
|-
| S161 = S46/S48
| S161
| ([[161/160]])/([[162/161]])
| ([[161/160]])/([[162/161]])
| [[25921/25920]]
| [[25921/25920]]
| 23
| 2.3.5.7.23
|-
|-
| S169
| S169
| ([[169/168]])/([[170/169]])
| ([[169/168]])/([[170/169]])
| [[28561/28560]]
| [[28561/28560]]
| 17
| 2.3.5.7.13.17
|-
|-
| S170
| S170
| ([[170/169]])/([[171/170]])
| ([[170/169]])/([[171/170]])
| [[28900/28899]]
| [[28900/28899]]
| 19
| 2.3.5.13.17.19
|-
|-
| S175
| S175
| ([[175/174]])/([[176/175]])
| ([[175/174]])/([[176/175]])
| [[30625/30624]]
| [[30625/30624]]
| 29
| 2.3.5.7.11.29
|-
|-
| S208
| S208
| ([[208/207]])/([[209/208]])
| ([[208/207]])/([[209/208]])
| [[43264/43263]]
| [[43264/43263]]
| 23
| 2.3.11.13.19.23
|-
|-
| S209
| S209
| ([[209/208]])/([[210/209]])
| ([[209/208]])/([[210/209]])
| [[43681/43680]]
| [[43681/43680]]
| 19
| 2.3.5.7.11.13.19
|-
|-
| S231
| S231
| ([[231/230]])/([[232/231]])
| ([[231/230]])/([[232/231]])
| [[53361/53360]]
| [[53361/53360]]
| 29
| 2.3.5.7.11.23.29
|-
|-
| S289
| S289
| ([[289/288]])/([[290/289]])
| ([[289/288]])/([[290/289]])
| [[83521/83520]]
| [[83521/83520]]
| 29
| 2.3.5.17.29
|-
|-
| S323
| S323
| ([[323/322]])/([[324/323]])
| ([[323/322]])/([[324/323]])
| [[104329/104328]]
| [[104329/104328]]
| 23
| 2.3.7.13.19.23
|-
|-
| S324
| S324
| ([[324/323]])/([[325/324]])
| ([[324/323]])/([[325/324]])
| [[104976/104975]]
| [[104976/104975]]
| 19
| 2.3.5.13.17.19
|-
|-
| S341
| S341
| ([[341/340]])/([[342/341]])
| ([[341/340]])/([[342/341]])
| [[116281/116280]]
| [[116281/116280]]
| 31
| 2.3.5.11.17.19.31
|-
|-
| S342
| S342
| ([[342/341]])/([[343/342]])
| ([[342/341]])/([[343/342]])
| [[116964/116963]]
| [[116964/116963]]
| 31
| 2.3.7.11.19.31
|-
|-
| S351 = S78/S80
| S351
| ([[351/350]])/([[352/351]])
| ([[351/350]])/([[352/351]])
| [[123201/123200]]
| [[123201/123200]]
| 13
| 2.3.5.7.11.13
|-
|-
| S391
| S391
| ([[391/390]])/([[392/391]])
| ([[391/390]])/([[392/391]])
| [[152881/152880]]
| [[152881/152880]]
| 23
| 2.3.5.7.13.17.23
|-
|-
| S441
| S441
| ([[441/440]])/([[442/441]])
| ([[441/440]])/([[442/441]])
| [[194481/194480]]
| [[194481/194480]]
| 17
| 2.3.5.7.11.13.17
|-
|-
| S494
| S494
| ([[494/493]])/([[495/494]])
| ([[494/493]])/([[495/494]])
| [[244036/244035]]
| [[244036/244035]]
| 29
| 2.3.5.11.13.17.19.29
|-
|-
| S495
| S495
| ([[495/494]])/([[496/495]])
| ([[495/494]])/([[496/495]])
| [[245025/245024]]
| [[245025/245024]]
| 31
| 2.3.5.11.13.19.31
|-
|-
| S528
| S528
| ([[528/527]])/([[529/528]])
| ([[528/527]])/([[529/528]])
| [[278784/278783]]
| [[278784/278783]]
| 31
| 2.3.11.17.23.31
|-
|-
| S551
| S551
| ([[551/550]])/([[552/551]])
| ([[551/550]])/([[552/551]])
| [[303601/303600]]
| [[303601/303600]]
| 29
| 2.3.5.11.19.23.29
|-
|-
| S714
| S714
| ([[714/713]])/([[715/714]])
| ([[714/713]])/([[715/714]])
| [[509796/509795]]
| [[509796/509795]]
| 31
| 2.3.5.7.11.13.17.23.31
|-
|-
| S783
| S783
| ([[783/782]])/([[784/783]])
| ([[783/782]])/([[784/783]])
| [[613089/613088]]
| [[613089/613088]]
| 29
| 2.3.7.17.23.29
|-
|-
| S1275
| S1275
| ([[1275/1274]])/([[1276/1275]])
| <small>([[1275/1274]])/([[1276/1275]])</small>
| [[1625625/1625624]]
| <small>[[1625625/1625624]]</small>
| 29
| 2.3.5.7.11.13.17.29
|-
|-
| S1519
| S1519
| ([[1519/1518]])/([[1520/1519]])
| <small>([[1519/1518]])/([[1520/1519]])</small>
| [[2307361/2307360]]
| <small>[[2307361/2307360]]</small>
| 31
| 2.3.5.7.11.19.23.31
|-
|-
| S1520
| S1520
| ([[1520/1519]])/([[1521/1520]])
| <small>([[1520/1519]])/([[1521/1520]])</small>
| [[2310400/2310399]]
| <small>[[2310400/2310399]]</small>
| 31
| 2.3.5.7.13.19.31
|-
|-
| S2001
| S2001
| ([[2001/2000]])/([[2002/2001]])
| <small>([[2001/2000]])/([[2002/2001]])</small>
| [[4004001/4004000]]
| <small>[[4004001/4004000]]</small>
| 29
| 2.3.5.7.11.13.23.29
|-
|-
| S2024
| S2024
| ([[2024/2023]])/([[2025/2024]])
| <small>([[2024/2023]])/([[2025/2024]])</small>
| [[4096576/4096575]]
| <small>[[4096576/4096575]]</small>
| 23
| 2.3.5.7.11.17.23
|-
|-
| S2431
| S2431
| ([[2431/2430]])/([[2432/2431]])
| <small>([[2431/2430]])/([[2432/2431]])</small>
| [[5909761/5909760]]
| <small>[[5909761/5909760]]</small>
| 19
| 2.3.5.11.13.17.19
|-
|-
| S3249
| S3249
| ([[3249/3248]])/([[3250/3249]])
| <small>([[3249/3248]])/([[3250/3249]])</small>
| <font style="font-size:0.88em">[[10556001/10556000]]</font>
| <small>[[10556001/10556000]]</small>
| 29
| 2.3.5.7.13.19.29
|-
|-
| S9801
| S9801
| ([[9801/9800]])/([[9802/9801]])
| <small>([[9801/9800]])/([[9802/9801]])</small>
| <font style="font-size:0.88em">[[96059601/96059600]]</font>
| <small>[[96059601/96059600]]</small>
| 29
| 2.3.5.7.11.13.29
|-
|-
| S13311
| S13311
| <font style="font-size:0.86em">([[13311/13310]])/([[13312/13311]])</font>
| <small><small>([[13311/13310]])/([[13312/13311]])</small></small>
| <font style="font-size:0.79em">[[177182721/177182720]]</font>
| <small><small>[[177182721/177182720]]</small></small>
| 29
| 2.3.5.11.13.17.29
|-
|-
| S13455
| S13455
| <font style="font-size:0.86em">([[13455/13454]])/([[13456/13455]])</font>
| <small><small>([[13455/13454]])/([[13456/13455]])</small></small>
| <font style="font-size:0.79em">[[181037025/181037024]]</font>
| <small><small>[[181037025/181037024]]</small></small>
| 31
| 2.3.5.7.13.23.29.31
|}
|}


=== Alternatives to tempering square-particulars ===
=== Alternatives to tempering out square-particulars ===
It is common to temper square superparticulars, equating two adjacent superparticulars at some point in the harmonic series, but for higher accuracy or structural reasons it can be more beneficial to instead temper differences between consecutive square superparticulars so that the corresponding consecutive superparticulars are tempered to have equal spacing between them. If we define a sequence of commas {{nowrap|U''k'' {{=}} {{sfrac|S''k''|S(''k'' + 1)}}}}, we get [[#Sk/S(k + 1) (ultraparticulars)|ultraparticulars]]<ref group="note">In analogy with the "super-", "ultra-" progression and because these would be differences between adjacent differences between adjacent superparticulars, which means a higher order of "particular", and as we will see, no longer [[superparticular]], hence the need for a new name. Also note that the choice of indexing is rather arbitrary and up to debate, as U''k'' = S(''k'' - 1)/S''k'' and U''k'' = S(''k'' + 1)/S(''k'' + 2) also make sense. Therefore it is advised to use the S-expression to refer to an ultraparticular unambiguously, or the comma itself.</ref>. Ultraparticulars have a secondary (and mathematically equivalent) consequence: Because {{sfrac|''k'' + 2|''k'' + 1}} and {{sfrac|''k''|''k'' 1}} are equidistant from {{sfrac|''k'' + 1|''k''}} (because of tempering {{sfrac|S''k''|S(''k'' + 1)}}), this means that another expression for {{sfrac|S''k''|S(''k'' + 1)}} is the following:
It is common to temper out square superparticulars, equating two adjacent superparticulars at some point in the harmonic series, but for higher-accuracy or structural reasons it can be more beneficial to instead temper out differences between consecutive square superparticulars so that the corresponding consecutive superparticulars are tempered to have equal spacing between them. If we define a sequence of commas {{nowrap| U''k'' {{=}} {{sfrac|S''k''|S(''k'' + 1)}} }}, we get [[#Sk/S(k + 1) (ultraparticulars)|ultraparticulars]]<ref group="note">In analogy with the "super-", "ultra-" progression and because these would be differences between adjacent differences between adjacent superparticulars, which means a higher order of "particular", and as we will see, no longer superparticular, hence the need for a new name. Also note that the choice of indexing is rather arbitrary and up to debate, as U''k'' = S(''k'' - 1)/S''k'' and U''k'' = S(''k'' + 1)/S(''k'' + 2) also make sense. Therefore it is advised to use the S-expression to refer to an ultraparticular unambiguously, or the comma itself.</ref>. Ultraparticulars have a secondary and mathematically equivalent consequence: by tempering out {{sfrac|S''k''|S(''k'' + 1)}}, {{sfrac|''k'' + 2|''k'' + 1}} and {{sfrac|''k''|''k'' − 1}} are made equidistant from {{sfrac|''k'' + 1|''k''}}, which means that another expression for {{sfrac|S''k''|S(''k'' + 1)}} is the following:


<math>\displaystyle  {\rm S}k / {\rm S} (k + 1) = \frac{(k + 2) / (k - 1)}{((k + 1)/k)^3} </math>
$$ {\rm S}k / {\rm S} (k + 1) = \frac{(k + 2) / (k - 1)}{((k + 1)/k)^3} $$


This means you can read the ''k'' and {{nowrap|''k'' + 1}} from the S-expression of an ultraparticular as being the interval involved in the cubing equivalence (abbreviated to "cube relation" in [[#Sk/S(k + 1) (ultraparticulars)|the table of ultraparticulars]]).
This means you can read the ''k'' and {{nowrap| ''k'' + 1 }} from the S-expression of an ultraparticular as being the interval involved in the cubing equivalence (abbreviated to "cube relation" in [[#Sk/S(k + 1) (ultraparticulars)|the table of ultraparticulars]]).


Furthermore, defining another sequence of commas with [[semiparticular|formula {{sfrac|S''k''|S(''k'' + 2)}} leads to semiparticulars]] which inform many natural ways in which one might want to halve intervals with other intervals, and with their own more structural consequences, talked about there. These also arise from tempering consecutive ultraparticulars.
Furthermore, defining another sequence of commas with formula {{sfrac|S''k''|S(''k'' + 2)}} leads to [[#Sk/S(k + 2) (semiparticulars)|semiparticulars]], which inform many natural ways in which one might want to halve intervals with other intervals, and with their own more structural consequences, talked about there. These also arise from tempering out consecutive ultraparticulars.


== {{nowrap|S''k''*S(''k'' + 1)}} (triangle-particulars) ==
== {{nowrap|S''k''⋅S(''k'' + 1)}} (triangle-particulars) ==
=== Significance ===
=== Significance ===
1. Every triangle-particular is superparticular, so these are efficient commas. (See also the [[#Short proof of the superparticularity of triangle-particulars]].)
# Every triangle-particular is superparticular, so these are efficient commas. (See also the [[#Short proof of the superparticularity of triangle-particulars]].)
 
# Often each individual triangle-particular, taken as a comma, implies other useful equivalences not necessarily corresponding to the general form. In particular, every triangle-particular is the difference between two nearly-adjacent superparticular intervals {{sfrac|''k'' + 2|''k'' + 1}} and {{sfrac| ''k''|''k'' − 1}}.
2. Often each individual triangle-particular, taken as a comma, implies other useful equivalences not necessarily corresponding to the general form, speaking of which …
# Tempering out any two consecutive square-particulars S''k'' and {{nowrap|S(''k'' + 1)}} implies tempering out a triangle-particular, so these are common commas. (See also: [[lopsided comma]]s.)
 
# If we temper out {{nowrap|S''k''⋅S(''k'' + 1)}} but not S''k'' or {{nowrap|S(''k'' + 1)}}, then one or more intervals of {{sfrac|''k''|''k'' − 1}}, {{sfrac|''k'' + 1|''k''}}, and {{sfrac|''k'' + 2|''k'' + 1}} ''must'' be mapped inconsistently, because:
3. Every triangle-particular is the difference between two nearly-adjacent superparticular intervals {{nowrap|''k'' + 2|''k'' + 1}} and {{nowrap|''k''|''k'' − 1}}.
:: If {{sfrac|''k'' + 1|''k''}} is mapped above {{nowrap| {{sfrac|''k'' + 2|''k'' + 1}} ~ {{sfrac|''k''|''k'' − 1}} }} we have {{nowrap|{{sfrac|''k'' + 1|''k''}} > {{sfrac|''k''|''k'' − 1}}}} and if it is mapped below we have {{nowrap|{{sfrac|''k'' + 1|''k''}} < {{sfrac|''k'' + 2|''k'' + 1}}}}.
 
:: (Generalisations of this and their implications for [[consistency]] are discussed in the section covering [[#Sk⋅S(k + 1)⋅…⋅S(k + n − 1) (1/n-square-particulars)|1/''n''-square-particulars]].)
4. Tempering any two consecutive square-particulars S''k'' and {{nowrap|S(''k'' + 1)}} implies tempering a triangle-particular, so these are common commas. (See also: [[lopsided comma]]s.)
 
5. If we temper {{nowrap|S''k'' * S(''k'' + 1)}} but not S''k'' or {{nowrap|S(''k'' + 1)}}, then one or more intervals of {{sfrac|''k''|''k'' − 1}}, {{sfrac|''k'' + 1|''k''}}, and {{sfrac|''k'' + 2|''k'' + 1}} ''must'' be mapped inconsistently, because:
: If {{nowrap|''k'' + 1|''k''}} is mapped above {{nowrap|{{sfrac|''k'' + 2|''k'' + 1}} ~ {{sfrac|''k''|''k'' − 1}} we have {{nowrap|{{sfrac|''k'' + 1|''k''}} &gt; {{sfrac|''k''|''k'' − 1}}}} and if it is mapped below we have {{nowrap|{{sfrac|''k'' + 1|''k''}} &lt; {{sfrac|''k'' + 2|''k'' + 1}}}}.
: (Generalisations of this and their implications for consistency are discussed in [[#Sk*S(k + 1)*…*S(k + n − 1) (1/n-square-particulars)|the section covering 1/''n''-square-particulars]].)


=== Meaning ===
=== Meaning ===
Notice that if we equate {{sfrac|''k'' + 2|''k'' + 1}} with {{sfrac|''k''|''k'' − 1}} (by [[tempering out]] their difference), then multiply both sides by {{sfrac|''k'' + 1|''k''}}, we have:
If we equate {{sfrac|''k'' + 2|''k'' + 1}} with {{sfrac|''k''|''k'' − 1}} by tempering out their difference, then multiply both sides by {{sfrac|''k'' + 1|''k''}}, we have:


<math>\displaystyle \left(\frac{k + 2}{k + 1}\right)\left(\frac{k + 1}{k}\right) = \left(\frac{k + 1}{k}\right)\left(\frac{k}{k - 1}\right) </math>
$$ \left(\frac{k + 2}{k + 1}\right)\left(\frac{k + 1}{k}\right) = \left(\frac{k + 1}{k}\right)\left(\frac{k}{k - 1}\right) $$


which simplifies to:
which simplifies to:


<math>\displaystyle \frac{k + 2}{k} = \frac{k + 1}{k - 1} </math>
$$ \frac{k + 2}{k} = \frac{k + 1}{k - 1} $$
 
This means that if we temper out:


This means that if we temper: <math>{\rm S}k \cdot {\rm S}(k+1) = \frac{k/(k-1)}{(k+1)/k} \cdot \frac{(k+1)/k}{(k+2)/(k+1)} = \frac{k/(k-1)}{(k+2)/(k+1)}</math>
$${\rm S}k \cdot {\rm S}(k+1) = \frac{k/(k-1)}{(k+1)/k} \cdot \frac{(k+1)/k}{(k+2)/(k+1)} = \frac{k/(k-1)}{(k+2)/(k+1)} $$


… then this equivalence is achieved. Note that there is little to no reason to not also temper S''k'' and {{nowrap|S(''k'' + 1)}} individually unless other considerations seem to force your hand.
and this equivalence is achieved. Note that there is little to no reason to not also temper out S''k'' and {{nowrap|S(''k'' + 1)}} individually unless other considerations seem to force your hand.


=== Short proof of the superparticularity of triangle-particulars ===
=== Short proof of the superparticularity of triangle-particulars ===
<math>\displaystyle S(k)*S(k + 1) = \frac{\frac{k}{k - 1}}{\frac{k + 2}{k + 1}} = \frac{k(k + 1)}{(k - 1)(k + 2)} = \frac{k^2 + k}{k^2 + k - 2} </math>
$$ S(k) \cdot S(k + 1) = \frac{\frac{k}{k - 1}}{\frac{k + 2}{k + 1}} = \frac{k(k + 1)}{(k - 1)(k + 2)} = \frac{k^2 + k}{k^2 + k - 2} $$


Then notice that {{nowrap|''k''<sup>2</sup> + ''k''}} is always a multiple of 2, therefore the above always simplifies to a superparticular. Half of this superparticular is halfway between the corresponding square-particulars, and because of its composition it could therefore be reasoned that it'd likely be half as accurate as tempering either of the square-particulars individually, so these are "1/2-square-particulars" in a sense, and half of a square is a triangle, which is not a coincidence here because the numerators of all of these superparticular intervals/commas are [[triangular number]]s! (Hence the alternative name "[[triangle-particular]]".)
Then notice that {{nowrap| ''k''<sup>2</sup> + ''k'' }} is always a multiple of 2; therefore the above always simplifies to a superparticular. Half of this superparticular is halfway between the corresponding square-particulars, and because of its composition it could be reasoned that it would likely be half as accurate as tempering out either of the square-particulars individually, so these are "1/2-square-particulars" in a sense, and half of a square is a triangle, which is not a coincidence here because the numerators of all of these superparticular intervals are [[triangular number]]s, hence the alternative name ''triangle-particular''.


=== Table of triangle-particulars ===
=== Table of triangle-particulars ===
For completeness, all the intervals of this form are included, because of their structural importance for JI, and for the possibility of (in)consistency of mappings when tempered 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 all triangle-particulars from [[595/594]] up to [[21736/21735]]. It also tempers all the square-particulars composing those triangle-particulars with the exception of S169 and S170. It also 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>
|-
|-
! S-expression
! S-expression
! Interval relation
! Interval relation
! Ratio
! Ratio
! Prime limit
! Subgroup
|-
|-
| S2*S3
| S2⋅S3
| ([[3/1]])/([[2/1]])
| ([[3/1]])/([[2/1]])
| [[3/2]]
| [[3/2]]
| 3
| 2.3
|-
|-
| S3*S4
| S3⋅S4
| ([[3/2]])/([[5/4]])
| ([[3/2]])/([[5/4]])
| [[6/5]]
| [[6/5]]
| 5
| 2.3.5
|-
|-
| S4*S5
| S4⋅S5
| ([[4/3]])/([[6/5]])
| ([[4/3]])/([[6/5]])
| [[10/9]]
| [[10/9]]
| 5
| 2.3.5
|-
|-
| S5*S6
| S5⋅S6
| ([[5/4]])/([[7/6]])
| ([[5/4]])/([[7/6]])
| [[15/14]]
| [[15/14]]
| 7
| 2.3.5.7
|-
|-
| S6*S7
| S6⋅S7
| ([[6/5]])/([[8/7]])
| ([[6/5]])/([[8/7]])
| [[21/20]]
| [[21/20]]
| 7
| 2.3.5.7
|-
|-
| S7*S8 = S4/S6
| S7⋅S8
| ([[7/6]])([[9/8]])
| ([[7/6]])([[9/8]])
| [[28/27]]
| [[28/27]]
| 7
| 2.3.7
|-
|-
| S8*S9 = S6
| S8⋅S9
| ([[8/7]])/([[10/9]])
| ([[8/7]])/([[10/9]])
| [[36/35]]
| [[36/35]]
| 7
| 2.3.5.7
|-
|-
| S9*S10
| S9⋅S10
| ([[9/8]])/([[11/10]])
| ([[9/8]])/([[11/10]])
| [[45/44]]
| [[45/44]]
| 11
| 2.3.5.11
|-
|-
| S10*S11
| S10⋅S11
| ([[10/9]])/([[12/11]])
| ([[10/9]])/([[12/11]])
| [[55/54]]
| [[55/54]]
| 11
| 2.3.5.11
|-
|-
| S11*S12
| S11⋅S12
| ([[11/10]])/([[13/12]])
| ([[11/10]])/([[13/12]])
| [[66/65]]
| [[66/65]]
| 13
| 2.3.5.11.13
|-
|-
| S12*S13
| S12⋅S13
| ([[12/11]])/([[14/13]])
| ([[12/11]])/([[14/13]])
| [[78/77]]
| [[78/77]]
| 13
| 2.3.7.11.13
|-
|-
| S13*S14
| S13⋅S14
| ([[13/12]])/([[15/14]])
| ([[13/12]])/([[15/14]])
| [[91/90]]
| [[91/90]]
| 13
| 2.3.5.7.13
|-
|-
| S14*S15
| S14⋅S15
| ([[14/13]])/([[16/15]])
| ([[14/13]])/([[16/15]])
| [[105/104]]
| [[105/104]]
| 13
| 2.3.5.7.13
|-
|-
| S15*S16
| S15⋅S16
| ([[15/14]])/([[17/16]])
| ([[15/14]])/([[17/16]])
| [[120/119]]
| [[120/119]]
| 17
| 2.3.5.7.17
|-
|-
| S16*S17
| S16⋅S17
| ([[16/15]])/([[18/17]])
| ([[16/15]])/([[18/17]])
| [[136/135]]
| [[136/135]]
| 17
| 2.3.5.17
|-
|-
| S17*S18
| S17⋅S18
| ([[17/16]])/([[19/18]])
| ([[17/16]])/([[19/18]])
| [[153/152]]
| [[153/152]]
| 19
| 2.3.17.19
|-
|-
| S18*S19
| S18⋅S19
| ([[18/17]])/([[20/19]])
| ([[18/17]])/([[20/19]])
| [[171/170]]
| [[171/170]]
| 19
| 2.3.5.17.19
|-
|-
| S19*S20
| S19⋅S20
| ([[19/18]])/([[21/20]])
| ([[19/18]])/([[21/20]])
| [[190/189]]
| [[190/189]]
| 19
| 2.3.5.7.19
|-
|-
| S20*S21
| S20⋅S21
| ([[20/19]])/([[22/21]])
| ([[20/19]])/([[22/21]])
| [[210/209]]
| [[210/209]]
| 19
| 2.3.5.7.11.19
|-
|-
| S21*S22
| S21⋅S22
| ([[21/20]])/([[23/22]])
| ([[21/20]])/([[23/22]])
| [[231/230]]
| [[231/230]]
| 23
| 2.3.5.7.11.23
|-
|-
| S22*S23
| S22⋅S23
| ([[22/21]])/([[24/23]])
| ([[22/21]])/([[24/23]])
| [[253/252]]
| [[253/252]]
| 23
| 2.3.5.7.11.23
|-
|-
| S23*S24
| S23⋅S24
| ([[23/22]])/([[25/24]])
| ([[23/22]])/([[25/24]])
| [[276/275]]
| [[276/275]]
| 23
| 2.3.5.11.23
|-
|-
| S24*S25
| S24⋅S25
| ([[24/23]])/([[26/25]])
| ([[24/23]])/([[26/25]])
| [[300/299]]
| [[300/299]]
| 23
| 2.3.5.13.23
|-
|-
| S25*S26 = S10/S12
| S25⋅S26
| ([[25/24]])/([[27/26]])
| ([[25/24]])/([[27/26]])
| [[325/324]]
| [[325/324]]
| 13
| 2.3.5.13
|-
|-
| S26*S27
| S26⋅S27
| ([[26/25]])/([[28/27]])
| ([[26/25]])/([[28/27]])
| [[351/350]]
| [[351/350]]
| 13
| 2.3.5.7.13
|-
|-
| S27*S28
| S27⋅S28
| ([[27/26]])/([[29/28]])
| ([[27/26]])/([[29/28]])
| [[378/377]]
| [[378/377]]
| 29
| 2.3.5.7.13.29
|-
|-
| S28*S29
| S28⋅S29
| ([[28/27]])/([[30/29]])
| ([[28/27]])/([[30/29]])
| [[406/405]]
| [[406/405]]
| 29
| 2.3.5.7.29
|-
|-
| S29*S30
| S29⋅S30
| ([[29/28]])/([[31/30]])
| ([[29/28]])/([[31/30]])
| [[435/434]]
| [[435/434]]
| 31
| 2.3.5.7.29.31
|-
|-
| S30*S31
| S30⋅S31
| ([[30/29]])/([[32/31]])
| ([[30/29]])/([[32/31]])
| [[465/464]]
| [[465/464]]
| 31
| 2.3.5.29.31
|-
|-
| S31*S32
| S31⋅S32
| ([[31/30]])/([[33/32]])
| ([[31/30]])/([[33/32]])
| [[496/495]]
| [[496/495]]
| 31
| 2.3.5.11.31
|-
|-
| S32*S33
| S32⋅S33
| ([[32/31]])/([[34/33]])
| ([[32/31]])/([[34/33]])
| [[528/527]]
| [[528/527]]
| 31
| 2.3.11.17.31
|-
|-
| S33*S34
| S33⋅S34
| ([[33/32]])/([[35/34]])
| ([[33/32]])/([[35/34]])
| [[561/560]]
| [[561/560]]
| 17
| 2.3.5.7.11.17
|-
|-
| S34*S35
| S34⋅S35
| ([[34/33]])/([[36/35]])
| ([[34/33]])/([[36/35]])
| [[595/594]]
| [[595/594]]
| 17
| 2.3.5.7.11.17
|-
|-
| S49*S50 = S35
| S49⋅S50
| ([[49/48]])/([[51/50]])
| ([[49/48]])/([[51/50]])
| [[1225/1224]]
| [[1225/1224]]
| 17
| 2.3.5.7.17
|-
|-
| S50*S51
| S50⋅S51
| ([[50/49]])/([[52/51]])
| ([[50/49]])/([[52/51]])
| [[1275/1274]]
| [[1275/1274]]
| 17
| 2.3.5.7.13.17
|-
|-
| S55*S56
| S55⋅S56
| ([[55/54]])/([[57/56]])
| ([[55/54]])/([[57/56]])
| [[1540/1539]]
| [[1540/1539]]
| 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
| ([[63/62]])/([[65/64]])
| ([[63/62]])/([[65/64]])
| [[2016/2015]]
| [[2016/2015]]
| 31
| 2.3.5.7.13.31
|-
|-
| S64*S65
| S64⋅S65
| ([[64/63]])/([[66/65]])
| ([[64/63]])/([[66/65]])
| [[2080/2079]]
| [[2080/2079]]
| 13
| 2.3.5.7.11.13
|-
|-
| S76*S77
| S76⋅S77
| ([[76/75]])/([[78/77]])
| ([[76/75]])/([[78/77]])
| [[2926/2925]]
| [[2926/2925]]
| 19
| 2.3.5.7.11.13.19
|-
|-
| S91*S92
| S91⋅S92
| ([[91/90]])/([[93/92]])
| ([[91/90]])/([[93/92]])
| [[4186/4185]]
| [[4186/4185]]
| 31
| 2.3.5.7.13.23.31
|-
|-
| S115*S116
| <small>S115⋅S116</small>
| ([[115/114]])/([[117/116]])
| <small>([[115/114]])/([[117/116]])</small>
| [[6670/6669]]
| [[6670/6669]]
| 29
| 2.3.5.13.19.23.29
|-
|-
| S153*S154
| <small>S153⋅S154</small>
| ([[153/152]])/([[155/154]])
| <small>([[153/152]])/([[155/154]])</small>
| [[11781/11780]]
| <small>[[11781/11780]]</small>
| 31
| 2.3.5.7.11.17.19.31
|-
|-
| S154*S155
| <small>S154⋅S155</small>
| ([[154/153]])/([[156/155]])
| <small>([[154/153]])/([[156/155]])</small>
| [[11935/11934]]
| <small>[[11935/11934]]</small>
| 31
| 2.3.5.7.11.13.17.31
|-
|-
| S169*S170
| <small>S169⋅S170</small>
| ([[169/168]])/([[171/170]])
| <small>([[169/168]])/([[171/170]])</small>
| [[14365/14364]]
| <small>[[14365/14364]]</small>
| 19
| 2.3.5.7.13.17.19
|-
|-
| S208*S209
| <small>S208⋅S209</small>
| ([[208/207]])/([[210/209]])
| <small>([[208/207]])/([[210/209]])</small>
| [[21736/21735]]
| <small>[[21736/21735]]</small>
| 19
| 2.3.5.7.11.13.19
|-
|-
| S323*S324
| <small>S323⋅S324</small>
| ([[323/322]])/([[325/324]])
| <small>([[323/322]])/([[325/324]])</small>
| [[52326/52325]]
| <small>[[52326/52325]]</small>
| 23
| 2.3.5.7.13.17.19.23
|-
|-
| S341*S342
| <small>S341⋅S342</small>
| ([[341/340]])/([[343/342]])
| <small>([[341/340]])/([[343/342]])</small>
| [[58311/58310]]
| <small>[[58311/58310]]</small>
| 31
| 2.3.5.7.11.17.19.31
|-
|-
| S494*S495
| <small>S494⋅S495</small>
| ([[494/493]])/([[496/495]])
| <small>([[494/493]])/([[496/495]])</small>
| [[122265/122264]]
| <small>[[122265/122264]]</small>
| 31
| 2.3.5.7.11.13.19.29.31
|-
|-
| S1519*S1520
| <small>S1519⋅S1520</small>
| ([[1519/1518]])/([[1521/1520]])
| <small>([[1519/1518]])/([[1521/1520]])</small>
| [[1154440/1154439]]
| <small>[[1154440/1154439]]</small>
| 31
| 2.3.5.7.11.13.19.23.31
|}
|}


== {{nowrap|S''k''*S(''k'' + 1)*…*S(''k'' + ''n'' − 1)}} (1/''n''-square-particulars) ==
== S''k''⋅S(''k'' + 1)⋅…⋅S(''k'' + ''n'' − 1) (1/''n''-square-particulars) ==
=== Motivation ===
=== Significance ===
1/''n''-square-particulars are a generalization of square- and 1/2-square-particulars to a comma/interval whose S-expression is can be written in the form of a product of ''n'' consecutive square-particulars (including S''k'' but not including {{nowrap|S(''k'' + ''n'')}}) and which can therefore be written as the ratio between the two superparticulars {{sfrac|''k''|''k'' − 1}} and {{sfrac|''k'' + ''n''|''k'' + ''n'' − 1}}.
1/''n''-square-particulars are a generalization of square- and 1/2-square-particulars to an interval whose S-expression can be written in the form of a product of ''n'' consecutive square-particulars (including S''k'' but not including {{nowrap|S(''k'' + ''n'')}}) and which can therefore be written as the ratio between the two superparticulars {{sfrac|''k''|''k'' − 1}} and {{sfrac|''k'' + ''n''|''k'' + ''n'' − 1}}.


In other words, each and every S-expression of a comma as a 1/''n''-square-particular corresponds exactly to expressing it as the ratio between two [[superparticular]] intervals, with ''n'' distance between them, where, for example, 10/9 and 11/10 are considered as having 1 distance between them, corresponding to (1/1-)square-particulars (in this case [[100/99|S10]]).
In other words, each and every S-expression of a comma as a 1/''n''-square-particular corresponds exactly to expressing it as the ratio between two superparticular intervals, with ''n'' distance between them. For example, 10/9 and 11/10 are considered as having 1 distance between them, corresponding to ordinary square-particulars (in this case [[100/99|S10]]).


These commas are important in a few ways:
These commas are important in a few ways:
1. As a generalization of important special cases {{nowrap|''n'' {{=}} 0|''n'' {{=}} 1}}, and {{nowrap|''n'' {{=}} 2}}, (which are almost all superparticular; the only case where they aren't is that {{nowrap|''n'' {{=}} 3}} (1/3-square-particulars) are throdd-particular one third of the time, so this suggests these are efficient commas. A cursory look will show that many 1/n-square-particulars for small n are superparticular, and many more are the next best things (odd-particular, throdd-particular, quodd-particular, etc.) so this confirms them being a family of efficient commas.
# As a generalization of important special cases {{nowrap| ''n'' {{=}} 0, 1, 2 }} (which are almost all superparticular; the only case where they are not is that {{nowrap|''n'' {{=}} 3}} (1/3-square-particulars) are throdd-particular one third of the time, so this suggests these are efficient commas. A cursory look will show that many 1/''n''-square-particulars for small ''n'' are superparticular, and many more are the next best things (odd-particular, throdd-particular, quodd-particular, etc.) so this confirms them being a family of efficient commas.
 
# Because of being the ratio of two superparticular intervals, in higher-complexity cases they often correspond to small commas between large commas which we do not want to temper out, for example {{nowrap| {{sfrac|[[81/80]]|[[91/90]]}} {{=}} S81⋅S82⋅…⋅S90}} {{nowrap|{{=}} [[729/728]]}} {{nowrap| {{=}} S27 }}. They also often simplify in cases like these; note that a suggested shorthand is S81..90 for {{nowrap|S81⋅S82⋅ …⋅S90}} and more generally S''a''..''b'' for {{nowrap|S''a''⋅S(''a'' + 1)⋅…⋅S''b''}}.
2. Because of being the ratio of two superparticular intervals, in higher-complexity cases they often correspond to small commas between large commas which we don't want to temper, for example {{nowrap|{{sfrac|[[81/80]]|[[91/90]]}} {{=}} S81 * S82 * … * S90}} {{nowrap|{{=}} [[729/728]]}} {{nowrap|{{=}} S27}}. They also often simplify in cases like these; note that a suggested shorthand is S81..90 for {{nowrap|S81 * S82 * … * S90}} and thus more generally S''a''..''b'' for {{nowrap|S''a'' * S(''a'' + 1) * … * S''b''}}.
# They often correspond to "nontrivial" equivalences that need to be dug up, which are not obvious from their expression as a ratio of two superparticular intervals, for example, [[385/384|S33⋅S34⋅S35]], suggesting they are a goldmine for valuable tempering opportunities.  
 
# Their expressions naturally make them implied by tempering out consecutive square-particulars, so if they are present and that the individual square-particulars are not tempered out, if you want to extend the temperament and/or reduce its rank (tempering it down) and/or hope to make the temperament more efficient, you can try tempering out the observed square-particulars that a vanishing 1/''n''-square-particular is composed of although this is not always possible. There is also good theoretical motivation for wanting to do this, as the next section will discuss.
3. They often correspond to "nontrivial" equivalences that need to be dug up which are not obvious from their expression as a ratio of two superparticular intervals, for example, [[385/384|S33*S34*S35]], suggesting they are a goldmine for valuable tempering opportunities.  
# They are relevant to understanding how much damage is present in a temperament's harmonic series representation, because they show how many superparticular intervals are either not distinguished or worse mapped inconsistently. As such, they are relevant to understanding limitations of consistency (or more precisely, [[monotonicity]]) of any given temperament, as the next section will discuss.
 
4. Their expressions naturally make them implied by tempering consecutive square-particulars, so if you notice them present and that the individual square-particulars aren't tempered, if you want to extend your temperament and/or reduce its rank (tempering it down) and/or hope to make your temperament more efficient, you can try tempering the untempered square-particulars that a tempered 1/''n''-square-particular is composed of (although this is not always possible). There is also good theoretical motivation for wanting to do this, as the next section will discuss.


5. They're relevant to understanding how much damage is present in a temperament's harmonic series representation, because they show how many superparticular intervals are either not distinguished or worse mapped inconsistently, bringing us finally to …
=== Implications for consistency ===
1/''n''-square-particulars, which is to say, commas which can be written in the form of a product of ''n'' consecutive square-particulars (including S''k'' but not including {{nowrap|S(''k'' + ''n'')}}) and which can therefore be written as the ratio between the two superparticulars {{sfrac|''k''|''k'' − 1}} and {{sfrac|''k'' + ''n''|''k'' + ''n'' − 1}} have implications for the consistency of the ({{nowrap|''k'' + ''n''}})-[[odd-limit]] when tempered out. Specifically:


6. They're relevant to understanding limitations of consistency (or more precisely, monotonicity) of any given temperament, as the next section will discuss.
If a temperament tempers out a 1/''n''-square-particular of the form {{nowrap|S''k''⋅S(''k'' + 1)⋅…⋅S(''k'' + ''n'' − 1)}}, it must temper out all of the ''n'' square-particulars that compose it, which is to say it must also temper all of S''k'', {{nowrap|S(''k'' + 1)}}, …, {{nowrap|S(''k'' + ''n'' − 1)}} to make the ({{nowrap|''k'' + ''n''}})-odd-limit consistent. If it does not, it is ''necessarily'' inconsistent due to the lack of monotonicity in the segment.<ref group="note">Technically, the tuning of the higher-rank temperament corresponding to the lower-rank temperament that tempers out all of these commas is the exact set of tuning for which consistency is possible. </ref> A proof is as follows:


=== Significance/implications for consistency ===
{{Proof|contents=
1/n-square-particulars, which is to say, commas which can be written in the form of a product of ''n'' consecutive square-particulars (including S''k'' but not including {{nowrap|S(''k'' + ''n'')}}) and which can therefore be written as the ratio between the two superparticulars {{sfrac|''k''|''k'' − 1}} and {{sfrac|''k'' + ''n''|''k'' + ''n'' − 1}} have implications for the [[consistency]] of the ({{nowrap|''k'' + ''n''}})-[[odd-limit]] when tempered. Specifically:
 
If a temperament tempers a 1/''n''-square-particular of the form {{nowrap|S''k''*S(''k'' + 1)*…*S(''k'' + ''n'' − 1)}}, it must temper all of the ''n'' square-particulars that compose it, which is to say it must also temper all of S''k'', {{nowrap|S(''k'' + 1)}}, …, {{nowrap|S(''k'' + ''n'' − 1)}}. If it does not, it is ''necessarily'' inconsistent (more formally and weakly, not monotonic) in the ({{nowrap|''k'' + ''n''}})-odd-limit.<ref group="note">Note that this statement is a slight inaccuracy, because technically the tuning of the higher rank temperament corresponding to the lower rank temperament that tempers all of these commas is the unique ''and only'' (continuum of) tuning(s) for which this statement is false, but it's reasonable to simplify this technicality as this (continuum of) tuning(s) corresponds exactly and uniquely to tempering all the square-particulars we said were not tempered.</ref> A proof is as follows:


Consider the following sequence of superparticular intervals, all of which in the ({{nowrap|''k'' + ''n''}})-odd-limit:
Consider the following sequence of superparticular intervals, all of which in the ({{nowrap|''k'' + ''n''}})-odd-limit:


<math>\displaystyle\frac{k + n}{k + n - 1}, \frac{k + n - 1}{k + n - 2}, …, \frac{k + 1}{k}, \frac{k}{k - 1}</math>
<math>\displaystyle \frac{k + n}{k + n - 1}, \frac{k + n - 1}{k + n - 2}, …, \frac{k + 1}{k}, \frac{k}{k - 1}</math>


Because of tempering {{nowrap|S''k''*S(''k'' + 1)*…*S(''k'' + ''n'' − 1)}}, we require that {{nowrap|{{sfrac|''k'' + ''n''|''k'' + ''n'' − 1}} {{=}} {{sfrac|''k''|''k'' − 1}}}} consistently. Therefore, if any superparticular {{sfrac|''x''|''x'' − 1}} imbetween (meaning {{nowrap|''k'' + ''n'' &gt; ''x'' &gt; ''k''}}) is not tempered to the same tempered interval, it must be mapped to a different tempered interval. But this means that one of the following must be true:
Because of tempering out {{nowrap|S''k''⋅S(''k'' + 1)⋅…⋅S(''k'' + ''n'' − 1)}}, we require that {{nowrap|{{sfrac|''k'' + ''n''|''k'' + ''n'' − 1}} {{=}} {{sfrac|''k''|''k'' − 1}}}} consistently. Therefore, if any superparticular {{sfrac|''x''|''x'' − 1}} imbetween (meaning {{nowrap|''k'' + ''n'' > ''x'' > ''k''}}) is not tempered to the same tempered interval, it must be mapped to a different tempered interval. But this means that one of the following must be true:


<math>\displaystyle\begin{align}
<math>\displaystyle\begin{align}
Line 817: Line 819:
Therefore any superparticular interval {{sfrac|''x''|''x'' − 1}} between the extrema must be mapped to the same interval as those extrema in order for a consistent tuning in the ({{nowrap|''k'' + ''n''}})-odd-limit to even potentially be possible. Another way of phrasing this conclusion is that tempering {{nowrap|S''k''*S(''k'' + 1)*…*S(''k'' + ''n'' − 1)}} but not all of the constituent square-particulars limits the possible odd-limit consistency of a temperament to the ({{nowrap|''k'' − 1}})-odd-limit.
Therefore any superparticular interval {{sfrac|''x''|''x'' − 1}} between the extrema must be mapped to the same interval as those extrema in order for a consistent tuning in the ({{nowrap|''k'' + ''n''}})-odd-limit to even potentially be possible. Another way of phrasing this conclusion is that tempering {{nowrap|S''k''*S(''k'' + 1)*…*S(''k'' + ''n'' − 1)}} but not all of the constituent square-particulars limits the possible odd-limit consistency of a temperament to the ({{nowrap|''k'' − 1}})-odd-limit.


}}


=== {{nowrap|S(''k'' − 1)*S''k''*S(''k'' + 1)}} (1/3-square-particulars) ===
=== S(''k'' − 1)⋅S''k''⋅S(''k'' + 1) (1/3-square-particulars) ===
This section concerns commas of the form {{nowrap|S(''k'' − 1) * S''k'' * S(''k'' + 1) {{=}} {{sfrac|&nbsp;{{sfrac|''k'' − 1|''k'' − 2}}&nbsp;|&nbsp;{{sfrac|''k'' + 2|''k'' + 1}}&nbsp;}}}} which therefore do not (directly) involve the ''k''th harmonic. These are a special case of 1/''n''-square-particulars.
This section concerns commas of the form {{nowrap| S(''k'' − 1)⋅S''k''⋅S(''k'' + 1) {{=}} {{sfrac|(''k'' − 1)/(''k'' − 2)|(''k'' + 2)/(''k'' + 1}}) }} which therefore do not directly involve the ''k''-th harmonic. These, along with square-particulars and {{frac|1|2}}-square-particulars (a.k.a. [[triangle-particular]]s), are a special case of 1/''n''-square-particulars.


==== Significance ====
==== Significance ====
1. Two-thirds of all {{frac|1|3}}-square-particulars are superparticular and the other third are [[#Glossary|throdd-particular]], so these are efficient commas. (See also the [[#Proof of simplification of 1/3-square-particulars]].)
# Two-thirds of all {{frac|1|3}}-square-particulars are superparticular and the other third are [[#Glossary|throdd-particular]], so these are efficient commas. (See also the [[#Proof of simplification of 1/3-square-particulars]].)
# They are often implied in a variety of ways by combinations of other commas discussed on this page.
# Their omission of direct relation to the ''k''-th harmonic make them theoretically interesting and potentially useful. (The other type of comma on this page that does this is [[semiparticular]]s.)


2. They are often implied in a variety of ways by combinations of other commas discussed on this page.
{{Proof|title=Proof of simplification of 1/3-square-particulars|contents=


3. Their omission of direct relation to the ''k''th harmonic make them theoretically interesting and potentially useful. (The other type of comma on this page that does this is [[semiparticular]]s.)
4. Square-particulars, {{frac|1|2}}-square-particulars (a.k.a. [[triangle-particular]]s), and {{frac|1|3}}-square-particulars are part of a more general sequence with interesting properties: [[1/n-square-particular|1/''n''-square-particular]]s.
==== Proof of simplification of 1/3-square-particulars ====
We can check the general algebraic expression of any 1/3-square-particular for any potential simplifications:
We can check the general algebraic expression of any 1/3-square-particular for any potential simplifications:


<math>\displaystyle\begin{align}
<math>\displaystyle
S(k-1) * S(k) * S(k+1) &= \left(\frac{\frac{k-1}{k-2}}{\frac{k}{k-1}}\right)\left(\frac{\frac{k}{k-1}}{\frac{k+1}{k}}\right)\left(\frac{\frac{k+1}{k}}{\frac{k+2}{k+1}}\right) \\
\begin{align}
S(k-1) \cdot S(k) \cdot S(k+1) &= \left(\frac{\frac{k-1}{k-2}}{\frac{k}{k-1}}\right)\left(\frac{\frac{k}{k-1}}{\frac{k+1}{k}}\right)\left(\frac{\frac{k+1}{k}}{\frac{k+2}{k+1}}\right) \\
&= \frac{\frac{k-1}{k-2}}{\frac{k+2}{k+1}} \\
&= \frac{\frac{k-1}{k-2}}{\frac{k+2}{k+1}} \\
&= \frac{(k-1)(k+1)}{(k-2)(k+2)} \\
&= \frac{(k-1)(k+1)}{(k-2)(k+2)} \\
&= \frac{k^2 - 1}{k^2 - 4}
&= \frac{k^2 - 1}{k^2 - 4}
\end{align}</math>
\end{align}
</math>


If {{nowrap|''k'' {{=}} 3''n'' + 1}} then:
If {{nowrap|''k'' {{=}} 3''n'' + 1}} then:


<math>\displaystyle S(k-1) * Sk * S(k+1) = \frac{9n^2 + 6n}{9n^2 + 6n - 3} = \frac{3n^2 + 2n}{3n^2 + 2n - 1}</math>
<math>\displaystyle S(k-1) \cdot Sk \cdot S(k+1) = \frac{9n^2 + 6n}{9n^2 + 6n - 3} = \frac{3n^2 + 2n}{3n^2 + 2n - 1}</math>


if {{nowrap|''k'' {{=}} 3''n'' + 2}} then:
If {{nowrap|''k'' {{=}} 3''n'' + 2}} then:


<math>\displaystyle S(k-1) * Sk * S(k+1) = \frac{9n^2 + 12n + 3}{9n^2 + 12n} = \frac{3n^2 + 4n + 1}{3n^2 + 4n}</math>
<math>\displaystyle S(k-1) \cdot Sk \cdot S(k+1) = \frac{9n^2 + 12n + 3}{9n^2 + 12n} = \frac{3n^2 + 4n + 1}{3n^2 + 4n}</math>


if {{nowrap|''k'' {{=}} 3''n''}} then:
If {{nowrap|''k'' {{=}} 3''n''}} then:


<math>\displaystyle S(k-1) * Sk * S(k+1) = \frac{9n^2 - 1}{9n^2 - 4}</math>
<math>\displaystyle S(k-1) \cdot Sk \cdot S(k+1) = \frac{9n^2 - 1}{9n^2 - 4} </math>


In other words, what this shows is all {{frac|1|3}}-square-particulars of the form S(''k'' − 1) * S''k'' * S(''k'' + 1) are superparticular iff ''k'' is throdd (not a multiple of 3), and all {{frac|1|3}}-square-particulars of the form {{nowrap|S(3''k'' − 1) * S(3''k'') * S(3''k'' + 1)}} are throdd-particular with the numerator and denominator always being one less than a multiple of 3 (which is to say, commas of this form are throdd-particular iff ''k'' is threven and superparticular iff ''k'' is throdd).
In other words, what this shows is all {{frac|1|3}}-square-particulars of the form S(''k'' − 1)⋅S''k''⋅S(''k'' + 1) are superparticular iff ''k'' is throdd (not a multiple of 3), and all {{frac|1|3}}-square-particulars of the form {{nowrap|S(3''k'' − 1)⋅S(3''k'')⋅S(3''k'' + 1)}} are throdd-particular with the numerator and denominator always being one less than a multiple of 3 (which is to say, commas of this form are throdd-particular iff ''k'' is threven and superparticular iff ''k'' is throdd).


=== Tables of 1/n-square-particulars ===
}}


=== Tables of 1/''n''-square-particulars ===
{| class="wikitable center-all
{| class="wikitable center-all
|+ style="font-size: 105%;" | 41-limit {{frac|1|3}}-square-particulars
|+ style="font-size: 105%;" | 41-limit {{frac|1|3}}-square-particulars
Line 864: Line 867:
! Prime limit
! Prime limit
|-
|-
| S2*S3*S4
| S2⋅S3⋅S4
| ([[2/1]])/([[5/4]])
| ([[2/1]])/([[5/4]])
| [[8/5]]
| [[8/5]]
| 5
| 5
|-
|-
| S3*S4*S5
| S3⋅S4⋅S5
| ([[3/2]])/([[6/5]])
| ([[3/2]])/([[6/5]])
| [[5/4]]
| [[5/4]]
| 5
| 5
|-
|-
| S4*S5*S6
| S4⋅S5⋅S6
| ([[4/3]])/([[7/6]])
| ([[4/3]])/([[7/6]])
| [[8/7]]
| [[8/7]]
| 7
| 7
|-
|-
| S5*S6*S7
| S5⋅S6⋅S7
| ([[5/4]])/([[8/7]])
| ([[5/4]])/([[8/7]])
| [[35/32]]
| [[35/32]]
| 7
| 7
|-
|-
| S6*S7*S8
| S6⋅S7⋅S8
| ([[6/5]])/([[9/8]])
| ([[6/5]])/([[9/8]])
| [[16/15]]
| [[16/15]]
| 5
| 5
|-
|-
| S7*S8*S9
| S7⋅S8⋅S9
| ([[7/6]])/([[10/9]])
| ([[7/6]])/([[10/9]])
| [[21/20]]
| [[21/20]]
| 7
| 7
|-
|-
| S8*S9*S10
| S8⋅S9⋅S10
| ([[8/7]])/([[11/10]])
| ([[8/7]])/([[11/10]])
| [[80/77]]
| [[80/77]]
| 11
| 11
|-
|-
| S9*S10*S11
| S9⋅S10⋅S11
| ([[9/8]])/([[12/11]])
| ([[9/8]])/([[12/11]])
| [[33/32]]
| [[33/32]]
| 11
| 11
|-
|-
| S10*S11*S12
| S10⋅S11⋅S12
| ([[10/9]])/([[13/12]])
| ([[10/9]])/([[13/12]])
| [[40/39]]
| [[40/39]]
| 13
| 13
|-
|-
| S11*S12*S13
| S11⋅S12⋅S13
| ([[11/10]])/([[14/13]])
| ([[11/10]])/([[14/13]])
| [[143/140]]
| [[143/140]]
| 13
| 13
|-
|-
| S12*S13*S14
| S12⋅S13⋅S14
| ([[12/11]])/([[15/14]])
| ([[12/11]])/([[15/14]])
| [[56/55]]
| [[56/55]]
| 11
| 11
|-
|-
| S13*S14*S15
| S13⋅S14⋅S15
| ([[13/12]])/([[16/15]])
| ([[13/12]])/([[16/15]])
| [[65/64]]
| [[65/64]]
| 13
| 13
|-
|-
| S14*S15*S16
| S14⋅S15⋅S16
| ([[14/13]])/([[17/16]])
| ([[14/13]])/([[17/16]])
| [[224/221]]
| [[224/221]]
| 17
| 17
|-
|-
| S15*S16*S17
| S15⋅S16⋅S17
| ([[15/14]])/([[18/17]])
| ([[15/14]])/([[18/17]])
| [[85/84]]
| [[85/84]]
| 17
| 17
|-
|-
| S16*S17*S18
| S16⋅S17⋅S18
| ([[16/15]])/([[19/18]])
| ([[16/15]])/([[19/18]])
| [[96/95]]
| [[96/95]]
| 19
| 19
|-
|-
| S17*S18*S19
| S17⋅S18⋅S19
| ([[17/16]])/([[20/19]])
| ([[17/16]])/([[20/19]])
| [[323/320]]
| [[323/320]]
| 19
| 19
|-
|-
| S18*S19*S20
| S18⋅S19⋅S20
| ([[18/17]])/([[21/20]])
| ([[18/17]])/([[21/20]])
| [[120/119]]
| [[120/119]]
| 17
| 17
|-
|-
| S19*S20*S21
| S19⋅S20⋅S21
| ([[19/18]])/([[22/21]])
| ([[19/18]])/([[22/21]])
| [[133/132]]
| [[133/132]]
| 19
| 19
|-
|-
| S20*S21*S22
| S20⋅S21⋅S22
| ([[20/19]])/([[23/22]])
| ([[20/19]])/([[23/22]])
| [[440/437]]
| [[440/437]]
| 23
| 23
|-
|-
| S21*S22*S23
| S21⋅S22⋅S23
| ([[21/20]])/([[24/23]])
| ([[21/20]])/([[24/23]])
| [[161/160]]
| [[161/160]]
| 23
| 23
|-
|-
| S22*S23*S24
| S22⋅S23⋅S24
| ([[22/21]])/([[25/24]])
| ([[22/21]])/([[25/24]])
| [[176/175]]
| [[176/175]]
| 11
| 11
|-
|-
| S23*S24*S25
| S23⋅S24⋅S25
| ([[23/22]])/([[26/25]])
| ([[23/22]])/([[26/25]])
| [[575/572]]
| [[575/572]]
| 23
| 23
|-
|-
| S24*S25*S26
| S24⋅S25⋅S26
| ([[24/23]])/([[27/26]])
| ([[24/23]])/([[27/26]])
| [[208/207]]
| [[208/207]]
| 23
| 23
|-
|-
| S25*S26*S27
| S25⋅S26⋅S27
| ([[25/24]])/([[28/27]])
| ([[25/24]])/([[28/27]])
| [[225/224]]
| [[225/224]]
| 7
| 7
|-
|-
| S26*S27*S28
| S26⋅S27⋅S28
| ([[26/25]])/([[29/28]])
| ([[26/25]])/([[29/28]])
| [[728/725]]
| [[728/725]]
| 29
| 29
|-
|-
| S27*S28*S29
| S27⋅S28⋅S29
| ([[27/26]])/([[30/29]])
| ([[27/26]])/([[30/29]])
| [[261/260]]
| [[261/260]]
| 29
| 29
|-
|-
| S28*S29*S30
| S28⋅S29⋅S30
| ([[28/27]])/([[31/30]])
| ([[28/27]])/([[31/30]])
| [[280/279]]
| [[280/279]]
| 31
| 31
|-
|-
| S29*S30*S31
| S29⋅S30⋅S31
| ([[29/28]])/([[32/31]])
| ([[29/28]])/([[32/31]])
| [[899/896]]
| [[899/896]]
| 31
| 31
|-
|-
| S30*S31*S32
| S30⋅S31⋅S32
| ([[30/29]])/([[33/32]])
| ([[30/29]])/([[33/32]])
| [[320/319]]
| [[320/319]]
| 29
| 29
|-
|-
| S31*S32*S33
| S31⋅S32⋅S33
| ([[31/30]])/([[34/33]])
| ([[31/30]])/([[34/33]])
| [[341/340]]
| [[341/340]]
| 31
| 31
|-
|-
| S32*S33*S34
| S32⋅S33⋅S34
| ([[32/31]])/([[35/34]])
| ([[32/31]])/([[35/34]])
| [[1088/1085]]
| [[1088/1085]]
| 31
| 31
|-
|-
| S33*S34*S35
| S33⋅S34⋅S35
| ([[33/32]])/([[36/35]])
| ([[33/32]])/([[36/35]])
| [[385/384]]
| [[385/384]]
| 11
| 11
|-
|-
| S34*S35*S36
| S34⋅S35⋅S36
| ([[34/33]])/([[37/36]])
| ([[34/33]])/([[37/36]])
| [[408/407]]
| [[408/407]]
| 37
| 37
|-
|-
| S35*S36*S37
| S35⋅S36⋅S37
| ([[35/34]])/([[38/37]])
| ([[35/34]])/([[38/37]])
| [[1295/1292]]
| [[1295/1292]]
| 37
| 37
|-
|-
| S36*S37*S38
| S36⋅S37⋅S38
| ([[36/35]])/([[39/38]])
| ([[36/35]])/([[39/38]])
| [[456/455]]
| [[456/455]]
| 19
| 19
|-
|-
| S37*S38*S39
| S37⋅S38⋅S39
| ([[37/36]])/([[40/39]])
| ([[37/36]])/([[40/39]])
| [[481/480]]
| [[481/480]]
| 37
| 37
|-
|-
| S38*S39*S40
| S38⋅S39⋅S40
| ([[38/37]])/([[41/40]])
| ([[38/37]])/([[41/40]])
| [[1520/1517]]
| [[1520/1517]]
| 41
| 41
|-
|-
| S39*S40*S41
| S39⋅S40⋅S41
| ([[39/38]])/([[42/41]])
| ([[39/38]])/([[42/41]])
| [[533/532]]
| [[533/532]]
| 41
| 41
|-
|-
| S42*S43*S44
| S42⋅S43⋅S44
| ([[42/41]])/([[45/44]])
| ([[42/41]])/([[45/44]])
| [[616/615]]
| [[616/615]]
| 41
| 41
|-
|-
| S46*S47*S48
| S46⋅S47⋅S48
| ([[46/45]])/([[49/48]])
| ([[46/45]])/([[49/48]])
| [[736/735]]
| [[736/735]]
| 23
| 23
|-
|-
| S49*S50*S51
| S49⋅S50⋅S51
| ([[49/48]])/([[52/51]])
| ([[49/48]])/([[52/51]])
| [[833/832]]
| [[833/832]]
| 17
| 17
|-
|-
| S52*S53*S54
| S52⋅S53⋅S54
| ([[52/51]])/([[55/54]])
| ([[52/51]])/([[55/54]])
| [[936/935]]
| [[936/935]]
| 17
| 17
|-
|-
| S55*S56*S57
| S55⋅S56⋅S57
| ([[55/54]])/([[58/57]])
| ([[55/54]])/([[58/57]])
| [[1045/1044]]
| [[1045/1044]]
| 29
| 29
|-
|-
| S63*S64*S65
| S63⋅S64⋅S65
| ([[63/62]])/([[66/65]])
| ([[63/62]])/([[66/65]])
| [[1365/1364]]
| [[1365/1364]]
| 31
| 31
|-
|-
| S66*S67*S68
| S66⋅S67⋅S68
| ([[66/65]])/([[69/68]])
| ([[66/65]])/([[69/68]])
| [[1496/1495]]
| [[1496/1495]]
| 23
| 23
|-
|-
| S75*S76*S77
| S75⋅S76⋅S77
| ([[75/74]])/([[78/77]])
| ([[75/74]])/([[78/77]])
| [[1925/1924]]
| [[1925/1924]]
| 37
| 37
|-
|-
| S78*S79*S80
| S78⋅S79⋅S80
| ([[78/77]])/([[81/80]])
| ([[78/77]])/([[81/80]])
| [[2080/2079]]
| [[2080/2079]]
| 13
| 13
|-
|-
| S82*S83*S84
| S82⋅S83⋅S84
| ([[82/81]])/([[85/84]])
| ([[82/81]])/([[85/84]])
| [[2296/2295]]
| [[2296/2295]]
| 41
| 41
|-
|-
| S85*S86*S87
| S85⋅S86⋅S87
| ([[85/84]])/([[88/87]])
| ([[85/84]])/([[88/87]])
| [[2465/2464]]
| [[2465/2464]]
| 29
| 29
|-
|-
| S88*S89*S90
| S88⋅S89⋅S90
| ([[88/87]])/([[91/90]])
| ([[88/87]])/([[91/90]])
| [[2640/2639]]
| [[2640/2639]]
| 29
| 29
|-
|-
| S93*S94*S95
| S93⋅S94⋅S95
| ([[93/92]])/([[96/95]])
| ([[93/92]])/([[96/95]])
| [[2945/2944]]
| [[2945/2944]]
| 31
| 31
|-
|-
| S96*S97*S98
| S96⋅S97⋅S98
| ([[96/95]])/([[99/98]])
| ([[96/95]])/([[99/98]])
| [[3136/3135]]
| [[3136/3135]]
| 19
| 19
|-
|-
| S112*S113*S114
| S112⋅S113⋅S114
| ([[112/111]])/([[115/114]])
| ([[112/111]])/([[115/114]])
| [[4256/4255]]
| [[4256/4255]]
| 37
| 37
|-
|-
| S117*S118*S119
| S117⋅S118⋅S119
| ([[117/116]])/([[120/119]])
| ([[117/116]])/([[120/119]])
| [[4641/4640]]
| [[4641/4640]]
| 29
| 29
|-
|-
| S121*S122*S123
| S121⋅S122⋅S123
| ([[121/120]])/([[124/123]])
| ([[121/120]])/([[124/123]])
| [[4961/4960]]
| [[4961/4960]]
| 41
| 41
|-
|-
| S133*S134*S135
| S133⋅S134⋅S135
| ([[133/132]])/([[136/135]])
| ([[133/132]])/([[136/135]])
| [[5985/5984]]
| [[5985/5984]]
| 19
| 19
|-
|-
| S145*S146*S147
| S145⋅S146⋅S147
| ([[145/144]])/([[148/147]])
| ([[145/144]])/([[148/147]])
| [[7105/7104]]
| [[7105/7104]]
| 37
| 37
|-
|-
| S153*S154*S155
| S153⋅S154⋅S155
| ([[153/152]])/([[156/155]])
| ([[153/152]])/([[156/155]])
| [[7905/7904]]
| [[7905/7904]]
| 31
| 31
|-
|-
| S162*S163*S164
| S162⋅S163⋅S164
| ([[162/161]])/([[165/164]])
| ([[162/161]])/([[165/164]])
| [[8856/8855]]
| [[8856/8855]]
| 41
| 41
|-
|-
| S187*S188*S189
| S187⋅S188⋅S189
| ([[187/186]])/([[190/189]])
| ([[187/186]])/([[190/189]])
| [[11781/11780]]
| [[11781/11780]]
| 31
| 31
|-
|-
| S205*S206*S207
| S205⋅S206⋅S207
| ([[205/204]])/([[208/207]])
| ([[205/204]])/([[208/207]])
| [[14145/14144]]
| [[14145/14144]]
| 41
| 41
|-
|-
| S222*S223*S224
| S222⋅S223⋅S224
| ([[222/221]])/([[225/224]])
| ([[222/221]])/([[225/224]])
| [[16576/16575]]
| [[16576/16575]]
| 37
| 37
|-
|-
| S243*S244*S245
| S243⋅S244⋅S245
| ([[243/242]])/([[246/245]])
| ([[243/242]])/([[246/245]])
| [[19845/19844]]
| [[19845/19844]]
| 41
| 41
|-
|-
| S253*S254*S255
| S253⋅S254⋅S255
| ([[253/252]])/([[256/255]])
| ([[253/252]])/([[256/255]])
| [[21505/21504]]
| [[21505/21504]]
| 23
| 23
|-
|-
| S273*S274*S275
| S273⋅S274⋅S275
| ([[273/272]])/([[276/275]])
| ([[273/272]])/([[276/275]])
| [[25025/25024]]
| [[25025/25024]]
| 23
| 23
|-
|-
| S286*S287*S288
| S286⋅S287⋅S288
| ([[286/285]])/([[289/288]])
| ([[286/285]])/([[289/288]])
| [[27456/27455]]
| [[27456/27455]]
| 19
| 19
|-
|-
| S287*S288*S289
| S287⋅S288⋅S289
| ([[287/286]])/([[290/289]])
| ([[287/286]])/([[290/289]])
| [[82943/82940]]
| [[82943/82940]]
| 41
| 41
|-
|-
| S297*S298*S299
| S297⋅S298⋅S299
| ([[297/296]])/([[300/299]])
| ([[297/296]])/([[300/299]])
| [[29601/29600]]
| [[29601/29600]]
| 37
| 37
|-
|-
| S320*S321*S322
| S320⋅S321⋅S322
| ([[320/319]])/([[323/322]])
| ([[320/319]])/([[323/322]])
| [[103040/103037]]
| [[103040/103037]]
| 29
| 29
|-
|-
| S361*S362*S363
| S361⋅S362⋅S363
| ([[361/360]])/([[364/363]])
| ([[361/360]])/([[364/363]])
| [[43681/43680]]
| [[43681/43680]]
| 19
| 19
|-
|-
| S375*S376*S377
| S375⋅S376⋅S377
| ([[375/374]])/([[378/377]])
| ([[375/374]])/([[378/377]])
| [[47125/47124]]
| [[47125/47124]]
Line 1,220: Line 1,223:
|}
|}


{| class="wikitable center-all\
{| class="wikitable center-all mw-collapsible mw-collapsed"
|+ style="font-size: 105%;" | 23-limit {{frac|1|4}}-square particulars
|+ style="font-size: 105%; white-space: nowrap;" | 23-limit {{frac|1|4}}-square particulars
|-
|-
! S-expression
! S-expression
Line 1,228: Line 1,231:
! Prime limit
! Prime limit
|-
|-
| S2*S3*S4*S5
| S2⋅S3⋅S4⋅S5
| ([[2/1]])/([[6/5]])
| ([[2/1]])/([[6/5]])
| [[5/3]]
| [[5/3]]
| 5
| 5
|-
|-
| S3*S4*S5*S6
| S3⋅S4⋅S5⋅S6
| ([[3/2]])/([[7/6]])
| ([[3/2]])/([[7/6]])
| [[9/7]]
| [[9/7]]
| 7
| 7
|-
|-
| S4*S5*S6*S7
| S4⋅S5⋅S6⋅S7
| ([[4/3]])/([[8/7]])
| ([[4/3]])/([[8/7]])
| [[7/6]]
| [[7/6]]
| 7
| 7
|-
|-
| S5*S6*S7*S8
| S5⋅S6⋅S7⋅S8
| ([[5/4]])/([[9/8]])
| ([[5/4]])/([[9/8]])
| [[10/9]]
| [[10/9]]
| 5
| 5
|-
|-
| S6*S7*S8*S9
| S6⋅S7⋅S8⋅S9
| ([[6/5]])/([[10/9]])
| ([[6/5]])/([[10/9]])
| [[27/25]]
| [[27/25]]
| 5
| 5
|-
|-
| S7*S8*S9*S10
| S7⋅S8⋅S9⋅S10
| ([[7/6]])/([[11/10]])
| ([[7/6]])/([[11/10]])
| [[35/33]]
| [[35/33]]
| 11
| 11
|-
|-
| S8*S9*S10*S11
| S8⋅S9⋅S10⋅S11
| ([[8/7]])/([[12/11]])
| ([[8/7]])/([[12/11]])
| [[22/21]]
| [[22/21]]
| 11
| 11
|-
|-
| S9*S10*S11*S12
| S9⋅S10⋅S11⋅S12
| ([[9/8]])/([[13/12]])
| ([[9/8]])/([[13/12]])
| [[27/26]]
| [[27/26]]
| 13
| 13
|-
|-
| S10*S11*S12*S13
| S10⋅S11⋅S12⋅S13
| ([[10/9]])/([[14/13]])
| ([[10/9]])/([[14/13]])
| [[65/63]]
| [[65/63]]
| 13
| 13
|-
|-
| S11*S12*S13*S14
| S11⋅S12⋅S13⋅S14
| ([[11/10]])/([[15/14]])
| ([[11/10]])/([[15/14]])
| [[77/75]]
| [[77/75]]
| 11
| 11
|-
|-
| S12*S13*S14*S15
| S12⋅S13⋅S14⋅S15
| ([[12/11]])/([[16/15]])
| ([[12/11]])/([[16/15]])
| [[45/44]]
| [[45/44]]
| 11
| 11
|-
|-
| S13*S14*S15*S16
| S13⋅S14⋅S15⋅S16
| ([[13/12]])/([[17/16]])
| ([[13/12]])/([[17/16]])
| [[52/51]]
| [[52/51]]
| 17
| 17
|-
|-
| S14*S15*S16*S17
| S14⋅S15⋅S16⋅S17
| ([[14/13]])/([[18/17]])
| ([[14/13]])/([[18/17]])
| [[119/117]]
| [[119/117]]
| 17
| 17
|-
|-
| S15*S16*S17*S18
| S15⋅S16⋅S17⋅S18
| ([[15/14]])/([[19/18]])
| ([[15/14]])/([[19/18]])
| [[135/133]]
| [[135/133]]
| 19
| 19
|-
|-
| S16*S17*S18*S19
| S16⋅S17⋅S18⋅S19
| ([[16/15]])/([[20/19]])
| ([[16/15]])/([[20/19]])
| [[76/75]]
| [[76/75]]
| 19
| 19
|-
|-
| S17*S18*S19*S20
| S17⋅S18⋅S19⋅S20
| ([[17/16]])/([[21/20]])
| ([[17/16]])/([[21/20]])
| [[85/84]]
| [[85/84]]
| 17
| 17
|-
|-
| S18*S19*S20*S21
| S18⋅S19⋅S20⋅S21
| ([[18/17]])/([[22/21]])
| ([[18/17]])/([[22/21]])
| [[189/187]]
| [[189/187]]
| 17
| 17
|-
|-
| S19*S20*S21*S22
| S19⋅S20⋅S21⋅S22
| ([[19/18]])/([[23/22]])
| ([[19/18]])/([[23/22]])
| [[209/207]]
| [[209/207]]
| 23
| 23
|-
|-
| S20*S21*S22*S23
| S20⋅S21⋅S22⋅S23
| ([[20/19]])/([[24/23]])
| ([[20/19]])/([[24/23]])
| [[115/114]]
| [[115/114]]
| 23
| 23
|-
|-
| S21*S22*S23*S24
| S21⋅S22⋅S23⋅S24
| ([[21/20]])/([[25/24]])
| ([[21/20]])/([[25/24]])
| [[126/125]]
| [[126/125]]
| 7
| 7
|-
|-
| S22*S23*S24*S25
| S22⋅S23⋅S24⋅S25
| ([[22/21]])/([[26/25]])
| ([[22/21]])/([[26/25]])
| [[275/273]]
| [[275/273]]
| 13
| 13
|-
|-
| S23*S24*S25*S26
| S23⋅S24⋅S25⋅S26
| ([[23/22]])/([[27/26]])
| ([[23/22]])/([[27/26]])
| [[299/297]]
| [[299/297]]
| 23
| 23
|-
|-
| S24*S25*S26*S27
| S24⋅S25⋅S26⋅S27
| ([[24/23]])/([[28/27]])
| ([[24/23]])/([[28/27]])
| [[162/161]]
| [[162/161]]
| 23
| 23
|-
|-
| S35*S36*S37*S38
| S35⋅S36⋅S37⋅S38
| ([[35/34]])/([[39/38]])
| ([[35/34]])/([[39/38]])
| [[665/663]]
| [[665/663]]
| 19
| 19
|-
|-
| S36*S37*S38*S39
| S36⋅S37⋅S38⋅S39
| ([[36/35]])/([[40/39]])
| ([[36/35]])/([[40/39]])
| [[351/350]]
| [[351/350]]
| 13
| 13
|-
|-
| S45*S46*S47*S48
| S45⋅S46⋅S47⋅S48
| ([[45/44]])/([[49/48]])
| ([[45/44]])/([[49/48]])
| [[540/539]]
| [[540/539]]
| 11
| 11
|-
|-
| S46*S47*S48*S49
| S46⋅S47⋅S48⋅S49
| ([[46/45]])/([[50/49]])
| ([[46/45]])/([[50/49]])
| [[1127/1125]]
| [[1127/1125]]
| 23
| 23
|-
|-
| S51*S52*S53*S54
| S51⋅S52⋅S53⋅S54
| ([[51/50]])/([[55/54]])
| ([[51/50]])/([[55/54]])
| [[1377/1375]]
| [[1377/1375]]
| 17
| 17
|-
|-
| S52*S53*S54*S55
| S52⋅S53⋅S54⋅S55
| ([[52/51]])/([[56/55]])
| ([[52/51]])/([[56/55]])
| [[715/714]]
| [[715/714]]
| 17
| 17
|-
|-
| S65*S66*S67*S68
| S65⋅S66⋅S67⋅S68
| ([[65/64]])/([[69/68]])
| ([[65/64]])/([[69/68]])
| [[1105/1104]]
| [[1105/1104]]
| 23
| 23
|-
|-
| S66*S67*S68*S69
| S66⋅S67⋅S68⋅S69
| ([[66/65]])/([[70/69]])
| ([[66/65]])/([[70/69]])
| [[2277/2275]]
| [[2277/2275]]
| 23
| 23
|-
|-
| S77*S78*S79*S80
| S77⋅S78⋅S79⋅S80
| ([[77/76]])/([[81/80]])
| ([[77/76]])/([[81/80]])
| [[1540/1539]]
| [[1540/1539]]
| 19
| 19
|-
|-
| S81*S82*S83*S84
| S81⋅S82⋅S83⋅S84
| ([[81/80]])/([[85/84]])
| ([[81/80]])/([[85/84]])
| [[1701/1700]]
| [[1701/1700]]
| 17
| 17
|-
|-
| S92*S93*S94*S95
| S92⋅S93⋅S94⋅S95
| ([[92/91]])/([[96/95]])
| ([[92/91]])/([[96/95]])
| [[2185/2184]]
| [[2185/2184]]
| 23
| 23
|-
|-
| S96*S97*S98*S99
| S96⋅S97⋅S98⋅S99
| <span style="font-size:0.94em">([[96/95]])/([[100/99]])</span>
| <span style="font-size:0.94em">([[96/95]])/([[100/99]])</span>
| [[2376/2375]]
| [[2376/2375]]
| 19
| 19
|-
|-
| <span style="font-size: 0.79em;">S221*S222*S223*S224</span>
| <span style="font-size: 0.79em;">S221⋅S222⋅S223⋅S224</span>
| <span style="font-size: 0.79em;">([[221/220]])/([[225/224]])</span>
| <span style="font-size: 0.79em;">([[221/220]])/([[225/224]])</span>
| [[12376/12375]]
| [[12376/12375]]
Line 1,409: Line 1,412:
|}
|}


{| class="wikitable center-all
{| class="wikitable center-all mw-collapsible mw-collapsed"
|+ style="font-size: 105%;" | 23-limit {{frac|1|5}}-square particulars
|+ style="font-size: 105%; white-space: nowrap;" | 23-limit {{frac|1|5}}-square particulars
|-
|-
! S-expression
! S-expression
Line 1,417: Line 1,420:
! Prime limit
! Prime limit
|-
|-
| S2*S3*S4*S5*S6
| S2⋅S3⋅S4⋅S5⋅S6
| ([[2/1]])/([[7/6]])
| ([[2/1]])/([[7/6]])
| [[12/7]]
| [[12/7]]
| 7
| 7
|-
|-
| S3*S4*S5*S6*S7
| S3⋅S4⋅S5⋅S6⋅S7
| ([[3/2]])/([[8/7]])
| ([[3/2]])/([[8/7]])
| [[21/16]]
| [[21/16]]
| 7
| 7
|-
|-
| S4*S5*S6*S7*S8
| S4⋅S5⋅S6⋅S7⋅S8
| ([[4/3]])/([[9/8]])
| ([[4/3]])/([[9/8]])
| [[32/27]]
| [[32/27]]
| 3
| 3
|-
|-
| S5*S6*S7*S8*S9
| S5⋅S6⋅S7⋅S8⋅S9
| ([[5/4]])/([[10/9]])
| ([[5/4]])/([[10/9]])
| [[9/8]]
| [[9/8]]
| 3
| 3
|-
|-
| S6*S7*S8*S9*S10
| S6⋅S7⋅S8⋅S9⋅S10
| ([[6/5]])/([[11/10]])
| ([[6/5]])/([[11/10]])
| [[12/11]]
| [[12/11]]
| 11
| 11
|-
|-
| S7*S8*S9*S10*S11
| S7⋅S8⋅S9⋅S10⋅S11
| ([[7/6]])/([[12/11]])
| ([[7/6]])/([[12/11]])
| [[77/72]]
| [[77/72]]
| 11
| 11
|-
|-
| S8*S9*S10*S11*S12
| S8⋅S9⋅S10⋅S11⋅S12
| ([[8/7]])/([[13/12]])
| ([[8/7]])/([[13/12]])
| [[96/91]]
| [[96/91]]
| 13
| 13
|-
|-
| S9*S10*S11*S12*S13
| S9⋅S10⋅S11⋅S12⋅S13
| ([[9/8]])/([[14/13]])
| ([[9/8]])/([[14/13]])
| [[117/112]]
| [[117/112]]
| 13
| 13
|-
|-
| S10*S11*S12*S13*S14
| S10⋅S11⋅S12⋅S13⋅S14
| ([[10/9]])/([[15/14]])
| ([[10/9]])/([[15/14]])
| [[28/27]]
| [[28/27]]
| 7
| 7
|-
|-
| S11*S12*S13*S14*S15
| S11⋅S12⋅S13⋅S14⋅S15
| ([[11/10]])/([[16/15]])
| ([[11/10]])/([[16/15]])
| [[33/32]]
| [[33/32]]
| 11
| 11
|-
|-
| S12*S13*S14*S15*S16
| S12⋅S13⋅S14⋅S15⋅S16
| ([[12/11]])/([[17/16]])
| ([[12/11]])/([[17/16]])
| [[192/187]]
| [[192/187]]
| 17
| 17
|-
|-
| S13*S14*S15*S16*S17
| S13⋅S14⋅S15⋅S16⋅S17
| ([[13/12]])/([[18/17]])
| ([[13/12]])/([[18/17]])
| [[221/216]]
| [[221/216]]
| 17
| 17
|-
|-
| S14*S15*S16*S17*S18
| S14⋅S15⋅S16⋅S17⋅S18
| ([[14/13]])/([[19/18]])
| ([[14/13]])/([[19/18]])
| [[252/247]]
| [[252/247]]
| 19
| 19
|-
|-
| S15*S16*S17*S18*S19
| S15⋅S16⋅S17⋅S18⋅S19
| ([[15/14]])/([[20/19]])
| ([[15/14]])/([[20/19]])
| [[57/56]]
| [[57/56]]
| 19
| 19
|-
|-
| S16*S17*S18*S19*S20
| S16⋅S17⋅S18⋅S19⋅S20
| ([[16/15]])/([[21/20]])
| ([[16/15]])/([[21/20]])
| [[64/63]]
| [[64/63]]
| 7
| 7
|-
|-
| S17*S18*S19*S20*S21
| S17⋅S18⋅S19⋅S20⋅S21
| ([[17/16]])/([[22/21]])
| ([[17/16]])/([[22/21]])
| [[357/352]]
| [[357/352]]
| 17
| 17
|-
|-
| S18*S19*S20*S21*S22
| S18⋅S19⋅S20⋅S21⋅S22
| ([[18/17]])/([[23/22]])
| ([[18/17]])/([[23/22]])
| [[396/391]]
| [[396/391]]
| 23
| 23
|-
|-
| S19*S20*S21*S22*S23
| S19⋅S20⋅S21⋅S22⋅S23
| ([[19/18]])/([[24/23]])
| ([[19/18]])/([[24/23]])
| [[437/432]]
| [[437/432]]
| 23
| 23
|-
|-
| S20*S21*S22*S23*S24
| S20⋅S21⋅S22⋅S23⋅S24
| ([[20/19]])/([[25/24]])
| ([[20/19]])/([[25/24]])
| [[96/95]]
| [[96/95]]
| 19
| 19
|-
|-
| S21*S22*S23*S24*S25
| S21⋅S22⋅S23⋅S24⋅S25
| ([[21/20]])/([[26/25]])
| ([[21/20]])/([[26/25]])
| [[105/104]]
| [[105/104]]
| 13
| 13
|-
|-
| S22*S23*S24*S25*S26
| S22⋅S23⋅S24⋅S25⋅S26
| ([[22/21]])/([[27/26]])
| ([[22/21]])/([[27/26]])
| [[572/567]]
| [[572/567]]
| 13
| 13
|-
|-
| S23*S24*S25*S26*S27
| S23⋅S24⋅S25⋅S26⋅S27
| ([[23/22]])/([[28/27]])
| ([[23/22]])/([[28/27]])
| [[621/616]]
| [[621/616]]
| 23
| 23
|-
|-
| S28*S29*S30*S31*S32
| S28⋅S29⋅S30⋅S31⋅S32
| ([[28/27]])/([[33/32]])
| ([[28/27]])/([[33/32]])
| [[896/891]]
| [[896/891]]
| 11
| 11
|-
|-
| S34*S35*S36*S37*S38
| S34⋅S35⋅S36⋅S37⋅S38
| ([[34/33]])/([[39/38]])
| ([[34/33]])/([[39/38]])
| [[1292/1287]]
| [[1292/1287]]
| 19
| 19
|-
|-
| S35*S36*S37*S38*S39
| S35⋅S36⋅S37⋅S38⋅S39
| ([[35/34]])/([[40/39]])
| ([[35/34]])/([[40/39]])
| [[273/272]]
| [[273/272]]
| 17
| 17
|-
|-
| S40*S41*S42*S43*S44
| S40⋅S41⋅S42⋅S43⋅S44
| ([[40/39]])/([[45/44]])
| ([[40/39]])/([[45/44]])
| [[352/351]]
| [[352/351]]
| 13
| 13
|-
|-
| S45*S46*S47*S48*S49
| S45⋅S46⋅S47⋅S48⋅S49
| ([[45/44]])/([[50/49]])
| ([[45/44]])/([[50/49]])
| [[441/440]]
| [[441/440]]
| 11
| 11
|-
|-
| S46*S47*S48*S49*S50
| S46⋅S47⋅S48⋅S49⋅S50
| ([[46/45]])/([[51/50]])
| ([[46/45]])/([[51/50]])
| [[460/459]]
| [[460/459]]
| 23
| 23
|-
|-
| S50*S51*S52*S53*S54
| S50⋅S51⋅S52⋅S53⋅S54
| ([[50/49]])/([[55/54]])
| ([[50/49]])/([[55/54]])
| [[540/539]]
| [[540/539]]
| 11
| 11
|-
|-
| S51*S52*S53*S54*S55
| S51⋅S52⋅S53⋅S54⋅S55
| ([[51/50]])/([[56/55]])
| ([[51/50]])/([[56/55]])
| [[561/560]]
| [[561/560]]
| 17
| 17
|-
|-
| S52*S53*S54*S55*S56
| S52⋅S53⋅S54⋅S55⋅S56
| ([[52/51]])/([[57/56]])
| ([[52/51]])/([[57/56]])
| [[2912/2907]]
| [[2912/2907]]
| 19
| 19
|-
|-
| S64*S65*S66*S67*S68
| S64⋅S65⋅S66⋅S67⋅S68
| ([[64/63]])/([[69/68]])
| ([[64/63]])/([[69/68]])
| [[4352/4347]]
| [[4352/4347]]
| 23
| 23
|-
|-
| S65*S66*S67*S68*S69
| S65⋅S66⋅S67⋅S68⋅S69
| ([[65/64]])/([[70/69]])
| ([[65/64]])/([[70/69]])
| [[897/896]]
| [[897/896]]
| 23
| 23
|-
|-
| S76*S77*S78*S79*S80
| S76⋅S77⋅S78⋅S79⋅S80
| ([[76/75]])/([[81/80]])
| ([[76/75]])/([[81/80]])
| [[1216/1215]]
| [[1216/1215]]
| 19
| 19
|-
|-
| S91*S92*S93*S94*S95
| S91⋅S92⋅S93⋅S94⋅S95
| ([[91/90]])/([[96/95]])
| ([[91/90]])/([[96/95]])
| [[1729/1728]]
| [[1729/1728]]
| 19
| 19
|-
|-
| <span style="font-size: 0.79em;">S100*S101*S102*S103*S104</span>
| <span style="font-size: 0.79em;">S100⋅S101⋅S102⋅S103⋅S104</span>
| <span style="font-size: 0.83em;">([[100/99]])/([[105/104]])</span>
| <span style="font-size: 0.83em;">([[100/99]])/([[105/104]])</span>
| [[2080/2079]]
| [[2080/2079]]
| 13
| 13
|-
|-
| <span style="font-size: 0.79em;">S115*S116*S117*S118*S119</span>
| <span style="font-size: 0.79em;">S115⋅S116⋅S117⋅S118⋅S119</span>
| <span style="font-size: 0.79em;">([[115/114]])/([[120/119]])</span>
| <span style="font-size: 0.79em;">([[115/114]])/([[120/119]])</span>
| [[2737/2736]]
| [[2737/2736]]
| 23
| 23
|-
|-
| <span style="font-size: 0.79em;">S121*S122*S123*S124*S125</span>
| <span style="font-size: 0.79em;">S121⋅S122⋅S123⋅S124⋅S125</span>
| <span style="font-size: 0.79em;">([[121/120]])/([[126/125]])</span>
| <span style="font-size: 0.79em;">([[121/120]])/([[126/125]])</span>
| [[3025/3024]]
| [[3025/3024]]
| 11
| 11
|-
|-
| <span style="font-size: 0.79em;">S171*S172*S173*S174*S175</span>
| <span style="font-size: 0.79em;">S171⋅S172⋅S173⋅S174⋅S175</span>
| <span style="font-size: 0.79em;">([[171/170]])/([[176/175]])</span>
| <span style="font-size: 0.79em;">([[171/170]])/([[176/175]])</span>
| [[5985/5984]]
| [[5985/5984]]
Line 1,613: Line 1,616:
|}
|}


== {{nowrap|S''k''/S(''k'' + 1)}} (ultraparticulars) ==
== S''k''/S(''k'' + 1) (ultraparticulars) ==
=== Motivational example ===
=== Motivational example ===
Often it is desirable to make consecutive [[superparticular]] intervals equidistant. This has a number of nice consequences, many of which not explained here—see the motivation section for each infinite family of commas defined on this page.
Often it is desirable to make consecutive superparticular intervals equidistant. This has a number of nice consequences, many of which not explained here—see the motivation section for each infinite family of commas defined on this page.


For example, if you want 6/5 equidistant from 5/4 and 7/6, you must equate {{nowrap|{{sfrac|[[5/4]]|[[6/5]]}} {{=}} [[25/24]]}} {{nowrap|{{=}} S5}} with {{nowrap|{{sfrac|[[6/5]]|[[7/6]]}} {{=}} [[36/35]]}} {{nowrap|{{=}} S6}}, hence tempering {{nowrap|{{sfrac|S5|S6}} {{=}} {{sfrac|25/24|36/35}}}} {{nowrap|{{=}} [[875/864]]}}, but it's actually often not necessary to know the specific numbers, often familiarizing yourself with and understanding the "S''k''" notation will give you a lot of insight, as we'll see.
For example, if you want 6/5 equidistant from 5/4 and 7/6, you must equate {{nowrap| {{sfrac|[[5/4]]|[[6/5]]}} {{=}} [[25/24]] }} {{nowrap|{{=}} S5 }} with {{nowrap| {{sfrac|[[6/5]]|[[7/6]]}} {{=}} [[36/35]] }} {{nowrap|{{=}} S6 }}, hence tempering out {{nowrap| {{sfrac|S5|S6}} {{=}} {{sfrac|25/24|36/35}} }} {{nowrap| {{=}} [[875/864]] }}, but it is actually often not necessary to know the specific numbers. Often familiarizing yourself with and understanding the "S''k''" notation will give you a lot of insight, as we will see.


Back to our example: we know that {{nowrap|S5 ~ S6}} (because we're tempering S5/S6); from this we can deduce that the intervals must be arranged like this: {{nowrap|7/6 &larr; S5~S6 &rarr; 6/5 &larr; S5~S6 &rarr; 5/4}}.
Back to our example: we know that {{nowrap| S5 ~ S6 }} because we are tempering out S5/S6; from this we can deduce that the intervals must be arranged like this: {{nowrap| 7/6 S5~S6 6/5 S5~S6 5/4 }}.


From this you can deduce that {{nowrap|([[6/5]])<sup>3</sup> &rarr; [[7/4]]}}, because you can lower one of the 6/5's to [[7/6]] (lowering it by S6) and raise another of the 6/5's to [[5/4]] (raising it by S5). Then because we've tempered S5 and S6 together, we've lowered and raised by the same amount, so the result of {{nowrap|7/6 * 6/5 * 5/4 {{=}} 7/4}} must be the same as the result of {{nowrap|6/5 * 6/5 * 6/5}} in this temperament.
From this, it can be deduced that {{nowrap| (6/5)<sup>3</sup> ~ [[7/4]] }}, because one of the 6/5's can be lowered by S6 to 7/6 and another of the 6/5's can be raised by S5 to 5/4. Then because we have tempered S5 and S6 together, we have lowered and raised by the same amount, so the result of {{nowrap| (7/6)⋅(6/5)⋅(5/4) {{=}} 7/4 }} must be the same as the result of {{nowrap| (6/5)⋅(6/5)⋅(6/5)}} in this temperament.


Familiarize yourself with the structure of this argument, as [[S-expression/Advanced results#Mathematical derivations|it generalizes to arbitrary S''k'']]; the algebraic proof is tedious, but the intuition is the same:
The reader is encouraged to familiarize themself with the structure of this argument, as it generalizes to arbitrary S''k'' (→ [[S-expression/Advanced results #Mathematical derivations|]]); the algebraic proof is tedious, but the intuition is the same:


<math>\displaystyle \frac{k+2}{k+1} \leftarrow S(k+1)~Sk \rightarrow \frac{k+1}{k} \leftarrow S(k+1)~Sk \rightarrow \frac{k}{k-1}</math>
$$ \frac{k+2}{k+1} \leftarrow S(k+1)~Sk \rightarrow \frac{k+1}{k} \leftarrow S(k+1)~Sk \rightarrow \frac{k}{k-1} $$


… implies that three {{sfrac|''k'' + 1|''k''}} give {{sfrac|''k'' + 2|''k'' − 1}} iff we temper {{sfrac|S''k''|S(''k'' + 1)}}.&nbsp;{{qed}}
… implies that three {{sfrac|''k'' + 1|''k''}} give {{sfrac|''k'' + 2|''k'' − 1}} iff we temper out {{sfrac|S''k''|S(''k'' + 1)}}.&nbsp;{{qed}}


=== Significance ===
=== Significance ===
1. Tempering any two consecutive square-particulars S''k'' and S({{nowrap|''k'' + 1}}) will naturally imply tempering the ultraparticular between them, {{sfrac|S''k''|S(''k'' + 1)}}, meaning they are very common implicit commas.
# Tempering out any two consecutive square-particulars S''k'' and S({{nowrap|''k'' + 1}}) will naturally imply tempering out the ultraparticular between them, {{sfrac|S''k''|S(''k'' + 1)}}, meaning they are very common implicit commas.
 
# Tempering out any two consecutive ultraparticulars will imply tempering out the [[#Sk/S(k + 2) (semiparticulars)|semiparticular]], which is their product. A rather-interesting arithmetic of square-particular and related commas exists. This arithmetic can be described compactly with S-expressions, which is to say, expressions composed of square superparticulars multiplied and divided together, using the S''k'' notation to achieve that compactness.{{clarify}}
2. Tempering any two consecutive ultraparticulars will imply tempering the [[#Sk/S(k + 2) (semiparticulars)|semiparticular]] which is their sum/product. A rather-interesting arithmetic of square-particular (and related) commas exists. This arithmetic can be described compactly with '''S-expressions''', which is to say, expressions composed of square superparticulars multiplied and divided together, using the Sk notation to achieve that compactness.
# Tempering out the ultraparticular S''k''/S({{nowrap|''k'' + 1}}) along with either the corresponding 1/2-square-particular {{nowrap|S''k''⋅S(''k'' + 1)}} or one of the two corresponding lopsided commas {{nowrap|S''k''<sup>2</sup>⋅S(''k'' + 1)}} or {{nowrap|S''k''⋅S(''k'' + 1)<sup>2</sup>}} implies tempering both of S''k'' and S({{nowrap|''k'' + 1}}) individually, and vice versa, so that there is a total of ''five'' equivalences—corresponding to ''five'' infinite families of commas—for every such S''k'' and {{nowrap|S(''k'' + 1)}}. This only gets better{{clarify}} if you temper out a third consecutive square-particular. This is an abundance of "at-a-glance" essential tempering information that is fully general, so it only needs to be learned once, and is another motivation of the use of S-expressions. For example, {{nowrap|{S16, S17} {S16⋅S17, S16/S17, S16<sup>2</sup>⋅S17, S16⋅S17<sup>2</sup>} }}, and any of the two commas in the latter set imply all the other commas too.
 
3. Tempering the ultraparticular S''k''/S({{nowrap|''k'' + 1}}) along with either the corresponding 1/2-square-particular {{nowrap|S''k'' * S(''k'' + 1)}} or one of the two corresponding lopsided commas {{nowrap|S''k''<sup>2</sup> * S(''k'' + 1)}} or {{nowrap|S''k'' * S(''k'' + 1)<sup>2</sup>}} implies tempering both of S''k'' and S({{nowrap|''k'' + 1}}) individually, and vice versa, so that there is a total of ''five'' equivalences—corresponding to ''five'' infinite families of commas—for every such S''k'' and S({{nowrap|''k''+1}}). This only gets better if you temper a third consecutive square-particular. This is an abundance of "at a glance" essential tempering information that is fully general so only needs to be learned once, and is the motivation of the use of '''S-expressions'''. (For example, {{nowrap|{S16, S17} &rarr; {{(}}S16 * S17, S16/S17, S16<sup>2</sup> * S17, S16 * S17<sup>2</sup>{{)}} }}, and any of the two commas in the latter set imply all the other commas too.)


=== Table of ultraparticulars ===
=== Table of ultraparticulars ===
{| class="wikitable center-all
{| class="wikitable center-all right-4 left-5"
|-
|-
! S-expression
! S-expression
! Cube Relation
! Cube relation
! Comma
! Ratio
! Cents
! Cents
! Subgroup
|-
|-
| S2/S3 = ([[4/3]])/([[9/8]])
| S2/S3 = ([[4/3]])/([[9/8]])
Line 1,648: Line 1,650:
| [[32/27]]
| [[32/27]]
| 294.135
| 294.135
| 2.3
|-
|-
| S3/S4 = ([[9/8]])/([[16/15]])
| S3/S4 = ([[9/8]])/([[16/15]])
Line 1,653: Line 1,656:
| [[135/128]]
| [[135/128]]
| 92.179
| 92.179
| 2.3.5
|-
|-
| S4/S5 = ([[16/15]])/([[25/24]])
| S4/S5 = ([[16/15]])/([[25/24]])
Line 1,658: Line 1,662:
| [[128/125]]
| [[128/125]]
| 41.059
| 41.059
| 2.5
|-
|-
| S5/S6 = ([[25/24]])/([[36/35]])
| S5/S6 = ([[25/24]])/([[36/35]])
Line 1,663: Line 1,668:
| [[875/864]]
| [[875/864]]
| 21.902
| 21.902
| 2.3.5.7
|-
|-
| S6/S7 = ([[36/35]])/([[49/48]])
| S6/S7 = ([[36/35]])/([[49/48]])
Line 1,668: Line 1,674:
| [[1728/1715]]
| [[1728/1715]]
| 13.074
| 13.074
| 2.3.5.7
|-
|-
| S7/S8 = ([[49/48]])/([[64/63]])
| S7/S8 = ([[49/48]])/([[64/63]])
Line 1,673: Line 1,680:
| [[1029/1024]]
| [[1029/1024]]
| 8.433
| 8.433
| 2.3.7
|-
|-
| S8/S9 = ([[64/63]])/([[81/80]])
| S8/S9 = ([[64/63]])/([[81/80]])
Line 1,678: Line 1,686:
| [[5120/5103]]
| [[5120/5103]]
| 5.758
| 5.758
| 2.3.5.7
|-
|-
| S9/S10 = ([[81/80]])/([[100/99]])
| S9/S10 = ([[81/80]])/([[100/99]])
Line 1,683: Line 1,692:
| [[8019/8000]]
| [[8019/8000]]
| 4.107
| 4.107
| 2.3.5.11
|-
|-
| S10/S11 = ([[100/99]])/([[121/120]])
| S10/S11 = ([[100/99]])/([[121/120]])
Line 1,688: Line 1,698:
| [[4000/3993]]
| [[4000/3993]]
| 3.032
| 3.032
| 2.3.5.11
|-
|-
| S11/S12 = ([[121/120]])/([[144/143]])
| S11/S12 = ([[121/120]])/([[144/143]])
Line 1,693: Line 1,704:
| [[17303/17280]]
| [[17303/17280]]
| 2.303
| 2.303
| 2.3.5.11.13
|-
|-
| S12/S13 = ([[144/143]])/([[169/168]])
| S12/S13 = ([[144/143]])/([[169/168]])
| ([[14/11]])/([[13/12]])<sup>3</sup>
| ([[14/11]])/([[13/12]])<sup>3</sup>
| [[24192/24167]]
| [[24192/24167]]
| 1.79
| 1.790
| 2.3.7.11.13
|-
|-
| S13/S14 = ([[169/168]])/([[196/195]])
| S13/S14 = ([[169/168]])/([[196/195]])
Line 1,703: Line 1,716:
| [[10985/10976]]
| [[10985/10976]]
| 1.419
| 1.419
| 2.5.7.13
|-
|-
| S14/S15 = ([[196/195]])/([[225/224]])
| S14/S15 = ([[196/195]])/([[225/224]])
Line 1,708: Line 1,722:
| [[43904/43875]]
| [[43904/43875]]
| 1.144
| 1.144
| 2.3.5.7.13
|-
|-
| S15/S16 = ([[225/224]])/([[256/255]])
| S15/S16 = ([[225/224]])/([[256/255]])
Line 1,713: Line 1,728:
| [[57375/57344]]
| [[57375/57344]]
| 0.936
| 0.936
| 2.3.5.7.17
|-
|-
| S16/S17 = ([[256/255]])/([[289/288]])
| S16/S17 = ([[256/255]])/([[289/288]])
Line 1,718: Line 1,734:
| [[24576/24565]]
| [[24576/24565]]
| 0.775
| 0.775
| 2.3.5.17
|-
|-
| S17/S18 = ([[289/288]])/([[324/323]])
| S17/S18 = ([[289/288]])/([[324/323]])
Line 1,723: Line 1,740:
| [[93347/93312]]
| [[93347/93312]]
| 0.649
| 0.649
| 2.3.17.19
|-
|-
| S18/S19 = ([[324/323]])/([[361/360]])
| S18/S19 = ([[324/323]])/([[361/360]])
Line 1,728: Line 1,746:
| [[116640/116603]]
| [[116640/116603]]
| 0.549
| 0.549
| 2.3.5.17.19
|-
|-
| S19/S20 = ([[361/360]])/([[400/399]])
| S19/S20 = ([[361/360]])/([[400/399]])
Line 1,733: Line 1,752:
| [[48013/48000]]
| [[48013/48000]]
| 0.469
| 0.469
| 2.3.5.7.19
|-
|-
| S20/S21 = ([[400/399]])/([[441/440]])
| S20/S21 = ([[400/399]])/([[441/440]])
Line 1,738: Line 1,758:
| [[176000/175959]]
| [[176000/175959]]
| 0.403
| 0.403
| 2.3.5.7.11.19
|-
|-
| S21/S22 = ([[441/440]])/([[484/483]])
| S21/S22 = ([[441/440]])/([[484/483]])
| ([[23/20]])/([[22/21]])<sup>3</sup>
| ([[23/20]])/([[22/21]])<sup>3</sup>
| [[213003/212960]]
| [[213003/212960]]
| 0.35
| 0.350
| 2.3.5.7.11.23
|-
|-
| S22/S23 = ([[484/483]])/([[529/528]])
| S22/S23 = ([[484/483]])/([[529/528]])
Line 1,748: Line 1,770:
| [[85184/85169]]
| [[85184/85169]]
| 0.305
| 0.305
| 2.7.11.23
|-
|-
| S23/S24 = ([[529/528]])/([[576/575]])
| S23/S24 = ([[529/528]])/([[576/575]])
Line 1,753: Line 1,776:
| [[304175/304128]]
| [[304175/304128]]
| 0.268
| 0.268
| 2.3.5.11.23
|-
|-
| S24/S25 = ([[576/575]])/([[625/624]])
| S24/S25 = ([[576/575]])/([[625/624]])
Line 1,758: Line 1,782:
| [[359424/359375]]
| [[359424/359375]]
| 0.236
| 0.236
| 2.3.5.13.23
|-
|-
| S25/S26 = ([[625/624]])/([[676/675]])
| S25/S26 = ([[625/624]])/([[676/675]])
Line 1,763: Line 1,788:
| [[140625/140608]]
| [[140625/140608]]
| 0.209
| 0.209
| 2.3.5.13
|-
|-
| S26/S27 = ([[676/675]])/([[729/728]])
| S26/S27 = ([[676/675]])/([[729/728]])
Line 1,768: Line 1,794:
| [[492128/492075]]
| [[492128/492075]]
| 0.186
| 0.186
| 2.3.5.7.13
|-
|-
| S27/S28 = ([[729/728]])/([[784/783]])
| S27/S28 = ([[729/728]])/([[784/783]])
Line 1,773: Line 1,800:
| [[570807/570752]]
| [[570807/570752]]
| 0.167
| 0.167
| 2.3.7.13.29
|-
|-
| S28/S29 = ([[784/783]])/([[841/840]])
| S28/S29 = ([[784/783]])/([[841/840]])
| ([[10/9]])/([[29/28]])<sup>3</sup>
| ([[10/9]])/([[29/28]])<sup>3</sup>
| [[219520/219501]]
| [[219520/219501]]
| 0.15
| 0.150
| 2.3.5.7.29
|-
|-
| S31/S32 = ([[961/960]])/([[1024/1023]])
| <small>S31/S32 = ([[961/960]])/([[1024/1023]])</small>
| ([[11/10]])/([[32/31]])<sup>3</sup>
| ([[11/10]])/([[32/31]])<sup>3</sup>
| [[327701/327680]]
| [[327701/327680]]
| 0.111
| 0.111
| 2.5.11.31
|-
|-
| S33/S34 = ([[1089/1088]])/([[1156/1155]])
| <small>S33/S34 = ([[1089/1088]])/([[1156/1155]])</small>
| ([[35/32]])/([[34/33]])<sup>3</sup>
| ([[35/32]])/([[34/33]])<sup>3</sup>
| [[1257795/1257728]]
| <small>[[1257795/1257728]]</small>
| 0.092
| 0.092
| 2.3.5.7.11.17
|-
|-
| S34/S35 = ([[1156/1155]])/([[1225/1224]])
| <small>S34/S35 = ([[1156/1155]])/([[1225/1224]])</small>
| ([[12/11]])/([[35/34]])<sup>3</sup>
| ([[12/11]])/([[35/34]])<sup>3</sup>
| [[471648/471625]]
| [[471648/471625]]
| 0.084
| 0.084
| 2.3.5.7.11.17
|-
|-
| S37/S38 = ([[1369/1368]])/([[1444/1443]])
| <small>S37/S38 = ([[1369/1368]])/([[1444/1443]])</small>
| ([[13/12]])/([[38/37]])<sup>3</sup>
| ([[13/12]])/([[38/37]])<sup>3</sup>
| [[658489/658464]]
| [[658489/658464]]
| 0.066
| 0.066
| 2.3.13.19.37
|-
|-
| S40/S41 = ([[1600/1599]])/([[1681/1680]])
| <small>S40/S41 = ([[1600/1599]])/([[1681/1680]])</small>
| ([[14/13]])/([[41/40]])<sup>3</sup>
| ([[14/13]])/([[41/40]])<sup>3</sup>
| [[896000/895973]]
| [[896000/895973]]
| 0.052
| 0.052
| 2.5.7.13.41
|-
|-
| S43/S44 = ([[1849/1848]])/([[1936/1935]])
| <small>S43/S44 = ([[1849/1848]])/([[1936/1935]])</small>
| ([[15/14]])/([[44/43]])<sup>3</sup>
| ([[15/14]])/([[44/43]])<sup>3</sup>
| [[1192605/1192576]]
| <small>[[1192605/1192576]]</small>
| 0.042
| 0.042
| 2.3.5.7.11.43
|-
|-
| S46/S47 = ([[2116/2115]])/([[2209/2208]])
| <small>S46/S47 = ([[2116/2115]])/([[2209/2208]])</small>
| ([[16/15]])/([[47/46]])<sup>3</sup>
| ([[16/15]])/([[47/46]])<sup>3</sup>
| [[1557376/1557345]]
| <small>[[1557376/1557345]]</small>
| 0.034
| 0.034
| 2.3.5.23.47
|-
|-
| S49/S50 = ([[2401/2400]])/([[2500/2499]])
| <small>S49/S50 = ([[2401/2400]])/([[2500/2499]])</small>
| ([[17/16]])/([[50/49]])<sup>3</sup>
| ([[17/16]])/([[50/49]])<sup>3</sup>
| [[2000033/2000000]]
| <small>[[2000033/2000000]]</small>
| 0.029
| 0.029
| 2.5.7.17
|-
|-
| S50/S51 = ([[2500/2499]])/([[2601/2600]])
| <small>S50/S51 = ([[2500/2499]])/([[2601/2600]])</small>
| ([[52/49]])/([[51/50]])<sup>3</sup>
| ([[52/49]])/([[51/50]])<sup>3</sup>
| [[6500000/6499899]]
| <small>[[6500000/6499899]]</small>
| 0.027
| 0.027
| 2.3.5.7.13.17
|-
|-
| S55/S56 = ([[3025/3024]])/([[3136/3135]])
| <small>S55/S56 = ([[3025/3024]])/([[3136/3135]])</small>
| ([[19/18]])/([[56/55]])<sup>3</sup>
| ([[19/18]])/([[56/55]])<sup>3</sup>
| [[3161125/3161088]]
| <small>[[3161125/3161088]]</small>
| 0.02
| 0.020
| 2.3.5.7.11.19
|-
|-
| S64/S65 = ([[4096/4095]])/([[4225/4224]])
| <small>S64/S65 = ([[4096/4095]])/([[4225/4224]])</small>
| ([[22/21]])/([[65/64]])<sup>3</sup>
| ([[22/21]])/([[65/64]])<sup>3</sup>
| [[5767168/5767125]]
| <small>[[5767168/5767125]]</small>
| 0.013
| 0.013
| 2.3.5.7.11.13
|}
|}


The above table is a list of all [[23-limit]] ultraparticulars corresponding to S''k'' with ''k'' < 77, plus ultraparticulars corresponding to dividing a [[superparticular interval]] into three equal parts up to [[17/16]] (or up to [[19/18]] but excluding 18/17 because of it requiring a large prime, 53), plus S27/S28 so that we have all ultraparticulars up to S28/S29 listed rather than up to S26/S27.
The above table is a list of all [[23-limit]] ultraparticulars corresponding to S''k'' with ''k'' < 77, plus ultraparticulars corresponding to dividing a superparticular interval into three equal parts up to [[17/16]] (or up to [[19/18]] but excluding 18/17 because of it requiring a large prime, 53), plus S27/S28 so that we have all ultraparticulars up to S28/S29 listed rather than up to S26/S27.


This table has been expanded following every ultraparticular from S2/S3 to S16/S17 having its own page. Note that ultraparticulars are, in general, extremely precise commas so that usually one wouldn't consider tempering them directly rather than through tempering the square-particulars S''k'' which they are composed of. As an example of this, notice that [[4000/3993|S10/S11]] is the largest ultraparticular categorised as an [[unnoticeable comma]], which means not unnoticeable in the absolute sense but rather in the sense of being smaller than the melodic just-noticeable difference, despite only dividing a superparticular as simple and unremarkable as [[4/3]]. For this reason, a [[cent]]s column has been included to aid an appreciation of their precision. The cent value of a [[semiparticular]] is roughly double that of any of the two ultraparticulars it is composed of; this becomes more true the higher you go.
{{Note| This table has been expanded following every ultraparticular from S2/S3 to S16/S17 having its own page. }}
 
Note that ultraparticulars are, in general, extremely precise commas so that usually one would not consider tempering them directly rather than through tempering the square-particulars S''k'' which they are composed of. As an example of this, notice that [[4000/3993|S10/S11]] is the largest ultraparticular categorised as an [[unnoticeable comma]] (''unnoticeable'' in the sense of being smaller than the melodic [[just-noticeable difference]]), despite only dividing a superparticular as simple and unremarkable as [[4/3]]. For this reason, a [[cent]]s column has been included to aid an appreciation of their precision. The cent value of a [[semiparticular]] is roughly double that of any of the two ultraparticulars it is composed of; this becomes more true the higher you go.


Note also from this table how the shorthand becomes increasingly convenient higher up the series, where (preferably [[consistent]]) temperaments that temper out the ultraparticular but neither of the superparticulars which it is a difference between are of increasing precision. Note also how every three superparticulars the interval divided into three equal parts simplifies to a superparticular. This happens for S(3''k'' + 1)/S(3''k''+ 2) for a positive integer ''k'', because then the superparticular can be expressed as:
Note also from this table how the shorthand becomes increasingly convenient higher up the series, where (preferably [[consistent]]) temperaments that temper out the ultraparticular but neither of the superparticulars which it is a difference between are of increasing precision. Note also how every three superparticulars the interval divided into three equal parts simplifies to a superparticular. This happens for S(3''k'' + 1)/S(3''k''+ 2) for a positive integer ''k'', because then the superparticular can be expressed as:


<math>\frac{(3k + 3)/3k}{((3k + 2)(3k + 1))^3} = \frac{(k + 1)/k}{((3k + 2)(3k + 1))^3}</math>
$$ \frac{(3k + 3)/3k}{((3k + 2)(3k + 1))^3} = \frac{(k + 1)/k}{((3k + 2)(3k + 1))^3} $$


Also note that if you temper multiple adjacent ultraparticulars, you sometimes are not required to use those ultraparticulars in the comma list as description of (the bulk of) the tempering may be possible through [[#Sk/S(k + 2) (semiparticulars)|semiparticulars]], discussed next.
Also note that if you temper multiple adjacent ultraparticulars, you sometimes are not required to use those ultraparticulars in the comma list as description of the bulk of the tempering may be possible through [[#Sk/S(k + 2) (semiparticulars)|semiparticulars]], discussed next.


== {{nowrap|S''k''/S(''k'' + 2)}} (semiparticulars) ==
== S''k''/S(''k'' + 2) (semiparticulars) ==
=== Motivational examples ===
=== Motivational examples ===
If we want to halve one JI interval into two of another JI interval, there is a powerful and elegant pattern for doing so:
If we want to halve one JI interval into two of another JI interval, there is a powerful and elegant pattern for doing so:
Line 1,861: Line 1,903:
* [[19/17]] is approximately half of [[5/4]] (=&nbsp;20/16)
* [[19/17]] is approximately half of [[5/4]] (=&nbsp;20/16)


These properties show a pattern: take some arbitrary [[#Glossary|quodd-particular]] (''k'' + 4)/''k''; observe that we can split it into (''k'' + 4)/(''k'' + 2) * (''k'' + 2)/''k''.
These properties show a pattern: take some arbitrary [[#Glossary|quodd-particular]] (''k'' + 4)/''k''; observe that we can split it into (''k'' + 4)/(''k'' + 2) * (''k'' + 2)/''k''. Now observe that (''k'' + 2)/''k'' > (''k'' + 3)/(''k'' + 1) > (''k'' + 4)/(''k'' + 2); in fact, it can be shown fairly easily that (''k'' + 3)/(''k'' + 1) is the [[mediant]] of (''k'' + 4)/(''k'' + 2) and (''k'' + 2)/''k''. It turns out that making this mediant — (''k'' + 3)/(''k'' + 1) — equal to half of (''k'' + 4)/''k'' is equivalent to tempering S(''k'' + 1)/S(''k'' + 3).
 
Now observe that (''k'' + 2)/''k'' > (''k'' + 3)/(''k'' + 1) > (''k'' + 4)/(''k'' + 2); in fact, it can be shown fairly easily that (''k'' + 3)/(''k'' + 1) is the [[mediant]] of (''k'' + 4)/(''k'' + 2) and (''k'' + 2)/''k''.
 
It turns out that making this mediant — (''k'' + 3)/(''k'' + 1) — equal to half of (''k'' + 4)/''k'' is equivalent to tempering S(''k'' + 1)/S(''k'' + 3).


=== Significance ===
=== Significance ===
1. For differences between square-particulars of the form S''k''/S(''k'' + 2), the resulting comma is either [[superparticular]] or [[#Glossary|odd-particular]], so these are efficient commas. (This terminology also suggests [[#Glossary|throdd-particular]] and [[#Glossary|quodd-particular]] as generalizations.)
# For differences between square-particulars of the form S''k''/S(''k'' + 2), the resulting comma is either [[superparticular]] or [[#Glossary|odd-particular]], so these are efficient commas. (This terminology also suggests [[#Glossary|throdd-particular]] and [[#Glossary|quodd-particular]] as generalizations.)
 
# Tempering out any two consecutive [[ultraparticular]]s implies tempering out a semiparticular, so from two adjacent "thirding" equivalences you get a "halving" equivalence for free.
2. Tempering any two consecutive [[ultraparticular]]s implies tempering a semiparticular, so from two adjacent "thirding" equivalences you get a "halving" equivalence for free!
# Tempering out any two nearly-consecutive square-particulars (S''k'' and S(''k'' + 2)) implies tempering out a semiparticular; this is generally much more ideal than tempering out two consecutive S''k'' because it is of a lot lower damage (see [[lopsided comma]]s for relatively large commas implied by this higher-damage strategy).
 
# On top of the halving equivalence, there is a number of subtler structural implications, discussed below, that may be desirable to the temperament designer.
3. Tempering any two nearly-consecutive square-particulars (S''k'' and S(''k'' + 2)) implies tempering a semiparticular; this is generally much more ideal than tempering two consecutive S''k'' because it is a lot lower damage (see [[lopsided comma]]s for (relatively) large commas implied by this higher-damage strategy).
 
4. On top of the halving equivalence, there is a number of subtler structural implications, [[discussed below, that may be desirable to the temperament designer.


=== Meaning ===
=== Meaning ===
: '''Reader notes:''' In the below, we use S(''k'' - 1)/S(''k'' + 1) for symmetry around ''k'' to make the math visually simpler, but keep in mind it's equivalent to using an offset ''k''.
In the below, we use S(''k'' - 1)/S(''k'' + 1) for symmetry around ''k'' to make the math visually simpler, but keep in mind it is equivalent to using an offset ''k''. Also keep in mind that ''k'' - ''a'' (for positive ''a'') is smaller than ''k'', so that ''k''/(''k'' - ''a'') > (''k'' + ''a'')/''k'' (because the former appears earlier in the harmonic series & is thus larger); this is an important and useful intuition to learn.
: '''Also:''' keep in mind that ''k'' - ''a'' (for positive ''a'') is smaller than ''k'', so that ''k''/(''k'' - ''a'') > (''k'' + ''a'')/''k'' (because the former appears earlier in the harmonic series & is thus larger); this is an important and useful intuition to learn.


Tempering S(''k'' - 1)/S(''k'' + 1) implies that (''k'' + 2)/(''k'' - 2) is divisible exactly into two halves of (''k'' + 1)/(''k'' - 1). It also implies that the intervals (''k'' + 2)/''k'' (=s) and ''k''/(''k'' - 2) (=L) are equidistant from (''k'' + 1)/(''k'' - 1) (=M) because to make them equidistant we need to temper:
Tempering out S(''k'' - 1)/S(''k'' + 1) implies that (''k'' + 2)/(''k'' - 2) is divisible exactly into two halves of (''k'' + 1)/(''k'' - 1). It also implies that the intervals (''k'' + 2)/''k'' (= s) and ''k''/(''k'' - 2) (= L) are equidistant from (''k'' + 1)/(''k'' - 1) (= M) because, to make them equidistant, we need to temper out:


<math>\displaystyle \frac{L/M}{M/s} = \frac{ \left(\frac{k}{k-2}\right)/\left(\frac{k+1}{k-1}\right) }{ \left(\frac{k+1}{k-1}\right)/\left(\frac{k+2}{k}\right) } = \frac{Ls}{M^2} = \frac{\frac{k+2}{k-2}}{\left(\frac{k+1}{k-1}\right)^2} </math>
$$ \frac{L/M}{M/s} = \frac{ \left(\frac{k}{k-2}\right)/\left(\frac{k+1}{k-1}\right) }{ \left(\frac{k+1}{k-1}\right)/\left(\frac{k+2}{k}\right) } = \frac{Ls}{M^2} = \frac{\frac{k+2}{k-2}}{\left(\frac{k+1}{k-1}\right)^2} $$


… and notice that the latter expression is the one we've [[S-expression/Advanced results#Mathematical derivations|shown is equal to S(''k''-1)/S(''k''+1)]] (up to an offset ''k''). In other words, you could interpret that a reason that tempering S(''k''-1)/S(''k''+1) results in (''k''+1)/(''k''-1) being half of (''k''+2)/(''k''-2) is because it makes the following three intervals equidistant:
… and notice that the latter expression is the one we have shown is equal to S(''k'' - 1)/S(''k'' + 1)]] up to an offset ''k'' (→ [[S-expression/Advanced results #Mathematical derivations]]). In other words, that tempering out S(''k'' - 1)/S(''k'' + 1) results in (''k'' + 1)/(''k'' - 1) being half of (''k'' + 2)/(''k'' - 2) is an implication that it makes (''k'' + 2)/''k'', (''k'' + 1)/(''k'' - 1), and ''k''/(''k'' - 2) equidistant.
(''k''+2)/''k'', (''k''+1)/(''k''-1), ''k''/(''k''-2)


Also note that in the above, (''k'' + 1)/(''k'' - 1) is the [[mediant]] of the adjacent two intervals, meaning that division of an interval into two via tempering a semiparticular is in some sense 'optimal' relative to the complexity. This also means that if ''k'' is a multiple of 2, this corresponds to a natural way to split the square superparticular S(''k''/2) into two parts. For example, if ''k'' = 10 then we have (10+2)/10, (10+1)/(10-1), 10/(10-2) as equidistant, which simplified is 6/5, 11/9, 5/4, with 11/9 being the mediant of 6/5 and 5/4, and therefore the corresponding superparticular S5 = (5/4)/(6/5) is split into two parts which are tempered together: (5/4)/(11/9) = 45/44 and (11/9)/(6/5) = 55/54. The semiparticular is therefore S(10-1)/S(10+1) = S9/S11 = 243/242 = (45/44)/(55/54) = ((10+2)/(10-2))/((10+1)/(10-1))<sup>2</sup>.
Also note that in the above, (''k'' + 1)/(''k'' - 1) is the mediant of the adjacent two intervals, meaning that division of an interval into two via tempering out a semiparticular is in some sense 'optimal' relative to the complexity. This also means that if ''k'' is a multiple of 2, this corresponds to a natural way to split the square superparticular S(''k''/2) into two parts. For example, if ''k'' = 10, then we have (10 + 2)/10, (10 + 1)/(10 - 1), 10/(10 - 2) as equidistant, which simplified is 6/5, 11/9, 5/4, with 11/9 being the mediant of 6/5 and 5/4, and therefore the corresponding superparticular S5 = (5/4)/(6/5) is split into two parts which are tempered together: (5/4)/(11/9) = 45/44 and (11/9)/(6/5) = 55/54. The semiparticular is therefore S(10 - 1)/S(10 + 1) = S9/S11 = 243/242 = (45/44)/(55/54) = ((10 + 2)/(10 - 2))/((10 + 1)/(10 - 1))<sup>2</sup>.


This form of comma has been named "semiparticular", because most of the time it is superparticular but less often it is odd-particular, and because when tempered out they all cause an interval to be divided into two equal parts where each part is a (tempered version of a) superparticular or odd-particular, and the interval being divided in half is sometimes quodd-particular, sometimes odd-particular and sometimes superparticular. Specifically:
This form of comma has been named ''semiparticular'' because most of the time it is superparticular but less often it is odd-particular, and because, when tempered out, they all cause an interval to be divided into two equal parts where each part is a tempered version of a superparticular or odd-particular, and the interval being divided in half is sometimes quodd-particular, sometimes odd-particular and sometimes superparticular. Specifically:
* To find out what a superparticular (''a'' + 1)/''a'' is approximately half of, temper out the semiparticular S(2''a'')/S(2''a''+2) and you can observe that (2''a'' + 3)/(2''a'' - 1) is the interval it is approximately half of.
* To find out what an odd-particular (2''a'' + 1)/(2''a'' - 1) is approximately half of, temper out the semiparticular S(2''a'' - 1)/S(2''a'' + 1) and you can observe that (2''a'' + 2)/(2''a'' - 2) = (''a'' + 1)/(''a'' - 1), a superparticular or odd-particular, is the interval it is approximately half of.
* To find out what splits a superparticular (''a'' + 1)/''a'' in half, temper out the semiparticular S(4''a'' + 1)/S(4''a'' + 3) and you can observe that (4''a'' + 3)/(4''a'' + 1), an odd-particular, is the interval that is approximately half of it.
* To find out what splits an odd-particular (2''a'' + 1)/(2''a''-1) in half, temper out the semiparticular S(4''a'' - 2)/S(4''a'' + 2) and you can observe that (4''a'' - 1)/(4''a'' + 1), an odd-particular, is the interval that is approximately half of it.


* To find out what a superparticular (''a''+1)/''a'' is approximately half of, temper the semiparticular S(2''a'')/S(2''a''+2) and you can observe that (2''a''+3)/(2''a''-1) is the interval it is approximately half of.
Also, the interval in the denominator of an expression of a semiparticular of the form (''a''/''b'')/(''c''/''d'')<sup>2</sup> is significant in that it has a special relationship: specifically, consider tempering out (''a''/''b'')/(''c''/''d'')<sup>2</sup> so the interval ''c''/''d'' is equal to the interval (''a''/''b'')/(''c''/''d''). This is significant because it allows the intuitive replacement of two consecutive superparticulars, whose product is a superparticular or odd-particular, with the two superparticulars directly adjacent to them.


* To find out what an odd-particular (2''a''+1)/(2''a''-1) is approximately half of, temper the semiparticular S(2''a''-1)/S(2''a''+1) and you can observe that (2''a''+2)/(2''a''-2) = (''a''+1)/(''a''-1), a superparticular or odd-particular, is the interval it is approximately half of.
For example, from 9/8 = (18/17)⋅(17/16), we can replace 18/17 with 19/18 and 17/16 with 16/15 by tempering out S16/S18 = (19/15)/(9/8)<sup>2</sup> because we can multiply 9/8 by the vanishing comma (19/15)/(9/8)<sup>2</sup> to get (19/15)/(9/8) = (19/18)(16/15), or as 13/11 = (13/12)⋅(12/11) we can replace 13/12 with 14/13 and 12/11 with 11/10 by tempering out S11/S13 = (7/5)/(13/11)<sup>2</sup> because we can multiply 13/11 by the vanishing comma (7/5)/(13/11)<sup>2</sup> to get (7/5)/(13/11) = (14/13)⋅(11/10). Both intervals should be replaced simultaneously as this results in lower error, and note that to replace them individually we must pick the higher-error route of tempering out S16 and S18 or S11 and S13 individually, for which tempering out the semiparticular is then an implied consequence. The broader lesson is that you can rewrite exact JI equivalences with the commas you are tempering to find new interesting consequences of those commas.


* To find out what splits a superparticular (''a''+1)/''a'' in half, temper the semiparticular S(4''a''+1)/S(4''a''+3) and you can observe that (4''a''+3)/(4''a''+1), an odd-particular, is the interval that is approximately half of it.
=== Table of semiparticulars ===
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:


* To find out what splits an odd-particular (2''a''+1)/(2''a''-1) in half, temper the semiparticular S(4''a''-2)/S(4''a''+2) and you can observe that (4''a''-1)/(4''a''+1), an odd-particular, is the interval that is approximately half of it.
{| class="wikitable center-all left-4"
 
|-
Also, the interval in the denominator of an expression of a semiparticular of the form (a/b)/(c/d)<sup>2</sup> is significant in that it has a special relationship: specifically, consider tempering (a/b)/(c/d)<sup>2</sup> so therefore the interval c/d is equal to the interval (a/b)/(c/d). This is significant because it allows the intuitive replacement of two consecutive superparticulars (whose product is a superparticular or odd-particular) with the two superparticulars directly adjacent to them.
 
For example, as 9/8 = 18/17 * 17/16 we can replace 18/17 with 19/18 and 17/16 with 16/15 by tempering S16/S18 = (19/15)/(9/8)<sup>2</sup> because we can multiply 9/8 by the tempered comma (19/15)/(9/8)<sup>2</sup> to get (19/15)/(9/8) = (19/18)(16/15) (because 9/8 = 18/16), or as 13/11 = 13/12 * 12/11 we can replace 13/12 with 14/13 and 12/11 with 11/10 by tempering S11/S13 = (7/5)/(13/11)<sup>2</sup> because we can multiply 13/11 by the tempered comma (7/5)/(13/11)<sup>2</sup> to get (7/5)/(13/11) = (14/13)(11/10) (because 7/5 = 14/10). Note we have to replace ''both'' intervals ''simultaneously'' as this is lower error, and note that if we want to be able to replace them individually we must pick the higher error route of tempering S16 and S18 or S11 and S13 individually (for which tempering the semiparticular is then an implied consequence). (The broader lesson is that you can rewrite exact JI equivalences with the commas you are tempering to find new interesting consequences of those commas.)
 
=== Table of semiparticulars ===
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 interval]]s 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 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
|-
! 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
|}
|}


(Note that while a lot of these have pages, not all of them do, although that doesn't mean they shouldn't. A noticeable streak of commas currently without pages correspond to when dividing a superparticular interval implicates intervals from a higher [[prime limit]], as a surprising amount of 23-limit semiparticulars shown here already have pages.)
{{Note| While a lot of these have pages, not all of them do, although that does not mean they should not. A noticeable streak of commas currently without pages correspond to when dividing a superparticular interval implicates intervals from a higher [[prime limit]], as a surprising amount of 23-limit semiparticulars shown here already have pages. }}


== {{nowrap|S''k''² * S(''k'' + 1)}} and {{nowrap|S(''k'' − 1) * S''k''²}} (lopsided commas) ==
== S''k''<sup>2</sup>⋅S(''k'' + 1) and S(''k'' − 1)⋅S''k''<sup>2</sup> (lopsided commas) ==
=== Significance ===
=== Significance ===
1. Tempering any two consecutive square-particulars, S''k'' and S(''k'' + 1), implies tempering the two associated lopsided commas as well as the associated [[triangle-particular]] and [[ultraparticular]], so the lopsided commas represent the general form of the highest-damage relations/consequences of doing so.
# Tempering out any two consecutive square-particulars, S''k'' and S(''k'' + 1), implies tempering out the two associated lopsided commas as well as the associated triangle-particular and ultraparticular, so the lopsided commas represent the general form of the highest-damage relations/consequences of doing so.
 
# If a comma (such as the diaschisma, [[2048/2025]]), admits an expression as a lopsided comma, it means that one is likely missing out on tempering opportunities by not also tempering out the square-particulars composing it (such as [[256/255|S16]] and [[289/288|S17]] in the case of the diaschisma), often involving expanding the subgroup and adding a number of new equivalence relations (as previously explained) while simultaneously making the temperament more efficient and more precise.
2. If a comma (such as the diaschisma, [[2048/2025]]), admits an expression as a lopsided comma, it means that one is likely missing out on tempering opportunities by not also tempering the square-particulars composing it (such as [[256/255|S16]] and [[289/288|S17]] in the case of the diaschisma), often involving expanding the subgroup and adding a number of new equivalence relations (as previously explained) while simultaneously making the temperament more efficient and more precise.
# It is surprising that there are fairly simple general equivalence relations for these S-expressions, essentially being "free" to read off of an S-expression-based comma list, once you know the general form.
 
3. It is surprising that there are fairly simple general equivalence relations for these S-expressions, essentially being "free" to read off of an S-expression-based comma list, once you know the general form.


=== Derivation of equivalence relation ===
=== Derivation of equivalence relation ===
Using the clarity of [[S-expression/Advanced results#Using S-factorizations to understand the significance of S-expressions|S-factorizations]], we can show the interval relations implicated by these two new "lopsided" forms, which will make clear the reason for their name:
Using the clarity of [[#Using S-factorizations to understand the significance of S-expressions|S-factorizations]], we can show the interval relations implicated by these two new "lopsided" forms, which will make clear the reason for their name:


S''k''<sup>2</sup> * S(''k''+1) = [''k''-1, ''k'', ''k''+1, ''k''+2]^(2[-1, 2, -1, 0] + [0, -1, 2, -1] = [-2, 4, -2, 0] + [0, -1, 2, -1] = [-2, 3, 0, -1]) implies:
S''k''<sup>2</sup>⋅S(''k'' + 1) = [''k'' - 1, ''k'', ''k'' + 1, ''k'' + 2]^(2[-1, 2, -1, 0] + [0, -1, 2, -1] = [-2, 4, -2, 0] + [0, -1, 2, -1] = [-2, 3, 0, -1]) implies:


S''k''<sup>2</sup> * S(''k''+1) = (''k''/(''k''-1))<sup>2</sup> / ((''k''+2)/''k'') through [-2, 3, 0, -1] = [-2, 2, 0, 0] - [0, -1, 0, 1].
S''k''<sup>2</sup>⋅S(''k'' + 1) = (''k''/(''k'' - 1))<sup>2</sup> / ((''k'' + 2)/''k'') through [-2, 3, 0, -1] = [-2, 2, 0, 0] - [0, -1, 0, 1].


S(''k''-1) * S''k''<sup>2</sup> = [''k''-2, ''k''-1, ''k'', ''k''+1]^([-1, 2, -1, 0] + 2[0, -1, 2, -1] = [-1, 2, -1, 0] + [0, -2, 4, -2] = [-1, 0, 3, -2]) implies:
S(''k'' - 1)⋅S''k''<sup>2</sup> = [''k'' - 2, ''k'' - 1, ''k'', ''k'' + 1]^([-1, 2, -1, 0] + 2[0, -1, 2, -1] = [-1, 2, -1, 0] + [0, -2, 4, -2] = [-1, 0, 3, -2]) implies:


S(''k''-1) * S''k''<sup>2</sup> = (''k''/(''k''-2)) / ((''k''+1)/''k'')<sup>2</sup> through [-1, 0, 3, -2] = [-1, 0, 1, 0] - [0, 0, -2, 2].
S(''k'' - 1)⋅S''k''<sup>2</sup> = (''k''/(''k'' - 2)) / ((''k'' + 1)/''k'')<sup>2</sup> through [-1, 0, 3, -2] = [-1, 0, 1, 0] - [0, 0, -2, 2].


=== Tables ===
=== Tables ===
Below are two tables of [[43-limit]] lopsided commas. First, the "top heavy" lopsided commas, where the squared interval is in the numerator, then the "bottom heavy" lopsided commas, where the squared interval is in the denominator. These tables are so big because these commas are quite large so the more interesting commas appear later. For this reason and for completeness, the tables show up to until a little past the largest known lopsided commas that have their own page: the [[olympia]] and the [[phaotic comma]].
Below are two tables of [[43-limit]] lopsided commas. First, the "top heavy" lopsided commas, where the squared interval is in the numerator, then the "bottom heavy" lopsided commas, where the squared interval is in the denominator. These tables are so big because these commas are quite large, so the more interesting commas appear later. For this reason and for completeness, the tables show up to until a little past the largest known lopsided commas that have their own page: the [[olympia]] and the [[phaotic comma]].


==== Top-heavy lopsided commas ====
==== Top-heavy lopsided commas ====
Line 2,105: Line 2,174:
|-
|-
! S-expression
! S-expression
! Square Relation
! Square relation
! Ratio
! Ratio
|-
|-
| S2<sup>2</sup>*S3 = [[3/2]] * [[4/3]]
| S2<sup>2</sup>⋅S3 = ([[3/2]])⋅([[4/3]])
| ([[2/1]])<sup>2</sup> / ([[2/1]])
| ([[2/1]])<sup>2</sup>/([[2/1]])
| [[2/1]]
| [[2/1]]
|-
|-
| S3<sup>2</sup>*S4 = [[6/5]] * [[9/8]]
| S3<sup>2</sup>⋅S4 = ([[6/5]])⋅([[9/8]])
| ([[3/2]])<sup>2</sup> / ([[5/3]])
| ([[3/2]])<sup>2</sup>/([[5/3]])
| [[27/20]]
| [[27/20]]
|-
|-
| S4<sup>2</sup>*S5 = [[10/9]] * [[16/15]]
| S4<sup>2</sup>⋅S5 = ([[10/9]])⋅([[16/15]])
| ([[4/3]])<sup>2</sup> / ([[3/2]])
| ([[4/3]])<sup>2</sup>/([[3/2]])
| [[32/27]]
| [[32/27]]
|-
|-
| S5<sup>2</sup>*S6 = [[15/14]] * [[25/24]]
| S5<sup>2</sup>⋅S6 = ([[15/14]])⋅([[25/24]])
| ([[5/4]])<sup>2</sup> / ([[7/5]])
| ([[5/4]])<sup>2</sup>/([[7/5]])
| [[125/112]]
| [[125/112]]
|-
|-
| S6<sup>2</sup>*S7 = [[21/20]] * [[36/35]]
| S6<sup>2</sup>⋅S7 = ([[21/20]])⋅([[36/35]])
| ([[6/5]])<sup>2</sup> / ([[4/3]])
| ([[6/5]])<sup>2</sup>/([[4/3]])
| [[27/25]]
| [[27/25]]
|-
|-
| S7<sup>2</sup>*S8 = [[28/27]] * [[49/48]]
| S7<sup>2</sup>⋅S8 = ([[28/27]])⋅([[49/48]])
| ([[7/6]])<sup>2</sup> / ([[9/7]])
| ([[7/6]])<sup>2</sup>/([[9/7]])
| [[343/324]]
| [[343/324]]
|-
|-
| S8<sup>2</sup>*S9 = [[36/35]] * [[64/63]]
| S8<sup>2</sup>⋅S9 = ([[36/35]])([[64/63]])
| ([[8/7]])<sup>2</sup> / ([[5/4]])
| ([[8/7]])<sup>2</sup>/([[5/4]])
| [[256/245]]
| [[256/245]]
|-
|-
| S9<sup>2</sup>*S10 = [[45/44]] * [[81/80]]
| S9<sup>2</sup>⋅S10 = ([[45/44]])([[81/80]])
| ([[9/8]])<sup>2</sup> / ([[11/9]])
| ([[9/8]])<sup>2</sup>/([[11/9]])
| [[729/704]]
| [[729/704]]
|-
|-
| S10<sup>2</sup>*S11 = [[55/54]] * [[100/99]]
| S10<sup>2</sup>⋅S11 = ([[55/54]])⋅([[100/99]])
| ([[10/9]])<sup>2</sup> / ([[6/5]])
| ([[10/9]])<sup>2</sup>/([[6/5]])
| [[250/243]]
| [[250/243]]
|-
|-
| S11<sup>2</sup>*S12 = [[66/65]] * [[121/120]]
| S11<sup>2</sup>⋅S12 = ([[66/65]])⋅([[121/120]])
| ([[11/10]])<sup>2</sup> / ([[13/11]])
| ([[11/10]])<sup>2</sup>/([[13/11]])
| [[1331/1300]]
| [[1331/1300]]
|-
|-
| S12<sup>2</sup>*S13 = [[78/77]] * [[144/143]]
| S12<sup>2</sup>⋅S13 = ([[78/77]]⋅([[144/143]])
| ([[12/11]])<sup>2</sup> / ([[7/6]])
| ([[12/11]])<sup>2</sup>/([[7/6]])
| [[864/847]]
| [[864/847]]
|-
|-
| S13<sup>2</sup>*S14 = [[91/90]] * [[169/168]]
| S13<sup>2</sup>⋅S14 = ([[91/90]])⋅([[169/168]])
| ([[13/12]])<sup>2</sup> / ([[15/13]])
| ([[13/12]])<sup>2</sup>/([[15/13]])
| [[2197/2160]]
| [[2197/2160]]
|-
|-
| S14<sup>2</sup>*S15 = [[105/104]] * [[196/195]]
| S14<sup>2</sup>⋅S15 = ([[105/104]])⋅([[196/195]])
| ([[14/13]])<sup>2</sup> / ([[8/7]])
| ([[14/13]])<sup>2</sup>/([[8/7]])
| [[343/338]]
| [[343/338]]
|-
|-
| S15<sup>2</sup>*S16 = [[120/119]] * [[225/224]]
| S15<sup>2</sup>⋅S16 = ([[120/119]])⋅([[225/224]])
| ([[15/14]])<sup>2</sup> / ([[17/15]])
| ([[15/14]])<sup>2</sup>/([[17/15]])
| [[3375/3332]]
| [[3375/3332]]
|-
|-
| S16<sup>2</sup>*S17 = [[136/135]] * [[256/255]]
| S16<sup>2</sup>⋅S17 = ([[136/135]])⋅([[256/255]])
| ([[16/15]])<sup>2</sup> / ([[9/8]])
| ([[16/15]])<sup>2</sup>/([[9/8]])
| [[2048/2025]]
| [[2048/2025]]
|-
|-
| S17<sup>2</sup>*S18 = [[153/152]] * [[289/288]]
| S17<sup>2</sup>⋅S18 = ([[153/152]])⋅([[289/288]])
| ([[17/16]])<sup>2</sup> / ([[19/17]])
| ([[17/16]])<sup>2</sup>/([[19/17]])
| [[4913/4864]]
| [[4913/4864]]
|-
|-
| S18<sup>2</sup>*S19 = [[171/170]] * [[324/323]]
| S18<sup>2</sup>⋅S19 = ([[171/170]])⋅([[324/323]])
| ([[18/17]])<sup>2</sup> / ([[10/9]])
| ([[18/17]])<sup>2</sup>/([[10/9]])
| [[1458/1445]]
| [[1458/1445]]
|-
|-
| S19<sup>2</sup>*S20 = [[190/189]] * [[361/360]]
| S19<sup>2</sup>⋅S20 = ([[190/189]])⋅([[361/360]])
| ([[19/18]])<sup>2</sup> / ([[21/19]])
| ([[19/18]])<sup>2</sup>/([[21/19]])
| [[6859/6804]]
| [[6859/6804]]
|-
|-
| S20<sup>2</sup>*S21 = [[210/209]] * [[400/399]]
| S20<sup>2</sup>⋅S21 = ([[210/209]])⋅([[400/399]])
| ([[20/19]])<sup>2</sup> / ([[11/10]])
| ([[20/19]])<sup>2</sup>/([[11/10]])
| [[4000/3971]]
| [[4000/3971]]
|-
|-
| S21<sup>2</sup>*S22 = [[231/230]] * [[441/440]]
| S21<sup>2</sup>⋅S22 = ([[231/230]])⋅([[441/440]])
| ([[21/20]])<sup>2</sup> / ([[23/21]])
| ([[21/20]])<sup>2</sup>/([[23/21]])
| [[9261/9200]]
| [[9261/9200]]
|-
|-
| S22<sup>2</sup>*S23 = [[253/252]] * [[484/483]]
| S22<sup>2</sup>⋅S23 = ([[253/252]])⋅([[484/483]])
| ([[22/21]])<sup>2</sup> / ([[12/11]])
| ([[22/21]])<sup>2</sup>/([[12/11]])
| [[1331/1323]]
| [[1331/1323]]
|-
|-
| S23<sup>2</sup>*S24 = [[276/275]] * [[529/528]]
| S23<sup>2</sup>⋅S24 = ([[276/275]])⋅([[529/528]])
| ([[23/22]])<sup>2</sup> / ([[25/23]])
| ([[23/22]])<sup>2</sup>/([[25/23]])
| [[12167/12100]]
| [[12167/12100]]
|-
|-
| S24<sup>2</sup>*S25 = [[300/299]] * [[576/575]]
| S24<sup>2</sup>⋅S25 = ([[300/299]])⋅([[576/575]])
| ([[24/23]])<sup>2</sup> / ([[13/12]])
| ([[24/23]])<sup>2</sup>/([[13/12]])
| [[6912/6877]]
| [[6912/6877]]
|-
|-
| S25<sup>2</sup>*S26 = [[325/324]] * [[625/624]]
| S25<sup>2</sup>⋅S26 = ([[325/324]])⋅([[625/624]])
| ([[25/24]])<sup>2</sup> / ([[27/25]])
| ([[25/24]])<sup>2</sup>/([[27/25]])
| [[15625/15552]]
| [[15625/15552]]
|-
|-
| S26<sup>2</sup>*S27 = [[351/350]] * [[676/675]]
| S26<sup>2</sup>⋅S27 = ([[351/350]])⋅([[676/675]])
| ([[26/25]])<sup>2</sup> / ([[14/13]])
| ([[26/25]])<sup>2</sup>/([[14/13]])
| [[4394/4375]]
| [[4394/4375]]
|-
|-
| S27<sup>2</sup>*S28 = [[378/377]] * [[729/728]]
| S27<sup>2</sup>⋅S28 = ([[378/377]])⋅([[729/728]])
| ([[27/26]])<sup>2</sup> / ([[29/27]])
| ([[27/26]])<sup>2</sup>/([[29/27]])
| [[19683/19604]]
| [[19683/19604]]
|-
|-
| S28<sup>2</sup>*S29 = [[406/405]] * [[784/783]]
| S28<sup>2</sup>⋅S29 = ([[406/405]])⋅([[784/783]])
| ([[28/27]])<sup>2</sup> / ([[15/14]])
| ([[28/27]])<sup>2</sup>/([[15/14]])
| [[10976/10935]]
| [[10976/10935]]
|-
|-
| S29<sup>2</sup>*S30 = [[435/434]] * [[841/840]]
| S29<sup>2</sup>⋅S30 = ([[435/434]])⋅([[841/840]])
| ([[29/28]])<sup>2</sup> / ([[31/29]])
| ([[29/28]])<sup>2</sup>/([[31/29]])
| [[24389/24304]]
| [[24389/24304]]
|-
|-
| S30<sup>2</sup>*S31 = [[465/464]] * [[900/899]]
| S30<sup>2</sup>⋅S31 = ([[465/464]])⋅([[900/899]])
| ([[30/29]])<sup>2</sup> / ([[16/15]])
| ([[30/29]])<sup>2</sup>/([[16/15]])
| [[3375/3364]]
| [[3375/3364]]
|-
|-
| S31<sup>2</sup>*S32 = [[496/495]] * [[961/960]]
| S31<sup>2</sup>⋅S32 = ([[496/495]])⋅([[961/960]])
| ([[31/30]])<sup>2</sup> / ([[33/31]])
| ([[31/30]])<sup>2</sup>/([[33/31]])
| [[29791/29700]]
| [[29791/29700]]
|-
|-
| S32<sup>2</sup>*S33 = [[528/527]] * [[1024/1023]]
| S32<sup>2</sup>⋅S33 = ([[528/527]])⋅([[1024/1023]])
| ([[32/31]])<sup>2</sup> / ([[17/16]])
| ([[32/31]])<sup>2</sup>/([[17/16]])
| [[16384/16337]]
| [[16384/16337]]
|-
|-
| S33<sup>2</sup>*S34 = [[561/560]] * [[1089/1088]]
| S33<sup>2</sup>⋅S34 = ([[561/560]])⋅([[1089/1088]])
| ([[33/32]])<sup>2</sup> / ([[35/33]])
| ([[33/32]])<sup>2</sup>/([[35/33]])
| [[35937/35840]]
| [[35937/35840]]
|-
|-
| S34<sup>2</sup>*S35 = [[595/594]] * [[1156/1155]]
| S34<sup>2</sup>⋅S35 = ([[595/594]])⋅([[1156/1155]])
| ([[34/33]])<sup>2</sup> / ([[18/17]])
| ([[34/33]])<sup>2</sup>/([[18/17]])
| [[9826/9801]]
| [[9826/9801]]
|-
|-
| S35<sup>2</sup>*S36 = [[630/629]] * [[1225/1224]]
| S35<sup>2</sup>⋅S36 = ([[630/629]])⋅([[1225/1224]])
| ([[35/34]])<sup>2</sup> / ([[37/35]])
| ([[35/34]])<sup>2</sup>/([[37/35]])
| [[42875/42772]]
| [[42875/42772]]
|-
|-
| S36<sup>2</sup>*S37 = [[666/665]] * [[1296/1295]]
| S36<sup>2</sup>⋅S37 = ([[666/665]])⋅([[1296/1295]])
| ([[36/35]])<sup>2</sup> / ([[19/18]])
| ([[36/35]])<sup>2</sup>/([[19/18]])
| [[23328/23275]]
| [[23328/23275]]
|-
|-
| S37<sup>2</sup>*S38 = [[703/702]] * [[1369/1368]]
| S37<sup>2</sup>⋅S38 = ([[703/702]])⋅([[1369/1368]])
| ([[37/36]])<sup>2</sup> / ([[39/37]])
| ([[37/36]])<sup>2</sup>/([[39/37]])
| [[50653/50544]]
| [[50653/50544]]
|-
|-
| S38<sup>2</sup>*S39 = [[741/740]] * [[1444/1443]]
| S38<sup>2</sup>⋅S39 = ([[741/740]])⋅([[1444/1443]])
| ([[38/37]])<sup>2</sup> / ([[20/19]])
| ([[38/37]])<sup>2</sup>/([[20/19]])
| [[6859/6845]]
| [[6859/6845]]
|-
|-
| S39<sup>2</sup>*S40 = [[780/779]] * [[1521/1520]]
| S39<sup>2</sup>⋅S40 = ([[780/779]])⋅([[1521/1520]])
| ([[39/38]])<sup>2</sup> / ([[41/39]])
| ([[39/38]])<sup>2</sup>/([[41/39]])
| [[59319/59204]]
| [[59319/59204]]
|-
|-
| S40<sup>2</sup>*S41 = [[820/819]] * [[1600/1599]]
| S40<sup>2</sup>⋅S41 = ([[820/819]])⋅([[1600/1599]])
| ([[40/39]])<sup>2</sup> / ([[21/20]])
| ([[40/39]])<sup>2</sup>/([[21/20]])
| [[32000/31941]]
| [[32000/31941]]
|-
|-
| S41<sup>2</sup>*S42 = [[861/860]] * [[1681/1680]]
| S41<sup>2</sup>⋅S42 = ([[861/860]])⋅([[1681/1680]])
| ([[41/40]])<sup>2</sup> / ([[43/41]])
| ([[41/40]])<sup>2</sup>/([[43/41]])
| [[68921/68800]]
| [[68921/68800]]
|-
|-
| S42<sup>2</sup>*S43 = [[903/902]] * [[1764/1763]]
| S42<sup>2</sup>⋅S43 = ([[903/902]])⋅([[1764/1763]])
| ([[42/41]])<sup>2</sup> / ([[22/21]])
| ([[42/41]])<sup>2</sup>/([[22/21]])
| [[18522/18491]]
| [[18522/18491]]
|-
|-
| S43<sup>2</sup>*S44 = [[946/945]] * [[1849/1848]]
| S43<sup>2</sup>⋅S44 = ([[946/945]])⋅([[1849/1848]])
| ([[43/42]])<sup>2</sup> / ([[45/43]])
| ([[43/42]])<sup>2</sup>/([[45/43]])
| [[79507/79380]]
| [[79507/79380]]
|-
|-
| S44<sup>2</sup>*S45 = [[990/989]] * [[1936/1935]]
| S44<sup>2</sup>⋅S45 = ([[990/989]])⋅([[1936/1935]])
| ([[44/43]])<sup>2</sup> / ([[23/22]])
| ([[44/43]])<sup>2</sup>/([[23/22]])
| [[42592/42527]]
| [[42592/42527]]
|-
|-
| S46<sup>2</sup>*S47 = [[1081/1080]] * [[2116/2115]]
| S46<sup>2</sup>⋅S47 = ([[1081/1080]])⋅([[2116/2115]])
| ([[46/45]])<sup>2</sup> / ([[24/23]])
| ([[46/45]])<sup>2</sup>/([[24/23]])
| [[12167/12150]]
| [[12167/12150]]
|-
|-
| S49<sup>2</sup>*S50 = [[1225/1224]] * [[2401/2400]]
| S49<sup>2</sup>⋅S50 = ([[1225/1224]])⋅([[2401/2400]])
| ([[49/48]])<sup>2</sup> / ([[51/49]])
| ([[49/48]])<sup>2</sup>/([[51/49]])
| [[117649/117504]]
| [[117649/117504]]
|-
|-
| S50<sup>2</sup>*S51 = [[1275/1274]] * [[2500/2499]]
| S50<sup>2</sup>⋅S51 = ([[1275/1274]])⋅([[2500/2499]])
| ([[50/49]])<sup>2</sup> / ([[26/25]])
| ([[50/49]])<sup>2</sup>/([[26/25]])
| [[31250/31213]]
| [[31250/31213]]
|-
|-
| S52<sup>2</sup>*S53 = [[1378/1377]] * [[2704/2703]]
| S52<sup>2</sup>⋅S53 = ([[1378/1377]])⋅([[2704/2703]])
| ([[52/51]])<sup>2</sup> / ([[27/26]])
| ([[52/51]])<sup>2</sup>/([[27/26]])
| [[70304/70227]]
| [[70304/70227]]
|-
|-
| S55<sup>2</sup>*S56 = [[1540/1539]] * [[3025/3024]]
| S55<sup>2</sup>⋅S56 = ([[1540/1539]])⋅([[3025/3024]])
| ([[55/54]])<sup>2</sup> / ([[57/55]])
| ([[55/54]])<sup>2</sup>/([[57/55]])
| [[166375/166212]]
| [[166375/166212]]
|-
|-
| S56<sup>2</sup>*S57 = [[1596/1595]] * [[3136/3135]]
| S56<sup>2</sup>⋅S57 = ([[1596/1595]])⋅([[3136/3135]])
| ([[56/55]])<sup>2</sup> / ([[29/28]])
| ([[56/55]])<sup>2</sup>/([[29/28]])
| [[87808/87725]]
| [[87808/87725]]
|-
|-
| S58<sup>2</sup>*S59 = [[1711/1710]] * [[3364/3363]]
| S58<sup>2</sup>⋅S59 = ([[1711/1710]])⋅([[3364/3363]])
| ([[58/57]])<sup>2</sup> / ([[30/29]])
| ([[58/57]])<sup>2</sup>/([[30/29]])
| [[48778/48735]]
| [[48778/48735]]
|-
|-
| S63<sup>2</sup>*S64 = [[2016/2015]] * [[3969/3968]]
| S63<sup>2</sup>⋅S64 = ([[2016/2015]])⋅([[3969/3968]])
| ([[63/62]])<sup>2</sup> / ([[65/63]])
| ([[63/62]])<sup>2</sup>/([[65/63]])
| [[250047/249860]]
| [[250047/249860]]
|-
|-
| S64<sup>2</sup>*S65 = [[2080/2079]] * [[4096/4095]]
| S64<sup>2</sup>⋅S65 = ([[2080/2079]])⋅([[4096/4095]])
| ([[64/63]])<sup>2</sup> / ([[33/32]])
| ([[64/63]])<sup>2</sup>/([[33/32]])
| [[131072/130977]]
| [[131072/130977]]
|-
|-
| S66<sup>2</sup>*S67 = [[2211/2210]] * [[4356/4355]]
| S66<sup>2</sup>⋅S67 = ([[2211/2210]])⋅([[4356/4355]])
| ([[66/65]])<sup>2</sup> / ([[34/33]])
| ([[66/65]])<sup>2</sup>/([[34/33]])
| [[71874/71825]]
| [[71874/71825]]
|-
|-
| S70<sup>2</sup>*S71 = [[2485/2484]] * [[4900/4899]]
| S70<sup>2</sup>⋅S71 = ([[2485/2484]])⋅([[4900/4899]])
| ([[70/69]])<sup>2</sup> / ([[36/35]])
| ([[70/69]])<sup>2</sup>/([[36/35]])
| [[42875/42849]]
| [[42875/42849]]
|-
|-
| S75<sup>2</sup>*S76 = [[2850/2849]] * [[5625/5624]]
| S75<sup>2</sup>⋅S76 = ([[2850/2849]])⋅([[5625/5624]])
| ([[75/74]])<sup>2</sup> / ([[77/75]])
| ([[75/74]])<sup>2</sup>/([[77/75]])
| [[421875/421652]]
| [[421875/421652]]
|-
|-
| S76<sup>2</sup>*S77 = [[2926/2925]] * [[5776/5775]]
| S76<sup>2</sup>⋅S77 = ([[2926/2925]])⋅([[5776/5775]])
| ([[76/75]])<sup>2</sup> / ([[39/38]])
| ([[76/75]])<sup>2</sup>/([[39/38]])
| [[219488/219375]]
| [[219488/219375]]
|-
|-
| S78<sup>2</sup>*S79 = [[3081/3080]] * [[6084/6083]]
| S78<sup>2</sup>⋅S79 = ([[3081/3080]])⋅([[6084/6083]])
| ([[78/77]])<sup>2</sup> / ([[40/39]])
| ([[78/77]])<sup>2</sup>/([[40/39]])
| [[59319/59290]]
| [[59319/59290]]
|}
|}
Line 2,341: Line 2,410:
|-
|-
! S-expression
! S-expression
! Square Relation
! Square relation
! Ratio
! Ratio
|-
|-
| S3<sup>2</sup>*S2 = [[3/2]] * [[9/8]]
| S3<sup>2</sup>⋅S2 = ([[3/2]])⋅([[9/8]])
| ([[3/1]]) / ([[4/3]])<sup>2</sup>
| ([[3/1]])/([[4/3]])<sup>2</sup>
| [[27/16]]
| [[27/16]]
|-
|-
| S4<sup>2</sup>*S3 = [[6/5]] * [[16/15]]
| S4<sup>2</sup>⋅S3 = ([[6/5]])⋅([[16/15]])
| ([[2/1]]) / ([[5/4]])<sup>2</sup>
| ([[2/1]])/([[5/4]])<sup>2</sup>
| [[32/25]]
| [[32/25]]
|-
|-
| S5<sup>2</sup>*S4 = [[10/9]] * [[25/24]]
| S5<sup>2</sup>⋅S4 = ([[10/9]])⋅([[25/24]])
| ([[5/3]]) / ([[6/5]])<sup>2</sup>
| ([[5/3]])/([[6/5]])<sup>2</sup>
| [[125/108]]
| [[125/108]]
|-
|-
| S6<sup>2</sup>*S5 = [[15/14]] * [[36/35]]
| S6<sup>2</sup>⋅S5 = ([[15/14]])⋅([[36/35]])
| ([[3/2]]) / ([[7/6]])<sup>2</sup>
| ([[3/2]])/([[7/6]])<sup>2</sup>
| [[54/49]]
| [[54/49]]
|-
|-
| S7<sup>2</sup>*S6 = [[21/20]] * [[49/48]]
| S7<sup>2</sup>⋅S6 = ([[21/20]])⋅([[49/48]])
| ([[7/5]]) / ([[8/7]])<sup>2</sup>
| ([[7/5]])/([[8/7]])<sup>2</sup>
| [[343/320]]
| [[343/320]]
|-
|-
| S8<sup>2</sup>*S7 = [[28/27]] * [[64/63]]
| S8<sup>2</sup>⋅S7 = ([[28/27]])⋅([[64/63]])
| ([[4/3]]) / ([[9/8]])<sup>2</sup>
| ([[4/3]])/([[9/8]])<sup>2</sup>
| [[256/243]]
| [[256/243]]
|-
|-
| S9<sup>2</sup>*S8 = [[36/35]] * [[81/80]]
| S9<sup>2</sup>⋅S8 = ([[36/35]])⋅([[81/80]])
| ([[9/7]]) / ([[10/9]])<sup>2</sup>
| ([[9/7]])/([[10/9]])<sup>2</sup>
| [[729/700]]
| [[729/700]]
|-
|-
| S10<sup>2</sup>*S9 = [[45/44]] * [[100/99]]
| S10<sup>2</sup>⋅S9 = ([[45/44]])⋅([[100/99]])
| ([[5/4]]) / ([[11/10]])<sup>2</sup>
| ([[5/4]])/([[11/10]])<sup>2</sup>
| [[125/121]]
| [[125/121]]
|-
|-
| S11<sup>2</sup>*S10 = [[55/54]] * [[121/120]]
| S11<sup>2</sup>⋅S10 = ([[55/54]])⋅([[121/120]])
| ([[11/9]]) / ([[12/11]])<sup>2</sup>
| ([[11/9]])/([[12/11]])<sup>2</sup>
| [[1331/1296]]
| [[1331/1296]]
|-
|-
| S12<sup>2</sup>*S11 = [[66/65]] * [[144/143]]
| S12<sup>2</sup>⋅S11 = ([[66/65]])⋅([[144/143]])
| ([[6/5]]) / ([[13/12]])<sup>2</sup>
| ([[6/5]])/([[13/12]])<sup>2</sup>
| [[864/845]]
| [[864/845]]
|-
|-
| S13<sup>2</sup>*S12 = [[78/77]] * [[169/168]]
| S13<sup>2</sup>⋅S12 = ([[78/77]])⋅([[169/168]])
| ([[13/11]]) / ([[14/13]])<sup>2</sup>
| ([[13/11]])/([[14/13]])<sup>2</sup>
| [[2197/2156]]
| [[2197/2156]]
|-
|-
| S14<sup>2</sup>*S13 = [[91/90]] * [[196/195]]
| S14<sup>2</sup>⋅S13 = ([[91/90]])⋅([[196/195]])
| ([[7/6]]) / ([[15/14]])<sup>2</sup>
| ([[7/6]])/([[15/14]])<sup>2</sup>
| [[686/675]]
| [[686/675]]
|-
|-
| S15<sup>2</sup>*S14 = [[105/104]] * [[225/224]]
| S15<sup>2</sup>⋅S14 = ([[105/104]])⋅([[225/224]])
| ([[15/13]]) / ([[16/15]])<sup>2</sup>
| ([[15/13]])/([[16/15]])<sup>2</sup>
| [[3375/3328]]
| [[3375/3328]]
|-
|-
| S16<sup>2</sup>*S15 = [[120/119]] * [[256/255]]
| S16<sup>2</sup>⋅S15 = ([[120/119]])⋅([[256/255]])
| ([[8/7]]) / ([[17/16]])<sup>2</sup>
| ([[8/7]])/([[17/16]])<sup>2</sup>
| [[2048/2023]]
| [[2048/2023]]
|-
|-
| S17<sup>2</sup>*S16 = [[136/135]] * [[289/288]]
| S17<sup>2</sup>⋅S16 = ([[136/135]])⋅([[289/288]])
| ([[17/15]]) / ([[18/17]])<sup>2</sup>
| ([[17/15]])/([[18/17]])<sup>2</sup>
| [[4913/4860]]
| [[4913/4860]]
|-
|-
| S18<sup>2</sup>*S17 = [[153/152]] * [[324/323]]
| S18<sup>2</sup>⋅S17 = ([[153/152]])⋅([[324/323]])
| ([[9/8]]) / ([[19/18]])<sup>2</sup>
| ([[9/8]])/([[19/18]])<sup>2</sup>
| [[729/722]]
| [[729/722]]
|-
|-
| S19<sup>2</sup>*S18 = [[171/170]] * [[361/360]]
| S19<sup>2</sup>⋅S18 = ([[171/170]])⋅([[361/360]])
| ([[19/17]]) / ([[20/19]])<sup>2</sup>
| ([[19/17]])/([[20/19]])<sup>2</sup>
| [[6859/6800]]
| [[6859/6800]]
|-
|-
| S20<sup>2</sup>*S19 = [[190/189]] * [[400/399]]
| S20<sup>2</sup>⋅S19 = ([[190/189]])⋅([[400/399]])
| ([[10/9]]) / ([[21/20]])<sup>2</sup>
| ([[10/9]])/([[21/20]])<sup>2</sup>
| [[4000/3969]]
| [[4000/3969]]
|-
|-
| S21<sup>2</sup>*S20 = [[210/209]] * [[441/440]]
| S21<sup>2</sup>⋅S20 = ([[210/209]])⋅([[441/440]])
| ([[21/19]]) / ([[22/21]])<sup>2</sup>
| ([[21/19]])/([[22/21]])<sup>2</sup>
| [[9261/9196]]
| [[9261/9196]]
|-
|-
| S22<sup>2</sup>*S21 = [[231/230]] * [[484/483]]
| S22<sup>2</sup>⋅S21 = ([[231/230]])⋅([[484/483]])
| ([[11/10]]) / ([[23/22]])<sup>2</sup>
| ([[11/10]])/([[23/22]])<sup>2</sup>
| [[2662/2645]]
| [[2662/2645]]
|-
|-
| S23<sup>2</sup>*S22 = [[253/252]] * [[529/528]]
| S23<sup>2</sup>⋅S22 = ([[253/252]])⋅([[529/528]])
| ([[23/21]]) / ([[24/23]])<sup>2</sup>
| ([[23/21]])/([[24/23]])<sup>2</sup>
| [[12167/12096]]
| [[12167/12096]]
|-
|-
| S24<sup>2</sup>*S23 = [[276/275]] * [[576/575]]
| S24<sup>2</sup>⋅S23 = ([[276/275]])⋅([[576/575]])
| ([[12/11]]) / ([[25/24]])<sup>2</sup>
| ([[12/11]])/([[25/24]])<sup>2</sup>
| [[6912/6875]]
| [[6912/6875]]
|-
|-
| S25<sup>2</sup>*S24 = [[300/299]] * [[625/624]]
| S25<sup>2</sup>⋅S24 = ([[300/299]])⋅([[625/624]])
| ([[25/23]]) / ([[26/25]])<sup>2</sup>
| ([[25/23]])/([[26/25]])<sup>2</sup>
| [[15625/15548]]
| [[15625/15548]]
|-
|-
| S26<sup>2</sup>*S25 = [[325/324]] * [[676/675]]
| S26<sup>2</sup>⋅S25 = ([[325/324]])⋅([[676/675]])
| ([[13/12]]) / ([[27/26]])<sup>2</sup>
| ([[13/12]])/([[27/26]])<sup>2</sup>
| [[2197/2187]]
| [[2197/2187]]
|-
|-
| S27<sup>2</sup>*S26 = [[351/350]] * [[729/728]]
| S27<sup>2</sup>⋅S26 = ([[351/350]])⋅([[729/728]])
| ([[27/25]]) / ([[28/27]])<sup>2</sup>
| ([[27/25]])/([[28/27]])<sup>2</sup>
| [[19683/19600]]
| [[19683/19600]]
|-
|-
| S28<sup>2</sup>*S27 = [[378/377]] * [[784/783]]
| S28<sup>2</sup>⋅S27 = ([[378/377]])⋅([[784/783]])
| ([[14/13]]) / ([[29/28]])<sup>2</sup>
| ([[14/13]])/([[29/28]])<sup>2</sup>
| [[10976/10933]]
| [[10976/10933]]
|-
|-
| S29<sup>2</sup>*S28 = [[406/405]] * [[841/840]]
| S29<sup>2</sup>⋅S28 = ([[406/405]])⋅([[841/840]])
| ([[29/27]]) / ([[30/29]])<sup>2</sup>
| ([[29/27]])/([[30/29]])<sup>2</sup>
| [[24389/24300]]
| [[24389/24300]]
|-
|-
| S30<sup>2</sup>*S29 = [[435/434]] * [[900/899]]
| S30<sup>2</sup>⋅S29 = ([[435/434]])⋅([[900/899]])
| ([[15/14]]) / ([[31/30]])<sup>2</sup>
| ([[15/14]])/([[31/30]])<sup>2</sup>
| [[6750/6727]]
| [[6750/6727]]
|-
|-
| S31<sup>2</sup>*S30 = [[465/464]] * [[961/960]]
| S31<sup>2</sup>⋅S30 = ([[465/464]])⋅([[961/960]])
| ([[31/29]]) / ([[32/31]])<sup>2</sup>
| ([[31/29]])/([[32/31]])<sup>2</sup>
| [[29791/29696]]
| [[29791/29696]]
|-
|-
| S32<sup>2</sup>*S31 = [[496/495]] * [[1024/1023]]
| S32<sup>2</sup>⋅S31 = ([[496/495]])⋅([[1024/1023]])
| ([[16/15]]) / ([[33/32]])<sup>2</sup>
| ([[16/15]])/([[33/32]])<sup>2</sup>
| [[16384/16335]]
| [[16384/16335]]
|-
|-
| S33<sup>2</sup>*S32 = [[528/527]] * [[1089/1088]]
| S33<sup>2</sup>⋅S32 = ([[528/527]])⋅([[1089/1088]])
| ([[33/31]]) / ([[34/33]])<sup>2</sup>
| ([[33/31]])/([[34/33]])<sup>2</sup>
| [[35937/35836]]
| [[35937/35836]]
|-
|-
| S34<sup>2</sup>*S33 = [[561/560]] * [[1156/1155]]
| S34<sup>2</sup>⋅S33 = ([[561/560]])⋅([[1156/1155]])
| ([[17/16]]) / ([[35/34]])<sup>2</sup>
| ([[17/16]])/([[35/34]])<sup>2</sup>
| [[4913/4900]]
| [[4913/4900]]
|-
|-
| S35<sup>2</sup>*S34 = [[595/594]] * [[1225/1224]]
| S35<sup>2</sup>⋅S34 = ([[595/594]])⋅([[1225/1224]])
| ([[35/33]]) / ([[36/35]])<sup>2</sup>
| ([[35/33]])/([[36/35]])<sup>2</sup>
| [[42875/42768]]
| [[42875/42768]]
|-
|-
| S36<sup>2</sup>*S35 = [[630/629]] * [[1296/1295]]
| S36<sup>2</sup>⋅S35 = ([[630/629]])⋅([[1296/1295]])
| ([[18/17]]) / ([[37/36]])<sup>2</sup>
| ([[18/17]])/([[37/36]])<sup>2</sup>
| [[23328/23273]]
| [[23328/23273]]
|-
|-
| S37<sup>2</sup>*S36 = [[666/665]] * [[1369/1368]]
| S37<sup>2</sup>⋅S36 = ([[666/665]])⋅([[1369/1368]])
| ([[37/35]]) / ([[38/37]])<sup>2</sup>
| ([[37/35]])/([[38/37]])<sup>2</sup>
| [[50653/50540]]
| [[50653/50540]]
|-
|-
| S38<sup>2</sup>*S37 = [[703/702]] * [[1444/1443]]
| S38<sup>2</sup>⋅S37 = ([[703/702]])⋅([[1444/1443]])
| ([[19/18]]) / ([[39/38]])<sup>2</sup>
| ([[19/18]])/([[39/38]])<sup>2</sup>
| [[13718/13689]]
| [[13718/13689]]
|-
|-
| S39<sup>2</sup>*S38 = [[741/740]] * [[1521/1520]]
| S39<sup>2</sup>⋅S38 = ([[741/740]])⋅([[1521/1520]])
| ([[39/37]]) / ([[40/39]])<sup>2</sup>
| ([[39/37]])/([[40/39]])<sup>2</sup>
| [[59319/59200]]
| [[59319/59200]]
|-
|-
| S40<sup>2</sup>*S39 = [[780/779]] * [[1600/1599]]
| S40<sup>2</sup>⋅S39 = ([[780/779]])⋅([[1600/1599]])
| ([[20/19]]) / ([[41/40]])<sup>2</sup>
| ([[20/19]])/([[41/40]])<sup>2</sup>
| [[32000/31939]]
| [[32000/31939]]
|-
|-
| S41<sup>2</sup>*S40 = [[820/819]] * [[1681/1680]]
| S41<sup>2</sup>⋅S40 = ([[820/819]])⋅([[1681/1680]])
| ([[41/39]]) / ([[42/41]])<sup>2</sup>
| ([[41/39]])/([[42/41]])<sup>2</sup>
| [[68921/68796]]
| [[68921/68796]]
|-
|-
| S42<sup>2</sup>*S41 = [[861/860]] * [[1764/1763]]
| S42<sup>2</sup>⋅S41 = ([[861/860]])⋅([[1764/1763]])
| ([[21/20]]) / ([[43/42]])<sup>2</sup>
| ([[21/20]])/([[43/42]])<sup>2</sup>
| [[9261/9245]]
| [[9261/9245]]
|-
|-
| S43<sup>2</sup>*S42 = [[903/902]] * [[1849/1848]]
| S43<sup>2</sup>⋅S42 = ([[903/902]])⋅([[1849/1848]])
| ([[43/41]]) / ([[44/43]])<sup>2</sup>
| ([[43/41]])/([[44/43]])<sup>2</sup>
| [[79507/79376]]
| [[79507/79376]]
|-
|-
| S44<sup>2</sup>*S43 = [[946/945]] * [[1936/1935]]
| S44<sup>2</sup>⋅S43 = ([[946/945]])⋅([[1936/1935]])
| ([[22/21]]) / ([[45/44]])<sup>2</sup>
| ([[22/21]])/([[45/44]])<sup>2</sup>
| [[42592/42525]]
| [[42592/42525]]
|-
|-
| S45<sup>2</sup>*S44 = [[990/989]] * [[2025/2024]]
| S45<sup>2</sup>⋅S44 = ([[990/989]])⋅([[2025/2024]])
| ([[45/43]]) / ([[46/45]])<sup>2</sup>
| ([[45/43]])/([[46/45]])<sup>2</sup>
| [[91125/90988]]
| [[91125/90988]]
|-
|-
| S48<sup>2</sup>*S47 = [[1128/1127]] * [[2304/2303]]
| S48<sup>2</sup>⋅S47 = ([[1128/1127]])⋅([[2304/2303]])
| ([[24/23]]) / ([[49/48]])<sup>2</sup>
| ([[24/23]])/([[49/48]])<sup>2</sup>
| [[55296/55223]]
| [[55296/55223]]
|-
|-
| S50<sup>2</sup>*S49 = [[1225/1224]] * [[2500/2499]]
| S50<sup>2</sup>⋅S49 = ([[1225/1224]])⋅([[2500/2499]])
| ([[25/24]]) / ([[51/50]])<sup>2</sup>
| ([[25/24]])/([[51/50]])<sup>2</sup>
| [[15625/15606]]
| [[15625/15606]]
|-
|-
| S51<sup>2</sup>*S50 = [[1275/1274]] * [[2601/2600]]
| S51<sup>2</sup>⋅S50 = ([[1275/1274]])⋅([[2601/2600]])
| ([[51/49]]) / ([[52/51]])<sup>2</sup>
| ([[51/49]])/([[52/51]])<sup>2</sup>
| [[132651/132496]]
| [[132651/132496]]
|-
|-
| S54<sup>2</sup>*S53 = [[1431/1430]] * [[2916/2915]]
| S54<sup>2</sup>⋅S53 = ([[1431/1430]])⋅([[2916/2915]])
| ([[27/26]]) / ([[55/54]])<sup>2</sup>
| ([[27/26]])/([[55/54]])<sup>2</sup>
| [[39366/39325]]
| [[39366/39325]]
|-
|-
| S56<sup>2</sup>*S55 = [[1540/1539]] * [[3136/3135]]
| S56<sup>2</sup>⋅S55 = ([[1540/1539]])⋅([[3136/3135]])
| ([[28/27]]) / ([[57/56]])<sup>2</sup>
| ([[28/27]])/([[57/56]])<sup>2</sup>
| [[87808/87723]]
| [[87808/87723]]
|-
|-
| S57<sup>2</sup>*S56 = [[1596/1595]] * [[3249/3248]]
| S57<sup>2</sup>⋅S56 = ([[1596/1595]])⋅([[3249/3248]])
| ([[57/55]]) / ([[58/57]])<sup>2</sup>
| ([[57/55]])/([[58/57]])<sup>2</sup>
| [[185193/185020]]
| [[185193/185020]]
|-
|-
| S62<sup>2</sup>*S61 = [[1891/1890]] * [[3844/3843]]
| S62<sup>2</sup>⋅S61 = ([[1891/1890]])⋅([[3844/3843]])
| ([[31/30]]) / ([[63/62]])<sup>2</sup>
| ([[31/30]])/([[63/62]])<sup>2</sup>
| [[59582/59535]]
| [[59582/59535]]
|-
|-
| S64<sup>2</sup>*S63 = [[2016/2015]] * [[4096/4095]]
| S64<sup>2</sup>⋅S63 = ([[2016/2015]])⋅([[4096/4095]])
| ([[32/31]]) / ([[65/64]])<sup>2</sup>
| ([[32/31]])/([[65/64]])<sup>2</sup>
| [[131072/130975]]
| [[131072/130975]]
|-
|-
| S65<sup>2</sup>*S64 = [[2080/2079]] * [[4225/4224]]
| S65<sup>2</sup>⋅S64 = ([[2080/2079]])⋅([[4225/4224]])
| ([[65/63]]) / ([[66/65]])<sup>2</sup>
| ([[65/63]])/([[66/65]])<sup>2</sup>
| [[274625/274428]]
| [[274625/274428]]
|-
|-
| S68<sup>2</sup>*S67 = [[2278/2277]] * [[4624/4623]]
| S68<sup>2</sup>⋅S67 = ([[2278/2277]])⋅([[4624/4623]])
| ([[34/33]]) / ([[69/68]])<sup>2</sup>
| ([[34/33]])/([[69/68]])<sup>2</sup>
| [[157216/157113]]
| [[157216/157113]]
|-
|-
| S74<sup>2</sup>*S73 = [[2701/2700]] * [[5476/5475]]
| S74<sup>2</sup>⋅S73 = ([[2701/2700]])⋅([[5476/5475]])
| ([[37/36]]) / ([[75/74]])<sup>2</sup>
| ([[37/36]])/([[75/74]])<sup>2</sup>
| [[50653/50625]]
| [[50653/50625]]
|-
|-
| S76<sup>2</sup>*S75 = [[2850/2849]] * [[5776/5775]]
| S76<sup>2</sup>⋅S75 = ([[2850/2849]])⋅([[5776/5775]])
| ([[38/37]]) / ([[77/76]])<sup>2</sup>
| ([[38/37]])/([[77/76]])<sup>2</sup>
| [[219488/219373]]
| [[219488/219373]]
|-
|-
| S77<sup>2</sup>*S76 = [[2926/2925]] * [[5929/5928]]
| S77<sup>2</sup>⋅S76 = ([[2926/2925]])⋅([[5929/5928]])
| ([[77/75]]) / ([[78/77]])<sup>2</sup>
| ([[77/75]])/([[78/77]])<sup>2</sup>
| [[456533/456300]]
| [[456533/456300]]
|-
|-
| S80<sup>2</sup>*S79 = [[3160/3159]] * [[6400/6399]]
| S80<sup>2</sup>⋅S79 = ([[3160/3159]])⋅([[6400/6399]])
| ([[40/39]]) / ([[81/80]])<sup>2</sup>
| ([[40/39]])/([[81/80]])<sup>2</sup>
| [[256000/255879]]
| [[256000/255879]]
|}
|}
== Using S-factorizations to understand the significance of S-expressions ==
This section deals with the forms of the infinite comma families as expressed in terms of nearby harmonics in the harmonic series and as related to square-superparticulars; note that this uses a mathematical notation of [a, b, c, ...]^[x, y, z, ...] to denote a^x * b^y * c^z * ...
If instead of working through things algebraically we look at square-particulars as describing a relationship between adjacent harmonics, we can use this to understand why certain simplifications and equivalences exist in a way that is equivalent to the sometimes harder-to-understand usual algebraic form:
If we describe S''k'' as [''k''-1, ''k'', ''k''+1]^[-1, 2, -1] then if we write something like S''k''/S(''k'' + 2) (semiparticulars) in this form we get:
[''k''-1, ''k'', ''k''+1, ''k''+2, ''k''+3]^([-1, 2, -1, 0, 0] - [0, 0, -1, 2, -1] = [-1, 2, 0, -2, 1]) from which we can clearly see that we have two (''k''+2)/''k'''s making up a (''k''+3)/(''k''-1). An exercise to the reader is to go through the other forms discussed on this page to derive similar expressions. (For example, through cancellation it's easy to prove that 1/n-square-particulars (the product of n consecutive square-(super)particulars) are equal to the ratio of the two superparticular intervals on the ends.)
<pre>
Sk = [k-1, k, k+1]^[-1, 2, -1]
</pre>
<pre>
Sk * S(k+1) = [k-1, k, k+1, k+2]^[-1, 1, 1, -1]
= [k-1, k, k+1(, k+2)]^[-1, 2, -1(, 0)] * [(k-1,) k, k+1, k+2]^[(0,) -1, 2, -1]
</pre>
<pre>
S(k-1) * Sk * S(k+1) = [k-2, k-1, k, k+1, k+2]^[-1, 1, 0, 1, -1]
= ( (k-1)/(k-2) )( k/(k-1) ) * ( k/(k-1) )/( (k+1)/k ) * ( (k+1)/k )/( (k+2)/(k+1) )
= ( (k-1)/(k-2) )/( (k+2)/(k+1) ) = ( (k-1)(k+1) )/( (k-2)(k+2) )
k-2  k-1  k  k+1  k+2
-1    2  -1    0    0
0  -1    2  -1    0
0    0  -1    2  -1
========================
-1    1    0    1  -1
</pre>
<pre>
Sk / S(k+1) = [k-1, k, k+1, k+2]^[-1, 3, -3, 1]
= [k-1, k, k+1]^[-1, 2, -1] * [k, k+1, k+2]^[1, -2, 1]
= (k+2)/(k-1) * ( k/(k+1) )^3 = (k+2)/(k-1) / ((k+1)/k)^3
</pre>
<pre>
S(k-1) / S(k+1) = [k-2, k-1, k, k+1, k+2]^[-1, 2, 0, -2, 1]
= [k-2, k-1, k]^[-1, 2, -1] * [k, k+1, k+2]^[ 1, -2,  1]
= [k-2, k-1, k]^[-1, 2, -1] / [k, k+1, k+2]^[-1,  2, -1]
= (k+2)/(k-2) * ((k-1)/(k+1))^2 = (k+2)/(k-2) / ((k+1)/(k-1))^2
k-2  k-1  k  k+1  k+2
-1    2  -1    0    0
0    0    1  -2    1
========================
-1    2    0  -2    1
</pre>
This technique will be called "'''S-factorizations'''", as it is uses a certain format for expressing factorization (analogous to [[monzo]]s) that is uniquely suited for interpreting the relationships described by '''S-expressions'''.
Note that the redundancy in these factorizations (in the sense that there are generators that are not linearly independent of the others) is a property that reflects the reality of [[#Equivalent S-expressions|equivalent S-expressions]].
The generalisation of this method using commutative group theory is discussed in [[S-expression/Advanced_results#Abstraction]], though the ideas are very simple for anyone with simple mathematical training willing to learn the very basics needed.
=== Using S-factorizations to show a useful equivalence/redundancy of S-expressions ===
Absent of restrictions on the form that an S-expression may take, there is no unique S-expression for any given rational number. This is in fact a huge advantage, because it allows one to understand the landscape of commas in a way that sees interconnectedness of subgroups and corresponding tempering opportunities. But then what S-expressions are equivalent, other than mathematical one-offs? The most important general rule can be derived quite simply using S-factorizations:
==== The general S-expression equivalence ====
Consider:
<pre>
Sk = [k-1, k, k+1]^[-1, 2, -1] versus what it is claimed to be equivalent to:
S(2k-1) * S(2k) * S(2k) * S(2k+1)
= [2k-2, 2k-1, 2k, 2k+1, 2k+2]^(
  [-1,    2,  -1]
      + [-2,    4,  -2]
            + [-1,    2,  -1]
= [-1,    0,    2,    0,  -1] )
</pre>
From here we can observe that the exponents are on even integers and that the factors of 2 involved cancel (we divide by 2 once for 2k-2 and 2k+2 having -1 as the power and we multiply by 2 twice for 2k having 2 as the power). Therefore the expressions are algebraically equivalent, which leads to the surprising fact that the following equivalence is true for all real and complex ''k'':
<math>
\large {\rm S}k = \large {\rm S}(2k-1) \cdot \large {\rm S}(2k)^2 \cdot \large {\rm S}(2k+1)
</math>
...where we use the notation S''k''<sup>''p''</sup> to mean (S''k'')<sup>''p''</sup> rather than S(''k''<sup>''p''</sup>) for convenience in the practical analysis of [[regular temperament]]s using [[S-expression]]s.
For tuning theory only integer ''k'' > 1 is of relevance. Technically, rational ''k'' other than 1 correspond to rational commas too; the most relevant case for tuning theory is that half-integer ''k'' work as an alternative notation for [[odd-particular]]s, though for intuitively understanding the notation, the method described in [[#Abstraction]] may be recommendable as having (in a mathematical sense) exact analogues for every infinite family of commas defined in terms of an analogue of an S-expression, for which the most musically fruitful example is O''k'' = (''k'' / (''k'' - 2))/((''k'' + 2) / ''k'') for odd ''k'' as relevant to [[no-twos subgroup temperaments]].


== Equivalent S-expressions ==
== Equivalent S-expressions ==
=== Significance and meaning ===
=== Significance and meaning ===
All S-expressions have other equivalent S-expressions, however when the equivalence makes one comma a member of two of the infinite families discussed on this page, or otherwise makes it equal to a product or ratio between two such commas, this basically always means exceptional and nontrivial ("deep") tempering opportunities, usually leading to multiple of the most elegant and efficient temperaments that we know of depending how you temper further. Generally we exclude 1/n-square-particulars, only noting up to 1/3-square-particulars, because equivalent 1/n-square-particular expressions become very common as you allow higher n, but are still quite rare for small n.  
All S-expressions have other equivalent S-expressions; however, when the equivalence makes one comma a member of two of the infinite families discussed on this page, or otherwise makes it equal to a product or ratio between two such commas, this often means exceptional and nontrivial ("deep") tempering opportunities, usually leading to multiple of the most elegant and efficient temperaments that we know of depending on how the tempering is further realized. Generally we exclude 1/''n''-square-particulars, only noting up to 1/3-square-particulars, because equivalent 1/''n''-square-particular expressions become very common for higher ''n'', but are still quite rare for small ''n''.
 
=== A useful general rule ===
While there are likely arbitrarily many ways of rewriting S-expressions due to the redundancy in representation, the following equivalence is, due to its simplicity and elegance, arguably most likely to be useful:
 
$$
\large {\rm S}k = \large {\rm S}(2k-1) \cdot \large {\rm S}(2k)^2 \cdot \large {\rm S}(2k+1)
$$
 
This is important to note because using this simple rule we can derive an infinite amount of trivially and obviously equivalent S-expressions that should be discarded from [[#Examples]]. See [[S-expression/Advanced results]] for mathematical details.


=== Examples ===
=== Examples ===
Here is an incomplete list of examples (feel free to expand with any equivalences you find that you think are valuable):
Here is an incomplete list of examples.


{| class="wikitable center-all
{| class="wikitable center-1"
|-
|-
! Comma
! Comma
! S-expressions
! S-expressions
|-
|-
| [[25/24]]
| [[28/27]]
| S2/(S3*S4<sup>2</sup>) = S5
| S7⋅S8, S4/S6
|-
|-
| [[49/48]]
| [[36/35]]
| S3/(S5*S6<sup>2</sup>) = S7
| S6, S8⋅S9
|-
|-
| [[64/63]]
| [[64/63]]
| (S4*S5*S6)/S3 = S4/(S6*S7) = S8
| S8, S4/(S6⋅S7), (S4⋅S5⋅S6)/S3
|-
|-
| [[81/80]]
| [[81/80]]
| S6/S8 = S9
| S9, S6/S8
|-
|-
| [[176/175]]
| [[176/175]]
| S8/S10 = S22*S23*S24
| S8/S10, S22⋅S23⋅S24
|-
|-
| [[243/242]]
| [[243/242]]
| S9/S11 = S15/([[3025/3024|S22/S24 = S55]])
| S9/S11, S15/([[3025/3024|S22/S24 = S55]])
|-
|-
| [[325/324]]
| [[325/324]]
| S10/S12 = S25*S26
| S25⋅S26, S10/S12
|-
| [[540/539]]
| S12/S14, (S9⋅S10)/S7, (S6/S7)/(S8/S10)
|-
|-
| [[676/675]]
| [[676/675]]
| S13/S15 = S26
| S26, S13/S15
|-
|-
| [[1225/1224]]
| [[1225/1224]]
| S35 = S49*S50
| S35, S49⋅S50
|-
|-
| [[3025/3024]]
| [[3025/3024]]
| S22/S24 = S55 = S25/S27 * S99
| S55, S22/S24, (S25/S27)⋅S99
|-
|-
| [[2601/2600]]
| [[2601/2600]]
| S17/(S25*S26) = S51
| S51, S17/(S25⋅S26)
|-
|-
| [[9801/9800]]
| [[9801/9800]]
| S99 = S33/S35
| S99, S33/S35
|-
|-
| [[25921/25920]]
| [[25921/25920]]
| S161 = S46/S48
| S161, S46/S48
|-
|-
| [[123201/123200]]
| [[123201/123200]]
| S351 = S78/S80
| S351, S78/S80
|}
|}


Note: Where a comma written in the form a/b is used in an S-expression, this means to replace that comma with any equivalent S-expression. This is done in the case of [[3025/3024]] as there are many S-expressions for it so restating them each time it appears seems inconvenient.
{{Note| Examples that can ''easily'' (with one or two algebraic rewriting steps) be shown to result from the aforementioned [[#A useful general rule|useful general rule]] are not included. }}
{{Note| Where a comma written in the form ''a''/''b'' is used in an S-expression, this means to replace that comma with any equivalent S-expression. This is done in the case of [[3025/3024]] as there are many S-expressions for it so restating them each time it appears seems inconvenient. }}
{{Tip| Feel free to expand with any equivalences you find that you think are valuable. }}


A proof that every positive rational number (and thus every JI interval) can be written as an S-expression follows.
A proof that every positive rational number (and thus every JI interval) can be written as an S-expression follows.
Line 2,634: Line 2,793:
It suffices to show every superparticular number including 2/1 has an expression using square-particulars:
It suffices to show every superparticular number including 2/1 has an expression using square-particulars:


<math>\displaystyle
$$
\begin{align}
\begin{align}
& 2/1 = S_2 \cdot S_2 \cdot S_3\ ,\\
& 2/1 = S_2 \cdot S_2 \cdot S_3\ ,\\
Line 2,644: Line 2,803:
& \implies \frac{S_2 \cdot S_2 \cdot S_3}{\prod_{a = 2}^k S_a} = 2 \cdot \left( \frac{2/(2 - 1)}{(k + 1)/k} \right)^{-1} = 2 \cdot \left( \frac{(k + 1)/k}{2} \right) = (k + 1)/k
& \implies \frac{S_2 \cdot S_2 \cdot S_3}{\prod_{a = 2}^k S_a} = 2 \cdot \left( \frac{2/(2 - 1)}{(k + 1)/k} \right)^{-1} = 2 \cdot \left( \frac{(k + 1)/k}{2} \right) = (k + 1)/k
\end{align}
\end{align}
</math>
$$


From here it should not be hard to see how to make any positive rational number. For 11/6, for example, we can do (11/10)(10/9)(9/8)…(2/1) = 11 and then divide that by (6/5)(5/4)(4/3)(3/2)(2/1), meaning 11/6 = (11/10)(10/9)(9/8)(8/7)(7/6) because of the cancellations, then each of those superparticulars we replace with the corresponding S-expression to get the final S-expression. This final S-expression is likely to be far from the most efficient or interesting expression; the redundancy in S-expressions is a strength and feature, as it tells us that there are more than the trivial connections between commas and intervals and that S-expressions can be wielded as a mathematical tool/language to investigate and identify them.
From here it should not be hard to see how to make any positive rational number. For 11/6, for example, we can do (11/10)(10/9)(9/8)…(2/1) = 11 and then divide that by (6/5)(5/4)(4/3)(3/2)(2/1), meaning 11/6 = (11/10)(10/9)(9/8)(8/7)(7/6) because of the cancellations, then each of those superparticulars we replace with the corresponding S-expression to get the final S-expression. This final S-expression is likely to be far from the most efficient or interesting expression; the redundancy in S-expressions is a strength and feature, as it tells us that there are more than the trivial connections between commas and intervals and that S-expressions can be wielded as a mathematical tool/language to investigate and identify them.


== Glossary ==
== Glossary ==
; Superparticular
; Superparticular
: The interval/comma between two consecutive harmonics. See [[superparticular]].
: The interval/comma between two consecutive harmonics. See [[superparticular]].
: These are of the form (''k'' + 1)/''k''.
: These are of the form {{sfrac|''k'' + 1|''k''}}.


; Square-particular
; Square-particular
: A superparticular interval/comma whose numerator is a square number. A shorthand (nick)name for square superparticular.
: A superparticular interval/comma whose numerator is a square number. A shorthand (nick)name for square superparticular.
: These are of the form ''k''<sup>2</sup>/(''k''<sup>2</sup> - 1) = S''k''.
: These are of the form {{nowrap|{{sfrac|''k''<sup>2</sup>|''k''<sup>2</sup> 1}} {{=}} S''k''}}.


; Triangle-particular
; Triangle-particular
: A superparticular interval/comma whose numerator is a [[triangular number]]. A shorthand (nick)name for triangular superparticular. An alternative name for 1/2-square-particular.
: A superparticular interval/comma whose numerator is a [[triangular number]]. A shorthand (nick)name for triangular superparticular. An alternative name for 1/2-square-particular.
: These are of the form (''k''<sup>2</sup> + k)/(''k''<sup>2</sup> + k - 2). (This always simplifies to a superparticular.)
: These are of the form {{sfrac|''k''<sup>2</sup> + ''k''|''k''<sup>2</sup> + ''k'' − 2}}. (This always simplifies to a superparticular.)


; 1/''n''-square-particular
; 1/''n''-square-particular
: A comma which is the product of ''n'' consecutive square-particulars and which can therefore be expressed as the ratio between two superparticulars.
: A comma which is the product of ''n'' consecutive square-particulars and which can therefore be expressed as the ratio between two superparticulars.
: These are of the form S''a''*S(''a''+1)*…*S''b'' = (''a''/(''a'' - 1))/((''b'' + 1)/''b'') = ''ab''/((''a'' - 1)(''b'' + 1)).
: These are of the form {{nowrap|S''a''⋅S(''a'' + 1)⋅…⋅S''b'' {{=}} {{sfrac|{{sfrac|''a''|''a'' 1}}|{{sfrac|''b'' + 1|''b''}}}}}} {{nowrap|{{=}} {{sfrac|''ab''|(''a'' 1)(''b'' + 1)}}}}.
: Replacing/substituting ''a'' with ''k'' and ''b'' with ''k'' + ''n'' - 1 gives us an equivalent expression that includes the number of square-particulars ''n'':
: Replacing/substituting ''a'' with ''k'' and ''b'' with ''k'' + ''n'' - 1 gives us an equivalent expression that includes the number of square-particulars ''n'':
: S''k''*S(''k''+1)*…*S(''k''+''n''-1) = (''k''/(''k'' - 1))/((''k'' + ''n'')/(''k'' + ''n'' - 1)) = ''k''(''k'' + ''n'' - 1)/((''k'' - 1)(''k'' + ''n''))
: {{nowrap|S''k''⋅S(''k'' + 1)⋅…⋅S(''k'' + ''n'' 1) {{=}} {{sfrac|{{sfrac|''k''|''k'' 1}}|{{sfrac|''k'' + ''n''|''k'' + ''n'' 1}}}}}} {{nowrap|{{=}} {{sfrac|''k''(''k'' + ''n'' 1)|(''k'' 1)(''k'' + ''n''}}}}
: For ''b'' = ''a'' + 1 these can also be called triangle-particulars, in which case they are always superparticular.
: For {{nowrap|''b'' {{=}} ''a'' + 1}} these can also be called triangle-particulars, in which case they are always superparticular.
: These have implications for whether consistency in the (''n''+''k'')=(''b''+1)-[[odd-limit]] is ''potentially'' possible in a given temperament; see the [[#Sk*S(k + 1)*…*S(k + n - 1) (1/n-square-particulars)|section on 1/n-square-particulars]].
: These have implications for whether consistency in the {{nowrap|(''n'' + ''k'') {{=}} (''b'' + 1)}}-[[odd-limit]] is ''potentially'' possible in a given temperament; see the [[#Sk⋅S(k + 1)⋅…⋅S(k + n - 1) (1/n-square-particulars)|section on 1/''n''-square-particulars]].


; Odd-particular
; Odd-particular
: An interval/comma between two consecutive odd harmonics. The odd analogue of superparticular.
: An interval/comma between two consecutive odd harmonics. The odd analogue of superparticular.
: These are of the form (2''k'' + 1)/(2''k'' - 1).
: These are of the form {{sfrac|2''k'' + 1|2''k'' 1}}.


; Throdd-particular
; Throdd-particular
: An interval/comma between two harmonics 3 apart which is not superparticular.
: An interval/comma between two harmonics 3 apart which is not superparticular.
: These are of the form (3''k'' + 1)/(3''k'' - 2) or (3''k'' + 2)/(3''k'' - 1).
: These are of the form {{sfrac|3''k'' + 1|3''k'' 2}} or {{sfrac|3''k'' + 2|3''k'' 1}}.


; Quodd-particular
; Quodd-particular
: An interval/comma between two harmonics 4 apart which is not superparticular or odd-particular.
: An interval/comma between two harmonics 4 apart which is not superparticular or odd-particular.
: These are of the form (4''k'' + 1)/(4''k'' - 3) or (4''k'' + 3)/(4''k'' - 1).
: These are of the form {{sfrac|4''k'' + 1|4''k'' 3}} or {{sfrac|4''k'' + 3|4''k'' 1}}.


; ''n''-odd-particular
; ''n''-odd-particular
: An interval/comma between two coprime harmonics ''n'' apart (also called as [[Delta-N ratio|delta-''n'' ratio]]). It is the generalization of superparticular, odd-particular, throdd-particular, and quodd-particular.
: An interval/comma between two coprime harmonics ''n'' apart (also called as [[Delta-N ratio|delta-''n'' ratio]]). It is the generalization of superparticular, odd-particular, throdd-particular, and quodd-particular.
: If ''n'' is a prime, an ''n''-odd-particular interval is between two harmonics ''n'' apart which is not superparticular. For example, 5-odd-particular intervals are of the form (5''k'' + 1)/(5''k'' - 4), (5''k'' + 2)/(5''k'' - 3), (5''k'' + 3)/(5''k'' - 2) or (5''k'' + 4)/(5''k'' - 1).
: If ''n'' is a prime, an ''n''-odd-particular interval is between two harmonics ''n'' apart which is not superparticular. For example, 5-odd-particular intervals are of the form {{sfrac|5''k'' + 1|5''k'' 4}}, {{sfrac|5''k'' + 2|5''k'' 3}}, {{sfrac|5''k'' + 3|5''k'' 2}}, or {{sfrac|5''k'' + 4|5''k'' 1}}.
: If ''n'' is a composite, an ''n''-odd-particular interval is between two harmonics ''n'' apart which is neither superparticular nor of ''m''-odd-particular intervals where ''m'' is any other divisor of ''n''. For example, 6-odd-particular intervals are of the form (6''k'' + 1)/(6''k'' - 5) or (6''k'' + 5)/(6''k'' - 1).
: If ''n'' is a composite, an ''n''-odd-particular interval is between two harmonics ''n'' apart which is neither superparticular nor of ''m''-odd-particular intervals where ''m'' is any other divisor of ''n''. For example, 6-odd-particular intervals are of the form {{sfrac|6''k'' + 1|6''k'' 5}} or {{sfrac|6''k'' + 5|6''k'' 1}}.


; Ultraparticular
; Ultraparticular
: An interval/comma which is the ratio of two consecutive square-particulars.
: An interval/comma which is the ratio of two consecutive square-particulars.
: These are of the form S''k''/S(''k'' + 1).
: These are of the form {{sfrac|S''k''|S(''k'' + 1)}}.


; Semiparticular
; Semiparticular
: A superparticular or odd-particular interval/comma which is the ratio between two adjacent-to-adjacent square-particulars, which is to say:
: A superparticular or odd-particular interval/comma which is the ratio between two adjacent-to-adjacent square-particulars, which is to say:
: These are of the form S''k''/S(''k'' + 2).
: These are of the form {{sfrac|S''k''|S(''k'' + 2)}}.


; S-expression
; S-expression
Line 2,700: Line 2,858:
; S-factorization
; S-factorization
: An expression that takes a list of consecutive integer harmonics including the ''k''th harmonic and raises them to integer powers, similar to a [[smonzo]] but uniquely suited to analysing S-expressions.
: An expression that takes a list of consecutive integer harmonics including the ''k''th harmonic and raises them to integer powers, similar to a [[smonzo]] but uniquely suited to analysing S-expressions.
: For example: S''k'' = [''k''-1, ''k'', ''k''+1]^[-1, 2, -1] because S''k'' = (''k''-1)<sup>-1</sup>''k''<sup>2</sup>(''k''+1)<sup>-1</sup>.
: For example: {{nowrap|S''k'' {{=}} [''k'' 1, ''k'', ''k'' + 1]<sup>[−1, 2, −1]</sup>}} because {{nowrap|S''k'' {{=}} (''k'' 1)<sup>−1</sup>''k''<sup>2</sup>(''k'' + 1)<sup>−1</sup>}}.


; S-comma
; S-comma
Line 2,706: Line 2,864:


; Indirect S-comma
; Indirect S-comma
: Any comma that is the product or ratio of two S-commas. These appear frequently as S-expressions for commas that are more challenging/nontrivial to represent from the perspective of S-expressions, for example the [[schisma]] admits at least three such representations!
: Any comma that is the product or ratio of two S-commas. These appear frequently as S-expressions for commas that are more challenging/nontrivial to represent from the perspective of S-expressions; for example, the [[schisma]] admits at least three such representations.


== See further ==
== See further ==
Line 2,712: Line 2,870:


== Notes ==
== Notes ==
<references group="note" />
<references group="note"/>


[[Category:Elementary math]]
[[Category:Elementary math]]