S-expression: Difference between revisions

Line 904:

</math>

...and notice that the latter expression is the one we've [[#Mathematical derivation|shown is equal to S(''k''-1)/S(''k''+1)]]. 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've [[#Mathematical derivation|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:

(''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 ~~(such as in~~ , 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))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))2.

This form of comma does not yet have an official name, but a proposed name is "semiparticular", because most of the time it is superparticular but less often it is odd-particular, and because when tempered 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 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 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.

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.

* 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.

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.

* 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.

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.

* 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.

Also, the interval in the denominator of an expression of a semiparticular of the form (a/b)/(c/d)2 is significant in that it has a special relationship: specifically, consider tempering (a/b)/(c/d)2 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 the two superparticulars composing 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)2 because we can multiply 9/8 by the tempered comma (19/15)/(9/8)2 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)2 because we can multiply 13/11 by the tempered comma (7/5)/(13/11)2 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.)

@@ Line 904: / Line 904: @@
 </math>
-...and notice that the latter expression is the one we've [[#Mathematical derivation|shown is equal to S(''k''-1)/S(''k''+1)]]. 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've [[#Mathematical derivation|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:
 (''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 (such as in , 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 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 does not yet have an official name, but a proposed name is "semiparticular", because most of the time it is superparticular but less often it is odd-particular, and because when tempered 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 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 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.
-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.
+* 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.
-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.
+* 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.
-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.
+* 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.
 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 the two superparticulars composing 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.)