Rank-3 temperament: Difference between revisions

Wikispaces>genewardsmith
**Imported revision 141051507 - Original comment: **
Cleanup
 
(34 intermediate revisions by 11 users not shown)
Line 1: Line 1:
<h2>IMPORTED REVISION FROM WIKISPACES</h2>
A '''rank-3 temperament''' is a [[regular temperament]] with three [[generator]]s. If one of the generators can be an [[2/1|octave]], it is called a '''planar temperament''', though the word is sometimes applied to any rank-3 temperament. There are two interpretations for the name ''planar temperament'': first, the octave classes of notes of a planar temperament can be embedded in a plane as a [[lattice]]; and second, the set of all possible tunings of such a temperament is represented by a plane in a [[projective tuning space]] of three or more dimensions.
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br>
 
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2010-05-11 06:44:07 UTC</tt>.<br>
== Euclidean metric on the lattice ==
: The original revision id was <tt>141051507</tt>.<br>
The most elegant way to put a Euclidean metric, and hence a lattice structure, on the pitch classes of a planar temperament is to orthogonally project onto the subspace perpendicular to the space determined by 2 and the [[comma]]s of the temperament. To do this we need a Euclidean metric on the space in which ''p''-limit intervals reside as a lattice, and the most expeditious and theoretically justifiable choice of such a metric seems to be [[Euclidean interval space]].
: The revision comment was: <tt></tt><br>
 
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br>
=== Example ===
<h4>Original Wikitext content:</h4>
7-limit [[marvel]] temperament is defined by [[tempering out]] a single comma, [[225/224]]. If we convert that to a weighted [[monzo]] '''m''' = {{monzo| -5 3.17 4.64 -2.81 }} and call the weighted monzo {{monzo| 1 0 0 0 }} for 2 "'''t'''", then the two-dimensional subspace perpendicular in the four-dimensional 7-limit Euclidean interval space is the space onto which we propose to orthogonally project all 7-limit intervals. One way to do this is by forming a 2×4 matrix {{nowrap| ''U'' {{=}} ['''t''', '''m'''] }}. If ''U''<sup>+</sup> denotes the [[pseudoinverse]] of ''U'', then letting {{nowrap| ''Q'' {{=}} ''U''<sup>+</sup>''U'' }} take {{nowrap| ''P'' {{=}} ''I'' - ''Q'' }}, where ''I'' is the identity matrix. ''P'' is the [[projection matrix]] that maps from weighted monzos onto the two-dimensional lattice of tempered pitch classes. We have that '''m'''''P'' and '''t'''''P'' are the zero vector {{monzo| 0 0 0 0 }} representing the unison pitch class, which is to say octaves, and other intervals are mapped elsewhere. We find in this way that the lattice point closest to the origin is the [[secor]], 16/15 and 15/14, and the second closest independent point the [[3/2|fifth]] (or alternatively, fourth). The secor and the fifth give a [[Minkowski basis]] for the lattice, but we could also use the [[5/4|major third]] and fifth as a basis. The secor and fifth are at an angle of 106.96, and the major third is angled 129.84 to the fifth.
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">The octave-equivalent note classes of 7-limit harmony can be represented in vector (odd-only monzo) form as triples of integers (a b c). We can make this into a [[http://en.wikipedia.org/wiki/Lattice_%28group%29|lattice]] 
 
by putting a [[http://en.wikipedia.org/wiki/Normed_vector_space|norm]]  on the three dimensional real we can regard them as living in. If we define
If we list 2 first in the list of commas, the matrix ''P'' for any planar temperament will always have a first row and first column with coefficients of 0. We may also change coordinates for ''P'', by monzo-weighting the columns of ''P'', which is to say, scalar multiplying the successive rows by log<sub>2</sub>(''q'') for each of the primes ''q'' up to ''p'', which allows us to project unweighted monzos without first transforming coordinates.
the norm by
 
|| (a b c) || = sqrt(a^2 + b^2 + c^2 + ab + ac + bc)
== List of rank-3 temperament families and clans ==
then the twelve consonant intervals of 7-limit harmony are represented by the twelve lattice points +-(1 0 0),  
=== Planar temperaments ===
+-(0 1 0), +-(0 0 1), +-(1 -1 0), +-(1 0 -1) and +-(0 1 -1) at a distance of one from the unison, (0 0 0). These
* [[Marvel family]]
lie on the verticies of a &lt;A HREF="http://en.wikipedia.org/wiki/Cuboctahedron"&gt;cubeoctahedron&lt;/A&gt;, a semiregular
* [[Starling family]]
solid. The lattice has two types of holes--the shallow holes, which are &lt;A HREF="http://en.wikipedia.org/wiki/Tetrahedron"&gt;tetrahera&lt;/A&gt;
* [[Gamelismic family]]
and which correspond to the major and minor &lt;A HREF="http://tonalsoft.com/enc/tetrad.htm"&gt;tetrads&lt;/A&gt; 4:5:6:7 and  
* [[Breed family]]
1/4:1/5:1/6:1/7, and the deep holes which are &lt;A HREF="http://en.wikipedia.org/wiki/Octahedron"&gt;octaheda&lt;/A&gt; and  
* [[Octagar family]]
correspond to &lt;A HREF="http://tonalsoft.com/enc/hexany.htm"&gt;hexanies&lt;/A&gt;.
* [[Ragisma family]]
A similar lattice may be defined in any p-limit, by using a norm which is the square root of the quadratic form
* [[Hemifamity family]]
x_i x_j, summed over all i &lt;= j; moreover as an alternative approach we can use the &lt;A HREF="hahn.htm"&gt;Hahn
* [[Porwell family]]
norm&lt;/A&gt; in place of the Euclidean norm. In the two dimensional case of the 5-limit, this gives the plane lattice
* [[Horwell family]]
of equilateral triangles, called A2 or the hexagonal lattice (since the Voroni cells, regions of points closer
* [[Sensamagic family]]
to a given lattice point than any other, are hexagons.) The higher dimensional versions of this are called An,
* [[Sengic family]]
in n dimensions, so the 7-limit lattice is the A3 lattice. However, the 7-limit is unique in that there is another
* [[Keemic family]]
family of lattices, called Dn, to which it also belongs as D3, the&lt;A HREF="http://en.wikipedia.org/wiki/Crystal_structure"&gt;face-centered
* [[Hemimage family]]
cubic lattice&lt;/A&gt;. If we take (b+c)^2+(a+c)^2+(a+b)^2 and expand it, we get 2 (a^2 + b^2 + c^2 + ab + ac + bc).
* [[Mirkwai family]]
If we therefore take our triples (a b c) and change basis by sending (1 0 0) to (0 1 1), (0 1 0) to (1 0 1), and
* [[Hemimean family]]
(0 0 1) to (1 1 0), we have the lattice in terms of perpendicular coordinates, in which we may use ordinary Euclidean
* [[Archytas family]]
length. In this form, all distances are scaled up by a factor of sqrt(2), so that the 7-limit consonances become
* [[Kleismic rank three family]]
(+-1 +-1 0), (+-1 0 +-1), and (0 +-1 +-1), the verticies of a cuboctahedron in a more standard form. The lattice
 
now may be described as triples of integers (a b c), such that a+b+c is an even number, and using the ordinary
=== Rank-3 but not planar ===
Euclidean norm of sqrt(a^2 + b^2 + c^2).
* [[Jubilismic temperament]]
In this new coordinate system, the 4:5:6:7 tetrad consists of the notes (0 0 0), (1 0 0), (0 1 0), and (0 0
 
1); the centroid of this is (1/2 1/2 1/2); similarly the centroid of 1/4:1/5:1/6:1/7 is (-1/2 -1/2 -1/2). If we
== External links ==
shift the origin to (1/2 1/2 1/2), major tetrads correspond to [a b c], a+b+c even, and minor tetrads to [a-1 b-1
* [http://lumma.org/tuning/gws/planar.htm Xenharmony | ''Planar Temperaments'']
c-1], a+b+c even, which is the same as saying [a b c], a+b+c odd. Hence the 7-limit tetrads form the simplest kind
 
of lattice, the cubic or grid lattice consisting of triples of integers with the ordinary Euclidean distance. This,
[[Category:Regular temperament theory]]
once again, is a unique feature of the 7-limit; in no other limit do the complete utonalities and otonalities form
[[Category:Rank 3| ]] <!-- main article -->
a lattice.
[[Category:Math]]
If [a b c] is any triple of integers, then it represents the major tetrad with root 3^((-a+b+c)/2) 5^((a-b+c)/2)
7^((a+c-c)/2) if a+b+c is even, and the minor tetrad with root 3^((-1-a+b+c)/2) 5^((1+a-b+c)/2 7^((1+a+b-c)/2)
if a+b+c is odd. Each unit cube corresponds to a &lt;A HREF="http://tonalsoft.com/enc/stellat.htm"&gt;stellated hexany&lt;/A&gt;,
or tetradekany, or dekatesserany, though chord cube would be less of a mouthful.
If we look at twice the generators, namely [2 0 0], [0 2 0] and [0 0 2] we find they correspond to transposition
up by 35/24 for [2 0 0], up 21/20 for [0 2 0], and up 15/14 for [0 0 2]. Temperaments where the generator can be
taken as one of these three, such as miracle, are particularly easy to work with in terms of the lattice of chord
relations because of this.
In any limit, we may consider the dual lattice of mappings to primes, or octave-equivalent vals. Dual to the
An norm defined from x_j x_j is a norm defined by the inverse to the symmetric matrix of the &lt;A HREF="http://en.wikipedia.org/wiki/Quadratic_form"&gt;quadratic
form&lt;/A&gt; for the An norm, which normalizes to the square root of the quantity n times the sum of squares of x_i
minus twice the product x_i x_j, for j &gt; i. This defines the dual lattice An* to An. In the two dimensions of
the 5-limit, A2 is isomorphic to A2* and the lattice of maps is a equilateral triangular ("hexagonal")
lattice also. In the three dimensions of the 7-limit, we again have an exceptional situation, where A3* is isomorphic
to the dual of D3, D3*. We have that the norm for A3* can be defined as the square root of (-x_1+x_2+x_3)^2 + (x_1-x_2+x_3)^2
+(x_1+x_2-x_3)^2, so if we change basis so that our basis maps are (-1 1 1), (1 -1 1) and (1 1 -1), then the norm
becomes the usual Euclidean norm. If we take linear combinations with integer coefficents of these, we obtain all
triples of integers which are either all even or all odd. The lattice with these points and the usual Euclidean
norm is the &lt;A HREF="http://en.wikipedia.org/wiki/Crystal_structure"&gt;body-centered cubic lattice&lt;/A&gt;.
It is easy to verify that the dot product of a triple of integers, either all even or all odd, times a triple
of integers whose sum is even, is always even; and we get the precise relationship between mappings and note-classes
by dividing by two, and taking the lattice of mappings to be triples of integers, plus triples of halves of odd
integers. So for example the meantone mapping, (1 4 10), transforms to 1*(-1/2 1/2 1/2) + 4*(1/2 -1/2 1/2) + 10*(1/2
1/2 -1/2) = (13/2 7/2 -5/2), and the fifth class (1 0 0) to (0 1 1); taking the dot product of (13/2 7/2 -5/2)
with (0 1 1) gives 1, as expected. However I think it is better to keep the coordinates as integers, and simply
keep in mind that to get the mapping we now need to divide the dot product by two.
For any lattice, the isometries, or distance-preserving maps, which take the lattice to itself form a group,
the group of affine automorphisms. It has a subgroup, called the automorphism group of the lattice, which consists
of those affine automorphisms which fix the origin. In the case of D3, D3* and the cubic grid of tetrads, the automorphism
group is the group of order 48 which consists of all permutations of the three coordinates and all changes of sign,
and is called both the group of the cube and the group of the octahedron. It is easy to see that such a transformation
takes triples with an even sum to triples with an even sum, and triples either even or odd to triples either even
or odd. Hence it takes the cubic lattice of tetrads to itself, the face-centered cubic lattice of note-classes
to itself, and the body-centered cubic lattice of mappings of note-classes to itself. The first two types of transformation
includes the major/minor transformation, and can be regarded as a vast generalization of that. Robert Walker has
a piece, &lt;A HREF="http://tunesmithy.netfirms.com/tunes/tunes.htm#hexany_phrase"&gt;Hexany Phrase&lt;/A&gt;, which takes
a theme through all 48 resulting variations.
Transforming maps to maps when they are generator maps for two temperaments with the same period is sometimes
interesting, since it sends one temperament to another while preserving 7-odd-limit (meaning, not including 9-odd-limit)
harmony to itself. For example, the dominant seventh temperament, the {27/25, 28/25} temperament, and the {28/27,
35/32} temperaments can each be transformed to the others, as can septimal kleismic (the {49/48, 126/125} temperament)
and the {225/224, 250/243} temperament, and hemifourths and the {49/48, 135/128} temperament. Temperaments with
a period a fraction of an octave can also sometimes be transformed; for instance injera and the {50/49, 135/128}
temperament.&lt;P ALIGN="CENTER"&gt;&lt;P ALIGN="CENTER"&gt;&lt;A HREF="home.htm"&gt;home&lt;/A&gt;&lt;/BODY&gt;&lt;/HTML&gt;</pre></div>
<h4>Original HTML content:</h4>
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html">&lt;html&gt;&lt;head&gt;&lt;title&gt;Planar Temperament&lt;/title&gt;&lt;/head&gt;&lt;body&gt;The octave-equivalent note classes of 7-limit harmony can be represented in vector (odd-only monzo) form as triples of integers (a b c). We can make this into a &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Lattice_%28group%29" rel="nofollow"&gt;lattice&lt;/a&gt;  &lt;br /&gt;
by putting a &lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Normed_vector_space" rel="nofollow"&gt;norm&lt;/a&gt;  on the three dimensional real we can regard them as living in. If we define &lt;br /&gt;
the norm by&lt;br /&gt;
|| (a b c) || = sqrt(a^2 + b^2 + c^2 + ab + ac + bc)&lt;br /&gt;
then the twelve consonant intervals of 7-limit harmony are represented by the twelve lattice points +-(1 0 0), &lt;br /&gt;
+-(0 1 0), +-(0 0 1), +-(1 -1 0), +-(1 0 -1) and +-(0 1 -1) at a distance of one from the unison, (0 0 0). These &lt;br /&gt;
lie on the verticies of a &amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:77:http://en.wikipedia.org/wiki/Cuboctahedron --&gt;&lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Cuboctahedron" rel="nofollow"&gt;http://en.wikipedia.org/wiki/Cuboctahedron&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:77 --&gt;&amp;quot;&amp;gt;cubeoctahedron&amp;lt;/A&amp;gt;, a semiregular &lt;br /&gt;
solid. The lattice has two types of holes--the shallow holes, which are &amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:78:http://en.wikipedia.org/wiki/Tetrahedron --&gt;&lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Tetrahedron" rel="nofollow"&gt;http://en.wikipedia.org/wiki/Tetrahedron&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:78 --&gt;&amp;quot;&amp;gt;tetrahera&amp;lt;/A&amp;gt; &lt;br /&gt;
and which correspond to the major and minor &amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:79:http://tonalsoft.com/enc/tetrad.htm --&gt;&lt;a class="wiki_link_ext" href="http://tonalsoft.com/enc/tetrad.htm" rel="nofollow"&gt;http://tonalsoft.com/enc/tetrad.htm&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:79 --&gt;&amp;quot;&amp;gt;tetrads&amp;lt;/A&amp;gt; 4:5:6:7 and &lt;br /&gt;
1/4:1/5:1/6:1/7, and the deep holes which are &amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:80:http://en.wikipedia.org/wiki/Octahedron --&gt;&lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Octahedron" rel="nofollow"&gt;http://en.wikipedia.org/wiki/Octahedron&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:80 --&gt;&amp;quot;&amp;gt;octaheda&amp;lt;/A&amp;gt; and &lt;br /&gt;
correspond to &amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:81:http://tonalsoft.com/enc/hexany.htm --&gt;&lt;a class="wiki_link_ext" href="http://tonalsoft.com/enc/hexany.htm" rel="nofollow"&gt;http://tonalsoft.com/enc/hexany.htm&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:81 --&gt;&amp;quot;&amp;gt;hexanies&amp;lt;/A&amp;gt;.&lt;br /&gt;
A similar lattice may be defined in any p-limit, by using a norm which is the square root of the quadratic form &lt;br /&gt;
x_i x_j, summed over all i &amp;lt;= j; moreover as an alternative approach we can use the &amp;lt;A HREF=&amp;quot;hahn.htm&amp;quot;&amp;gt;Hahn &lt;br /&gt;
norm&amp;lt;/A&amp;gt; in place of the Euclidean norm. In the two dimensional case of the 5-limit, this gives the plane lattice &lt;br /&gt;
of equilateral triangles, called A2 or the hexagonal lattice (since the Voroni cells, regions of points closer &lt;br /&gt;
to a given lattice point than any other, are hexagons.) The higher dimensional versions of this are called An, &lt;br /&gt;
in n dimensions, so the 7-limit lattice is the A3 lattice. However, the 7-limit is unique in that there is another &lt;br /&gt;
family of lattices, called Dn, to which it also belongs as D3, the&amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:82:http://en.wikipedia.org/wiki/Crystal_structure --&gt;&lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Crystal_structure" rel="nofollow"&gt;http://en.wikipedia.org/wiki/Crystal_structure&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:82 --&gt;&amp;quot;&amp;gt;face-centered &lt;br /&gt;
cubic lattice&amp;lt;/A&amp;gt;. If we take (b+c)^2+(a+c)^2+(a+b)^2 and expand it, we get 2 (a^2 + b^2 + c^2 + ab + ac + bc). &lt;br /&gt;
If we therefore take our triples (a b c) and change basis by sending (1 0 0) to (0 1 1), (0 1 0) to (1 0 1), and &lt;br /&gt;
(0 0 1) to (1 1 0), we have the lattice in terms of perpendicular coordinates, in which we may use ordinary Euclidean &lt;br /&gt;
length. In this form, all distances are scaled up by a factor of sqrt(2), so that the 7-limit consonances become &lt;br /&gt;
(+-1 +-1 0), (+-1 0 +-1), and (0 +-1 +-1), the verticies of a cuboctahedron in a more standard form. The lattice &lt;br /&gt;
now may be described as triples of integers (a b c), such that a+b+c is an even number, and using the ordinary &lt;br /&gt;
Euclidean norm of sqrt(a^2 + b^2 + c^2).&lt;br /&gt;
In this new coordinate system, the 4:5:6:7 tetrad consists of the notes (0 0 0), (1 0 0), (0 1 0), and (0 0 &lt;br /&gt;
1); the centroid of this is (1/2 1/2 1/2); similarly the centroid of 1/4:1/5:1/6:1/7 is (-1/2 -1/2 -1/2). If we &lt;br /&gt;
shift the origin to (1/2 1/2 1/2), major tetrads correspond to [a b c], a+b+c even, and minor tetrads to [a-1 b-1 &lt;br /&gt;
c-1], a+b+c even, which is the same as saying [a b c], a+b+c odd. Hence the 7-limit tetrads form the simplest kind &lt;br /&gt;
of lattice, the cubic or grid lattice consisting of triples of integers with the ordinary Euclidean distance. This, &lt;br /&gt;
once again, is a unique feature of the 7-limit; in no other limit do the complete utonalities and otonalities form &lt;br /&gt;
a lattice.&lt;br /&gt;
If [a b c] is any triple of integers, then it represents the major tetrad with root 3^((-a+b+c)/2) 5^((a-b+c)/2) &lt;br /&gt;
7^((a+c-c)/2) if a+b+c is even, and the minor tetrad with root 3^((-1-a+b+c)/2) 5^((1+a-b+c)/2 7^((1+a+b-c)/2) &lt;br /&gt;
if a+b+c is odd. Each unit cube corresponds to a &amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:83:http://tonalsoft.com/enc/stellat.htm --&gt;&lt;a class="wiki_link_ext" href="http://tonalsoft.com/enc/stellat.htm" rel="nofollow"&gt;http://tonalsoft.com/enc/stellat.htm&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:83 --&gt;&amp;quot;&amp;gt;stellated hexany&amp;lt;/A&amp;gt;, &lt;br /&gt;
or tetradekany, or dekatesserany, though chord cube would be less of a mouthful.&lt;br /&gt;
If we look at twice the generators, namely [2 0 0], [0 2 0] and [0 0 2] we find they correspond to transposition &lt;br /&gt;
up by 35/24 for [2 0 0], up 21/20 for [0 2 0], and up 15/14 for [0 0 2]. Temperaments where the generator can be &lt;br /&gt;
taken as one of these three, such as miracle, are particularly easy to work with in terms of the lattice of chord &lt;br /&gt;
relations because of this.&lt;br /&gt;
In any limit, we may consider the dual lattice of mappings to primes, or octave-equivalent vals. Dual to the &lt;br /&gt;
An norm defined from x_j x_j is a norm defined by the inverse to the symmetric matrix of the &amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:84:http://en.wikipedia.org/wiki/Quadratic_form --&gt;&lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Quadratic_form" rel="nofollow"&gt;http://en.wikipedia.org/wiki/Quadratic_form&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:84 --&gt;&amp;quot;&amp;gt;quadratic &lt;br /&gt;
form&amp;lt;/A&amp;gt; for the An norm, which normalizes to the square root of the quantity n times the sum of squares of x_i &lt;br /&gt;
minus twice the product x_i x_j, for j &amp;gt; i. This defines the dual lattice An* to An. In the two dimensions of &lt;br /&gt;
the 5-limit, A2 is isomorphic to A2* and the lattice of maps is a equilateral triangular (&amp;quot;hexagonal&amp;quot;) &lt;br /&gt;
lattice also. In the three dimensions of the 7-limit, we again have an exceptional situation, where A3* is isomorphic &lt;br /&gt;
to the dual of D3, D3*. We have that the norm for A3* can be defined as the square root of (-x_1+x_2+x_3)^2 + (x_1-x_2+x_3)^2 &lt;br /&gt;
+(x_1+x_2-x_3)^2, so if we change basis so that our basis maps are (-1 1 1), (1 -1 1) and (1 1 -1), then the norm &lt;br /&gt;
becomes the usual Euclidean norm. If we take linear combinations with integer coefficents of these, we obtain all &lt;br /&gt;
triples of integers which are either all even or all odd. The lattice with these points and the usual Euclidean &lt;br /&gt;
norm is the &amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:85:http://en.wikipedia.org/wiki/Crystal_structure --&gt;&lt;a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Crystal_structure" rel="nofollow"&gt;http://en.wikipedia.org/wiki/Crystal_structure&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:85 --&gt;&amp;quot;&amp;gt;body-centered cubic lattice&amp;lt;/A&amp;gt;.&lt;br /&gt;
It is easy to verify that the dot product of a triple of integers, either all even or all odd, times a triple &lt;br /&gt;
of integers whose sum is even, is always even; and we get the precise relationship between mappings and note-classes &lt;br /&gt;
by dividing by two, and taking the lattice of mappings to be triples of integers, plus triples of halves of odd &lt;br /&gt;
integers. So for example the meantone mapping, (1 4 10), transforms to 1*(-1/2 1/2 1/2) + 4*(1/2 -1/2 1/2) + 10*(1/2 &lt;br /&gt;
1/2 -1/2) = (13/2 7/2 -5/2), and the fifth class (1 0 0) to (0 1 1); taking the dot product of (13/2 7/2 -5/2) &lt;br /&gt;
with (0 1 1) gives 1, as expected. However I think it is better to keep the coordinates as integers, and simply &lt;br /&gt;
keep in mind that to get the mapping we now need to divide the dot product by two.&lt;br /&gt;
For any lattice, the isometries, or distance-preserving maps, which take the lattice to itself form a group, &lt;br /&gt;
the group of affine automorphisms. It has a subgroup, called the automorphism group of the lattice, which consists &lt;br /&gt;
of those affine automorphisms which fix the origin. In the case of D3, D3* and the cubic grid of tetrads, the automorphism &lt;br /&gt;
group is the group of order 48 which consists of all permutations of the three coordinates and all changes of sign, &lt;br /&gt;
and is called both the group of the cube and the group of the octahedron. It is easy to see that such a transformation &lt;br /&gt;
takes triples with an even sum to triples with an even sum, and triples either even or odd to triples either even &lt;br /&gt;
or odd. Hence it takes the cubic lattice of tetrads to itself, the face-centered cubic lattice of note-classes &lt;br /&gt;
to itself, and the body-centered cubic lattice of mappings of note-classes to itself. The first two types of transformation &lt;br /&gt;
includes the major/minor transformation, and can be regarded as a vast generalization of that. Robert Walker has &lt;br /&gt;
a piece, &amp;lt;A HREF=&amp;quot;&lt;!-- ws:start:WikiTextUrlRule:86:http://tunesmithy.netfirms.com/tunes/tunes.htm#hexany_phrase --&gt;&lt;a class="wiki_link_ext" href="http://tunesmithy.netfirms.com/tunes/tunes.htm#hexany_phrase" rel="nofollow"&gt;http://tunesmithy.netfirms.com/tunes/tunes.htm#hexany_phrase&lt;/a&gt;&lt;!-- ws:end:WikiTextUrlRule:86 --&gt;&amp;quot;&amp;gt;Hexany Phrase&amp;lt;/A&amp;gt;, which takes &lt;br /&gt;
a theme through all 48 resulting variations.&lt;br /&gt;
Transforming maps to maps when they are generator maps for two temperaments with the same period is sometimes &lt;br /&gt;
interesting, since it sends one temperament to another while preserving 7-odd-limit (meaning, not including 9-odd-limit) &lt;br /&gt;
harmony to itself. For example, the dominant seventh temperament, the {27/25, 28/25} temperament, and the {28/27, &lt;br /&gt;
35/32} temperaments can each be transformed to the others, as can septimal kleismic (the {49/48, 126/125} temperament) &lt;br /&gt;
and the {225/224, 250/243} temperament, and hemifourths and the {49/48, 135/128} temperament. Temperaments with &lt;br /&gt;
a period a fraction of an octave can also sometimes be transformed; for instance injera and the {50/49, 135/128} &lt;br /&gt;
temperament.&amp;lt;P ALIGN=&amp;quot;CENTER&amp;quot;&amp;gt;&amp;lt;P ALIGN=&amp;quot;CENTER&amp;quot;&amp;gt;&amp;lt;A HREF=&amp;quot;home.htm&amp;quot;&amp;gt;home&amp;lt;/A&amp;gt;&amp;lt;/BODY&amp;gt;&amp;lt;/HTML&amp;gt;&lt;/body&gt;&lt;/html&gt;</pre></div>