S-expression: Difference between revisions

Line 919:

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

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

=== Table of semiparticulars ===

@@ Line 919: / Line 919: @@
 * 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.)
+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 ===