S-expression: Difference between revisions

Line 190:

|}

=== Alternatives to tempering 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 U''k'' = S''k''/S(''k'' + 1), we get [[#Sk/S(k + 1) (ultraparticulars)|ultraparticulars]]*. Ultraparticulars have a secondary (and mathematically equivalent) consequence: Because (''k'' + 2)/(''k'' + 1) and ''k''/(''k'' - 1) are equidistant from (''k'' + 1)/''k'' (because of tempering S''k''/S(''k'' + 1)), this means that another expression for S''k''/S(''k'' + 1) is the following:

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

This means you can read the ''k'' and ''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]]).

Line 198:

Line 199:

<nowiki>*</nowiki> 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''/S(''k'' - 1) 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.

Furthermore, defining another sequence of commas with [[~~semiparticulars~~|formula 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 [[semiparticular|formula 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.

=== S-expressions ===

@@ Line 190: / Line 190: @@
 |}
+=== Alternatives to tempering 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 U''k'' = S''k''/S(''k'' + 1), we get [[#Sk/S(k + 1) (ultraparticulars)|ultraparticulars]]*. Ultraparticulars have a secondary (and mathematically equivalent) consequence: Because (''k'' + 2)/(''k'' + 1) and ''k''/(''k'' - 1) are equidistant from (''k'' + 1)/''k'' (because of tempering S''k''/S(''k'' + 1)), this means that another expression for S''k''/S(''k'' + 1) is the following:
-<math>{\rm S}k / {\rm S} (k + 1) = \frac{(k + 2) / (k - 1)}{((k + 1)/k)^3}</math>
+<math>\large {\rm S}k / {\rm S} (k + 1) = \frac{(k + 2) / (k - 1)}{((k + 1)/k)^3}</math>
 This means you can read the ''k'' and ''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]]).
@@ Line 198: / Line 199: @@
 <nowiki>*</nowiki> 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''/S(''k'' - 1) 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.
-Furthermore, defining another sequence of commas with [[semiparticulars|formula 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 [[semiparticular|formula 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.
 === S-expressions ===