S-expression: Difference between revisions

Fredg999 (talk | contribs)
m {{nowrap|S(k − 1)*Sk*S(k + 1)}} ({{frac|1|3}}-square-particulars): Revert to previous heading style (avoid templates because they break redirects)
m Undo revision 207458 by VectorGraphics (talk). We don't need a parameter name in a formula
Tag: Undo
 
(3 intermediate revisions by 2 users not shown)
Line 780: Line 780:
|}
|}


== S(k − 1)*Sk*S(k + 1) (1/3-square-particulars) ==
== {{nowrap|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| {{sfrac|''k'' − 1|''k'' − 2}} | {{sfrac|''k'' + 2|''k'' + 1}} }}}} which therefore do not (directly) involve the ''k''th harmonic.
This section concerns commas of the form {{nowrap|S(''k'' − 1) * S''k'' * S(''k'' + 1) {{=}} {{sfrac| {{sfrac|''k'' − 1|''k'' − 2}} | {{sfrac|''k'' + 2|''k'' + 1}} }}}} which therefore do not (directly) involve the ''k''th harmonic.


Line 792: Line 792:
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.
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 {{frac|1|3}}-square-particulars ===
=== 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:


Line 2,037: Line 2,037:
(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 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.)


== {{nowrap|S''k''<sup>2</sup> * S(''k'' + 1)}} and {{nowrap|S(''k'' − 1) * S''k''<sup>2</sup>}} (lopsided commas) ==
== {{nowrap|S''k''² * S(''k'' + 1)}} and {{nowrap|S(''k'' − 1) * S''k''²}} (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.
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.