Douglas Blumeyer's RTT How-To: Difference between revisions
Cmloegcmluin (talk | contribs) incorporating most of Dave Keenan's recommendations from a full review |
Cmloegcmluin (talk | contribs) temporarily add table |
||
| Line 1: | Line 1: | ||
(to be broken out to pages named "Douglas Blumeyer's RTT How-To") | s(to be broken out to pages named "Douglas Blumeyer's RTT How-To") | ||
This is the reference I wish I had when I was learning RTT, or [[Regular temperament theory|Regular Temperament Theory]]. There are other great resources out there, but this is how I would have liked to have learned it myself. I might say these materials lean more visual and geometric than others I've seen, and focus on elementary computation and representation rather than theory. It's not really a big picture introduction, it doesn't explore musical applications, and its algorithms are for humans, not computers. In any case, I hope others are able to benefit from these tools and explanations. | This is the reference I wish I had when I was learning RTT, or [[Regular temperament theory|Regular Temperament Theory]]. There are other great resources out there, but this is how I would have liked to have learned it myself. I might say these materials lean more visual and geometric than others I've seen, and focus on elementary computation and representation rather than theory. It's not really a big picture introduction, it doesn't explore musical applications, and its algorithms are for humans, not computers. In any case, I hope others are able to benefit from these tools and explanations. | ||
| Line 1,603: | Line 1,603: | ||
We’ll look in more detail later at how exactly to best find these generators, once you know which primes to make them out of. | We’ll look in more detail later at how exactly to best find these generators, once you know which primes to make them out of. | ||
{| class="wikitable" | |||
|+ | |||
!operations | |||
!progressive product (AKA wedge product, exterior product) | |||
a ∧ b | |||
!regressive product (AKA vee product) | |||
a ∨ b | |||
<nowiki>*</nowiki>(*a ∧ *b) | |||
!right interior product | |||
a ⨽ b | |||
∗(∗a ∧ b) | |||
examples given where grade(a) ≥ grade(b) | |||
!(left) interior product | |||
a ⨼ b | |||
<nowiki>*</nowiki>(a ∧ *b) | |||
examples given where grade(a) < grade(b) | |||
!symmetrical interior product | |||
a • b = if grade(a) ≥ grade(b), a ⨽ b; else a ⨼ b | |||
|- | |||
!resultant grade, assuming empty intersections | |||
!grade(a) + grade(b) | |||
!grade(a) + grade(b) - dimensionality | |||
!grade(a) - grade(b) | |||
!grade(b) - grade(a) | |||
!if grade(a) ≥ grade(b), grade(a) - grade(b); else grade(b) - grade(a) | |||
|- | |||
!resultant variance | |||
!same as a (and b) | |||
!same as a (and b) | |||
!same as a | |||
!same as b | |||
!if grade(a) ≥ grade(b), same as a; else same as b | |||
|- | |||
!multicovector with multicovector | |||
⟨] ⟨] | |||
|⟨12 19 28 34] ∧ ⟨19 30 44 53] = ⟨⟨1 4 10 4 13 12]] | |||
|⟨⟨⟨1 2 -3 -2 1 -4 -5 12 9 -19]]] ∨ ⟨⟨⟨⟨1 2 1 2 3]]]] = ⟨⟨-6 7 2 -15 25 20 -3 -15 -59 -49]] | |||
|ND | |||
|ND | |||
|ND | |||
|- | |||
!multivector with multivector | |||
[⟩ [⟩ | |||
|[4 -4 1 0⟩ ∧ [13 -10 0 1⟩ = [[12 -13 4 10 -4 1⟩⟩ | |||
|[[44 -30 19⟩⟩ ∨ [[28 -19 12⟩⟩ = [4 -4 1⟩ | |||
|ND | |||
|ND | |||
|ND | |||
|- | |||
!multicovector with multivector | |||
⟨] [⟩ | |||
|ND | |||
|ND | |||
|⟨⟨⟨1 2 -3 -2 1 -4 -5 12 9 -19]]] ⨽ [-3 2 -1 2 -1⟩ = ⟨⟨6 -7 -2 15 -25 -20 3 15 59 49]] | |||
|⟨12 19 28] ⨼ [[44 -30 19⟩⟩ = [4 -4 1⟩ | |||
|(in terms of other two interior products) | |||
|- | |||
!multivector with multicovector | |||
[⟩ ⟨] | |||
|ND | |||
|ND | |||
|[[44 -30 19⟩⟩ ⨽ ⟨12 19 28] = [-4 4 -1⟩ | |||
|[-3 2 -1 2 -1⟩ ⨼ ⟨⟨⟨1 2 -3 -2 1 -4 -5 12 9 -19]]] = ⟨⟨-6 7 2 -15 25 20 -3 -15 -59 -49]] | |||
|(in terms of other two interior products) | |||
|} | |||
== other topics (TBD) == | == other topics (TBD) == | ||