Generator-offset property: Difference between revisions

Line 87:

x x x ... x

x x x ... x x

and use the vectors (-1, 2) and (ceil(n/2), 1) as the Fokker block chromas. A Fokker block has the property that tempering out by each of the chromas gives two mosses. These correspond to the L = M and M = ~~s temperings~~. The ~~L = s case~~ follows by symmetry.

and use the vectors (-1, 2) and (ceil(n/2), 1) as the Fokker block chromas. A Fokker block has the property that tempering out by each of the chromas gives two mosses. These correspond to two of the temperings X = Y, Y = Z and X = Z. The third tempering follows by symmetry (by taking the other chirality).

For (7), consider the mos aX 2bW as chunks of X separated by W (tempering Y and Z together into W). Eliminating every other W turns it into a mos, because the sum of sizes of consecutive chunks of X (1st chunk with 2nd chunk, 3rd with 4th, ...) must form a mos. This is because the chunk sizes of X form a mos, and taking every kth note of an n-note mos where k divides n yields a mos. Since the result of setting X = 0 is the mos bY bZ, ''S'' is elimination-mos.

@@ Line 87: / Line 87: @@
   x x x ... x
   x x x ... x x
-and use the vectors (-1, 2) and (ceil(n/2), 1) as the Fokker block chromas. A Fokker block has the property that tempering out by each of the chromas gives two mosses. These correspond to the L = M and M = s temperings. The L = s case follows by symmetry.
+and use the vectors (-1, 2) and (ceil(n/2), 1) as the Fokker block chromas. A Fokker block has the property that tempering out by each of the chromas gives two mosses. These correspond to two of the temperings X = Y, Y = Z and X = Z. The third tempering follows by symmetry (by taking the other chirality).
 For (7), consider the mos aX 2bW as chunks of X separated by W (tempering Y and Z together into W). Eliminating every other W turns it into a mos, because the sum of sizes of consecutive chunks of X (1st chunk with 2nd chunk, 3rd with 4th, ...) must form a mos. This is because the chunk sizes of X form a mos, and taking every kth note of an n-note mos where k divides n yields a mos. Since the result of setting X = 0 is the mos bY bZ, ''S'' is elimination-mos.