Wedgie/Archived version: Difference between revisions

Line 43:

=== The procedure ===

Consider the rank-2 temperament a&b, where a and b are two [[val]]s. Then the entries of the wedgie W corresponding to a&b are W('''2''', '''q'''1)<ref>The W(p,g) function at its most basic level returns the value at the (p,g) index of the wedgie W. For example, for W = {{multimap|1 4 4}}, W('''2''','''3''') = 1, W('''2''','''5''') = 4, and W('''3''','''5''') = 4.

Note that the multicovector form we typically view wedgies in is compressed from its full tensor form, because the tensor form is antisymmetric and therefore has a bunch of useless zero entries along its diagonal and also an entire half of it is redundant with the other half (its negation). For example, a rank-2 5-limit wedgie W has three entries with indices W('''2''','''3'''), W('''2''','''5'''), and W('''3''','''5'''). But the other six permutations of two of these indices exist too. Those with duplicates all equal 0, i.e. W('''2''','''2''') = 0, W('''3''','''3''') = 0, and W('''5''','''5''') = 0. Those with indices that are reversals of the ones shown in the multicovector form have values that are negations of those shown in the multicovector, e.g. W('''3''','''2''') = -W('''2''','''3'''), W('''5''','''2''') = -W('''2''','''5'''), and W('''5''','''3''') = -W('''3''','''5'''). For more information about the relationship between the compressed multicovector form of wedgies and their full tensor form, see: [[~~Varianced Exterior Algebra~~#as compressed antisymmetric tensors]]

Note that the multicovector form we typically view wedgies in is compressed from its full tensor form, because the tensor form is antisymmetric and therefore has a bunch of useless zero entries along its diagonal and also an entire half of it is redundant with the other half (its negation). For example, a rank-2 5-limit wedgie W has three entries with indices W('''2''','''3'''), W('''2''','''5'''), and W('''3''','''5'''). But the other six permutations of two of these indices exist too. Those with duplicates all equal 0, i.e. W('''2''','''2''') = 0, W('''3''','''3''') = 0, and W('''5''','''5''') = 0. Those with indices that are reversals of the ones shown in the multicovector form have values that are negations of those shown in the multicovector, e.g. W('''3''','''2''') = -W('''2''','''3'''), W('''5''','''2''') = -W('''2''','''5'''), and W('''5''','''3''') = -W('''3''','''5'''). For more information about the relationship between the compressed multicovector form of wedgies and their full tensor form, see: [[Intro to exterior algebra for RTT#As compressed antisymmetric tensors]]

As for arbitrary values of '''p''' and '''g''' in W('''p''','''g''') — such as non-integers like 3/2 or 10/9 — the value of W('''p''','''g''') can be understood as the volume the parallelogram spanned by '''p''' and '''g''', or in other words, that 1/|W('''2''','''g''')| is the unit fraction of the tempered lattice capable of being generated by '''p''' and '''g''', as is discussed in greater detail here: [[~~Varianced Exterior Algebra~~#~~tempered~~ lattice fractions generated by prime combinations]]</ref>, …, W('''2''', '''q'''''n''), and W('''q'''''i'', '''q'''''j'') for ''i'' < ''j'', and the entry W('''p''', '''q''') is given by a('''p''')b('''q''') − a('''q''')b('''p''').

As for arbitrary values of '''p''' and '''g''' in W('''p''','''g''') — such as non-integers like 3/2 or 10/9 — the value of W('''p''','''g''') can be understood as the volume the parallelogram spanned by '''p''' and '''g''', or in other words, that 1/|W('''2''','''g''')| is the unit fraction of the tempered lattice capable of being generated by '''p''' and '''g''', as is discussed in greater detail here: [[Intro to exterior algebra for RTT#Tempered lattice fractions generated by prime combinations]]</ref>, …, W('''2''', '''q'''''n''), and W('''q'''''i'', '''q'''''j'') for ''i'' < ''j'', and the entry W('''p''', '''q''') is given by a('''p''')b('''q''') − a('''q''')b('''p''').

To find the '''period''': Let ''d'' = gcd(W('''2''', '''q'''1), …, W('''2''', '''q'''''n'')). Then your period is 1\''d''.

@@ Line 43: / Line 43: @@
 === The procedure ===
 Consider the rank-2 temperament a&b, where a and b are two [[val]]s. Then the entries of the wedgie W corresponding to a&b are W('''2''', '''q'''<sub>1</sub>)<ref>The W(p,g) function at its most basic level returns the value at the (p,g) index of the wedgie W. For example, for W = {{multimap|1 4 4}}, W('''2''','''3''') = 1, W('''2''','''5''') = 4, and W('''3''','''5''') = 4.<br><br>
-Note that the multicovector form we typically view wedgies in is compressed from its full tensor form, because the tensor form is antisymmetric and therefore has a bunch of useless zero entries along its diagonal and also an entire half of it is redundant with the other half (its negation). For example, a rank-2 5-limit wedgie W has three entries with indices W('''2''','''3'''), W('''2''','''5'''), and W('''3''','''5'''). But the other six permutations of two of these indices exist too. Those with duplicates all equal 0, i.e. W('''2''','''2''') = 0, W('''3''','''3''') = 0, and W('''5''','''5''') = 0. Those with indices that are reversals of the ones shown in the multicovector form have values that are negations of those shown in the multicovector, e.g. W('''3''','''2''') = -W('''2''','''3'''), W('''5''','''2''') = -W('''2''','''5'''), and W('''5''','''3''') = -W('''3''','''5'''). For more information about the relationship between the compressed multicovector form of wedgies and their full tensor form, see: [[Varianced Exterior Algebra#as compressed antisymmetric tensors]]<br><br>
+Note that the multicovector form we typically view wedgies in is compressed from its full tensor form, because the tensor form is antisymmetric and therefore has a bunch of useless zero entries along its diagonal and also an entire half of it is redundant with the other half (its negation). For example, a rank-2 5-limit wedgie W has three entries with indices W('''2''','''3'''), W('''2''','''5'''), and W('''3''','''5'''). But the other six permutations of two of these indices exist too. Those with duplicates all equal 0, i.e. W('''2''','''2''') = 0, W('''3''','''3''') = 0, and W('''5''','''5''') = 0. Those with indices that are reversals of the ones shown in the multicovector form have values that are negations of those shown in the multicovector, e.g. W('''3''','''2''') = -W('''2''','''3'''), W('''5''','''2''') = -W('''2''','''5'''), and W('''5''','''3''') = -W('''3''','''5'''). For more information about the relationship between the compressed multicovector form of wedgies and their full tensor form, see: [[Intro to exterior algebra for RTT#As compressed antisymmetric tensors]]<br><br>
-As for arbitrary values of '''p''' and '''g''' in W('''p''','''g''') — such as non-integers like 3/2 or 10/9 — the value of W('''p''','''g''') can be understood as the volume the parallelogram spanned by '''p''' and '''g''', or in other words, that 1/|W('''2''','''g''')| is the unit fraction of the tempered lattice capable of being generated by '''p''' and '''g''', as is discussed in greater detail here: [[Varianced Exterior Algebra#tempered lattice fractions generated by prime combinations]]</ref>, …, W('''2''', '''q'''<sub>''n''</sub>), and W('''q'''<sub>''i''</sub>, '''q'''<sub>''j''</sub>) for ''i'' < ''j'', and the entry W('''p''', '''q''') is given by a('''p''')b('''q''') &minus; a('''q''')b('''p''').
+As for arbitrary values of '''p''' and '''g''' in W('''p''','''g''') — such as non-integers like 3/2 or 10/9 — the value of W('''p''','''g''') can be understood as the volume the parallelogram spanned by '''p''' and '''g''', or in other words, that 1/|W('''2''','''g''')| is the unit fraction of the tempered lattice capable of being generated by '''p''' and '''g''', as is discussed in greater detail here: [[Intro to exterior algebra for RTT#Tempered lattice fractions generated by prime combinations]]</ref>, …, W('''2''', '''q'''<sub>''n''</sub>), and W('''q'''<sub>''i''</sub>, '''q'''<sub>''j''</sub>) for ''i'' < ''j'', and the entry W('''p''', '''q''') is given by a('''p''')b('''q''') &minus; a('''q''')b('''p''').
 To find the '''period''': Let ''d'' = gcd(W('''2''', '''q'''<sub>1</sub>), …, W('''2''', '''q'''<sub>''n''</sub>)). Then your period is 1\''d''.