The wedgie: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 32: Line 32:
The key fact about the determinant we use here is that two integer vectors v_1, v_2 form a basis for the rank-2 integer lattice '''Z'''<sup>2</sup> iff det(v_1, v_2) = ±1. So in order to find a period and generator for our tempearment, we need a pair of vectors {p, g} such that W(p, g) = 1 and p is 1\d for some integer d.
The key fact about the determinant we use here is that two integer vectors v_1, v_2 form a basis for the rank-2 integer lattice '''Z'''<sup>2</sup> iff det(v_1, v_2) = ±1. So in order to find a period and generator for our tempearment, we need a pair of vectors {p, g} such that W(p, g) = 1 and p is 1\d for some integer d.


Let d = gcd(W(2, q_1), ..., W(2, q_n)). This tells you that for any JI ratio v in your JI subgroup, W(2, v) = 2n(v) for some number n(v) [that depends linearly on v]. This equation is also true when we replace 2 with any JI ratio u that is equated to 2. This tells us that for W(p, g) = 1, we (up to some choices) need p to be an interval such that d*p is equated to 2/1, i.e. p represents 1/d of the octave.
Let d = gcd(W(2/1, q_1), ..., W(2/1, q_n)). This tells you that for any JI ratio v in your JI subgroup, W(2/1, v) = 2n(v) for some number n(v) [that depends linearly on v]. This equation is also true when we replace 2/1 with any JI ratio u that is equated to 2/1. This tells us that for W(p, g) = 1, we (up to some choices) need p to be an interval such that d*p is equated to 2/1, i.e. p represents 1/d of the octave.


Choose a basis e_1, e_2 for the temperament group and write (the image of) 2/1 as 2/1 = a_1 e_1 + a2 e_2. Then:
Choose a basis e_1, e_2 for the temperament group and write (the image of) 2/1 as 2/1 = a_1 e_1 + a2 e_2. Then: