Cartesian scale: Difference between revisions
Wikispaces>genewardsmith **Imported revision 479457532 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 479457778 - Original comment: ** |
||
| Line 1: | Line 1: | ||
<h2>IMPORTED REVISION FROM WIKISPACES</h2> | <h2>IMPORTED REVISION FROM WIKISPACES</h2> | ||
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | 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>2013-12-26 10: | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2013-12-26 10:13:04 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>479457778</tt>.<br> | ||
: The revision comment was: <tt></tt><br> | : 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> | The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | ||
| Line 10: | Line 10: | ||
If the generators are odd primes and ℇ = 2, then the Cartesian scale is an [[Euler genera|Euler genus]]; if G = [p1, p2 ... pk] are the generators and M = [m1, m2 .. mk] the multiplicities, then Genus(p1^m1 p2^m2 ... pk^mk) = Descartes(2, G, M). By the [[http://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic|fundamental theorem of arithmetic]], the odd prime generators define an [[http://en.wikipedia.org/wiki/Integer_lattice|integer lattice]], the points of which define unique representatives of the pitch classes of the scale. These ℇ-equivalence pitch classes form a [[http://en.wikipedia.org/wiki/Convex_lattice_polytope|Z-polytope]] which consists of the set of lattice points contained in an [[http://en.wikipedia.org/wiki/Hyperrectangle|orthotope]] aligned with the lattice. The same is true more generally for any [[http://planetmath.org/multiplicativelyindependent|multiplicatively independent]] set {ℇ}∪G of generators; a Cartesian scale defined in terms of these may be called "independent". On the other hand if we expand the scale by increasing each of the multiplicities by one, and if in this expanded scale there are two distinct products of generators with the same ℇ-reduced numerical value, we may call the scale "redundant". An example of a redundant Cartesian scale is the octatonic scale, Descartes(1200, [300, 100], [3, 1]). Expanding that to Descartes(1200, [300, 100], [4,2]) gives a scale which rather than having (4+1)*(2+1) = 15 notes to the octave, has just 12, the 12 notes of 12edo. | If the generators are odd primes and ℇ = 2, then the Cartesian scale is an [[Euler genera|Euler genus]]; if G = [p1, p2 ... pk] are the generators and M = [m1, m2 .. mk] the multiplicities, then Genus(p1^m1 p2^m2 ... pk^mk) = Descartes(2, G, M). By the [[http://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic|fundamental theorem of arithmetic]], the odd prime generators define an [[http://en.wikipedia.org/wiki/Integer_lattice|integer lattice]], the points of which define unique representatives of the pitch classes of the scale. These ℇ-equivalence pitch classes form a [[http://en.wikipedia.org/wiki/Convex_lattice_polytope|Z-polytope]] which consists of the set of lattice points contained in an [[http://en.wikipedia.org/wiki/Hyperrectangle|orthotope]] aligned with the lattice. The same is true more generally for any [[http://planetmath.org/multiplicativelyindependent|multiplicatively independent]] set {ℇ}∪G of generators; a Cartesian scale defined in terms of these may be called "independent". On the other hand if we expand the scale by increasing each of the multiplicities by one, and if in this expanded scale there are two distinct products of generators with the same ℇ-reduced numerical value, we may call the scale "redundant". An example of a redundant Cartesian scale is the octatonic scale, Descartes(1200, [300, 100], [3, 1]). Expanding that to Descartes(1200, [300, 100], [4,2]) gives a scale which rather than having (4+1)*(2+1) = 15 notes to the octave, has just 12, the 12 notes of 12edo. | ||
Margo Schulter suggested the name "Cartesian" in a 2002 [[http://groups.yahoo.com/neo/groups/tuning/conversations/topics/39613|article]] on the Yahoo tuning | Margo Schulter suggested the name "Cartesian" in a 2002 [[http://groups.yahoo.com/neo/groups/tuning/conversations/topics/39613|article]] on the Yahoo tuning list. Also, under the name "Euler-Fokker genus", Manuel Op de Coul gave [[Scala]] the capacity to construct Cartesian scales. Perhaps the first person to consider a Cartesian scale was Nicola Vicentino; his original conception for his [[http://www.tonalsoft.com/monzo/vicentino/vicentino.aspx|second tuning of 1555]] was for two 19 note 1/4 comma meantone scales (Meantone[19] in 1/4 comma tuning), separated by an interval of 1/4 of a syntonic comma, ie, (81/80)^(1/4); he only changed this to a 19+17 version because of physical limitations. | ||
| Line 24: | Line 24: | ||
If the generators are odd primes and ℇ = 2, then the Cartesian scale is an <a class="wiki_link" href="/Euler%20genera">Euler genus</a>; if G = [p1, p2 ... pk] are the generators and M = [m1, m2 .. mk] the multiplicities, then Genus(p1^m1 p2^m2 ... pk^mk) = Descartes(2, G, M). By the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic" rel="nofollow">fundamental theorem of arithmetic</a>, the odd prime generators define an <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Integer_lattice" rel="nofollow">integer lattice</a>, the points of which define unique representatives of the pitch classes of the scale. These ℇ-equivalence pitch classes form a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Convex_lattice_polytope" rel="nofollow">Z-polytope</a> which consists of the set of lattice points contained in an <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Hyperrectangle" rel="nofollow">orthotope</a> aligned with the lattice. The same is true more generally for any <a class="wiki_link_ext" href="http://planetmath.org/multiplicativelyindependent" rel="nofollow">multiplicatively independent</a> set {ℇ}∪G of generators; a Cartesian scale defined in terms of these may be called &quot;independent&quot;. On the other hand if we expand the scale by increasing each of the multiplicities by one, and if in this expanded scale there are two distinct products of generators with the same ℇ-reduced numerical value, we may call the scale &quot;redundant&quot;. An example of a redundant Cartesian scale is the octatonic scale, Descartes(1200, [300, 100], [3, 1]). Expanding that to Descartes(1200, [300, 100], [4,2]) gives a scale which rather than having (4+1)*(2+1) = 15 notes to the octave, has just 12, the 12 notes of 12edo.<br /> | If the generators are odd primes and ℇ = 2, then the Cartesian scale is an <a class="wiki_link" href="/Euler%20genera">Euler genus</a>; if G = [p1, p2 ... pk] are the generators and M = [m1, m2 .. mk] the multiplicities, then Genus(p1^m1 p2^m2 ... pk^mk) = Descartes(2, G, M). By the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic" rel="nofollow">fundamental theorem of arithmetic</a>, the odd prime generators define an <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Integer_lattice" rel="nofollow">integer lattice</a>, the points of which define unique representatives of the pitch classes of the scale. These ℇ-equivalence pitch classes form a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Convex_lattice_polytope" rel="nofollow">Z-polytope</a> which consists of the set of lattice points contained in an <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Hyperrectangle" rel="nofollow">orthotope</a> aligned with the lattice. The same is true more generally for any <a class="wiki_link_ext" href="http://planetmath.org/multiplicativelyindependent" rel="nofollow">multiplicatively independent</a> set {ℇ}∪G of generators; a Cartesian scale defined in terms of these may be called &quot;independent&quot;. On the other hand if we expand the scale by increasing each of the multiplicities by one, and if in this expanded scale there are two distinct products of generators with the same ℇ-reduced numerical value, we may call the scale &quot;redundant&quot;. An example of a redundant Cartesian scale is the octatonic scale, Descartes(1200, [300, 100], [3, 1]). Expanding that to Descartes(1200, [300, 100], [4,2]) gives a scale which rather than having (4+1)*(2+1) = 15 notes to the octave, has just 12, the 12 notes of 12edo.<br /> | ||
<br /> | <br /> | ||
Margo Schulter suggested the name &quot;Cartesian&quot; in a 2002 <a class="wiki_link_ext" href="http://groups.yahoo.com/neo/groups/tuning/conversations/topics/39613" rel="nofollow">article</a> on the Yahoo tuning | Margo Schulter suggested the name &quot;Cartesian&quot; in a 2002 <a class="wiki_link_ext" href="http://groups.yahoo.com/neo/groups/tuning/conversations/topics/39613" rel="nofollow">article</a> on the Yahoo tuning list. Also, under the name &quot;Euler-Fokker genus&quot;, Manuel Op de Coul gave <a class="wiki_link" href="/Scala">Scala</a> the capacity to construct Cartesian scales. Perhaps the first person to consider a Cartesian scale was Nicola Vicentino; his original conception for his <a class="wiki_link_ext" href="http://www.tonalsoft.com/monzo/vicentino/vicentino.aspx" rel="nofollow">second tuning of 1555</a> was for two 19 note 1/4 comma meantone scales (Meantone[19] in 1/4 comma tuning), separated by an interval of 1/4 of a syntonic comma, ie, (81/80)^(1/4); he only changed this to a 19+17 version because of physical limitations.<br /> | ||
<br /> | <br /> | ||
<br /> | <br /> | ||