S-expression: Difference between revisions

Line 1,636:

=== Significance ===

# 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}}~~

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

# 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''2⋅S(''k'' + 1)}} or {{nowrap|S''k''⋅S(''k'' + 1)2}} 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, S162⋅S17, S16⋅S172} }}, and any of the two commas in the latter set imply all the other commas too.

# 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''2⋅S(''k'' + 1)}} or {{nowrap|S''k''⋅S(''k'' + 1)2}} 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 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, S162⋅S17, S16⋅S172} }}, and any of the two commas in the latter set imply all the other commas too.

=== Table of ultraparticulars ===

@@ Line 1,636: / Line 1,636: @@
 === Significance ===
 # 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}}
+# 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.
-# 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.
+# 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 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.
 === Table of ultraparticulars ===

S-expression: Difference between revisions

Godtone (talk | contribs)