Wedgie/Archived version: Difference between revisions

Line 1:

The '''wedgie''' is a way of defining and working with an [[abstract regular temperament]] (that is, a regular temperament where no tuning has been decided on). Wedgies are in a one-to-one relationship with abstract regular temperaments.

In geometric terms, given ~~JI ratios~~ ''u'' and ''v'', a rank-2 temperament's wedgie ''W'' is defined by the property that the number ''W''(''u'', ''v'') is (proportional to) the signed area of the parallelogram spanned by (tempered versions of) ''u'' and ''v''. This is the determinant of the tempered versions of ''u'' and ''v''. The musical interpretation of the parallelogram spanned by ''u'' and ''v'' is: If you want to consider intervals that are multiples of ''u'' apart the same note (for example, if you want an octave-equivalent scale), ''W''(''u'', ''v'') tells you how many generators of your rank-2 temperament it would take to get to ''v''. The reason that wedgies work as unique identifiers of temperaments is that the value ''W''(''u'', ''v'') only depends on what the temperament does to ''u'' and ''v'', and this dependence (in a sense) matches up exactly with what commas are tempered out by the temperament.

In geometric terms, given [[monzo]]s '''u''' and '''v''', a rank-2 temperament's wedgie W is defined by the property that the number W('''u''', '''v''') is (proportional to) the signed area of the parallelogram spanned by (tempered versions of) '''u''' and '''v'''. This is the determinant of the tempered versions of '''u''' and '''v'''. The musical interpretation of the parallelogram spanned by '''u''' and '''v''' is: If you want to consider intervals that are multiples of '''u''' apart the same note (for example, if you want an octave-equivalent scale), W('''u''', '''v''') tells you how many generators of your rank-2 temperament it would take to get to '''v'''. The reason that wedgies work as unique identifiers of temperaments is that the value W('''u''', '''v''') only depends on what the temperament does to '''u''' and '''v''', and this dependence (in a sense) matches up exactly with what commas are tempered out by the temperament.

A wedgie is written as a list of entries that give the values of the wedgie on the [[basis]] elements of the [[JI subgroup]] that the temperament is on. By the alternating property [i.e. W('''u''', '''v''') = −W('''v''', ''u'')] and bilinearity [W is linear in each argument separately], specifying the values on basis elements of the JI subgroup is enough to define W as an alternating bilinear form on all of the JI subgroup. The simplest example is rank-2 wedgies: Let a and b be (non-[[contorted]]) vals on a [[JI subgroup]] ''q''1.[…].''q''''n'' (where the ''q''''i'' need not be prime). Then the entries of the wedgie W corresponding to the rank-2 temperament a&b of the JI subgroup ''q''1.[…].''q''''n'' are (ignoring sign and normalization):

A wedgie is written as a list of entries that give the values of the wedgie on the [[basis]] elements of the [[JI subgroup]] that the temperament is on. By the alternating property [i.e. W('''u''', '''v''') = −W('''v''', '''u''')] and bilinearity [W is linear in each argument separately], specifying the values on basis elements of the JI subgroup is enough to define W as an alternating bilinear form on all of the JI subgroup. The simplest example is rank-2 wedgies: Let a and b be (non-[[contorted]]) vals on a [[JI subgroup]] ''q''1.[…].''q''''n'' (where the ''q''''i'' need not be prime). Then the entries of the wedgie W corresponding to the rank-2 temperament a&b of the JI subgroup ''q''1.[…].''q''''n'' are (ignoring sign and normalization):

<math>\mathrm{W}(\mathbf{q}_i, \mathbf{q}_j) = a(\mathbf{q}_i)b(\mathbf{q}_j) - a(\mathbf{q}_j)b(\mathbf{q}_i) \text{ for } i < j,</math>

@@ Line 1: / Line 1: @@
 The '''wedgie''' is a way of defining and working with an [[abstract regular temperament]] (that is, a regular temperament where no tuning has been decided on). Wedgies are in a one-to-one relationship with abstract regular temperaments.
-In geometric terms, given JI ratios ''u'' and ''v'', a rank-2 temperament's wedgie ''W'' is defined by the property that the number ''W''(''u'', ''v'') is (proportional to) the signed area of the parallelogram spanned by (tempered versions of) ''u'' and ''v''. This is the determinant of the tempered versions of ''u'' and ''v''. The musical interpretation of the parallelogram spanned by ''u'' and ''v'' is: If you want to consider intervals that are multiples of ''u'' apart the same note (for example, if you want an octave-equivalent scale), ''W''(''u'', ''v'') tells you how many generators of your rank-2 temperament it would take to get to ''v''. The reason that wedgies work as unique identifiers of temperaments is that the value ''W''(''u'', ''v'') only depends on what the temperament does to ''u'' and ''v'', and this dependence (in a sense) matches up exactly with what commas are tempered out by the temperament.
+In geometric terms, given [[monzo]]s '''u''' and '''v''', a rank-2 temperament's wedgie W is defined by the property that the number W('''u''', '''v''') is (proportional to) the signed area of the parallelogram spanned by (tempered versions of) '''u''' and '''v'''. This is the determinant of the tempered versions of '''u''' and '''v'''. The musical interpretation of the parallelogram spanned by '''u''' and '''v''' is: If you want to consider intervals that are multiples of '''u''' apart the same note (for example, if you want an octave-equivalent scale), W('''u''', '''v''') tells you how many generators of your rank-2 temperament it would take to get to '''v'''. The reason that wedgies work as unique identifiers of temperaments is that the value W('''u''', '''v''') only depends on what the temperament does to '''u''' and '''v''', and this dependence (in a sense) matches up exactly with what commas are tempered out by the temperament.
-A wedgie is written as a list of entries that give the values of the wedgie on the [[basis]] elements of the [[JI subgroup]] that the temperament is on. By the alternating property [i.e. W('''u''', '''v''') = &minus;W('''v''', ''u'')] and bilinearity [W is linear in each argument separately], specifying the values on basis elements of the JI subgroup is enough to define W as an alternating bilinear form on all of the JI subgroup. The simplest example is rank-2 wedgies: Let a and b be (non-[[contorted]]) vals on a [[JI subgroup]] ''q''<sub>1</sub>.[…].''q''<sub>''n''</sub> (where the ''q''<sub>''i''</sub> need not be prime). Then the entries of the wedgie W corresponding to the rank-2 temperament a&b of the JI subgroup ''q''<sub>1</sub>.[…].''q''<sub>''n''</sub> are (ignoring sign and normalization):
+A wedgie is written as a list of entries that give the values of the wedgie on the [[basis]] elements of the [[JI subgroup]] that the temperament is on. By the alternating property [i.e. W('''u''', '''v''') = &minus;W('''v''', '''u''')] and bilinearity [W is linear in each argument separately], specifying the values on basis elements of the JI subgroup is enough to define W as an alternating bilinear form on all of the JI subgroup. The simplest example is rank-2 wedgies: Let a and b be (non-[[contorted]]) vals on a [[JI subgroup]] ''q''<sub>1</sub>.[…].''q''<sub>''n''</sub> (where the ''q''<sub>''i''</sub> need not be prime). Then the entries of the wedgie W corresponding to the rank-2 temperament a&b of the JI subgroup ''q''<sub>1</sub>.[…].''q''<sub>''n''</sub> are (ignoring sign and normalization):
 <math>\mathrm{W}(\mathbf{q}_i, \mathbf{q}_j) = a(\mathbf{q}_i)b(\mathbf{q}_j) - a(\mathbf{q}_j)b(\mathbf{q}_i) \text{ for } i < j,</math>