Cartesian scale - Revision history

Fredg999 category edits: Moving from Category:Scale theory to Category:Scale using Cat-a-lot

2022-02-26T16:32:50Z

Moving from Category:Scale theory to Category:Scale using Cat-a-lot

← Older revision		Revision as of 16:32, 26 February 2022
Line 11:		Line 11:
	Margo Schulter suggested the name "Cartesian" in a 2002 [https://yahootuninggroupsultimatebackup.github.io/tuning/topicId_39613.html article] on the Yahoo tuning list. Also, under the name "Euler-Fokker genus", Manuel Op de Coul gave [[Scala\|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)<sup>1/4</sup>; he only changed this to a 19+17 version because of physical limitations.		Margo Schulter suggested the name "Cartesian" in a 2002 [https://yahootuninggroupsultimatebackup.github.io/tuning/topicId_39613.html article] on the Yahoo tuning list. Also, under the name "Euler-Fokker genus", Manuel Op de Coul gave [[Scala\|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)<sup>1/4</sup>; he only changed this to a 19+17 version because of physical limitations.

	[[Category:Scale ~~theory~~]]		[[Category:Scale]]

Fredg999 category edits: Moving from Category:Scales to Category:Scale theory using Cat-a-lot

2022-02-26T03:09:47Z

Moving from Category:Scales to Category:Scale theory using Cat-a-lot

← Older revision		Revision as of 03:09, 26 February 2022
Line 11:		Line 11:
	Margo Schulter suggested the name "Cartesian" in a 2002 [https://yahootuninggroupsultimatebackup.github.io/tuning/topicId_39613.html article] on the Yahoo tuning list. Also, under the name "Euler-Fokker genus", Manuel Op de Coul gave [[Scala\|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)<sup>1/4</sup>; he only changed this to a 19+17 version because of physical limitations.		Margo Schulter suggested the name "Cartesian" in a 2002 [https://yahootuninggroupsultimatebackup.github.io/tuning/topicId_39613.html article] on the Yahoo tuning list. Also, under the name "Euler-Fokker genus", Manuel Op de Coul gave [[Scala\|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)<sup>1/4</sup>; he only changed this to a 19+17 version because of physical limitations.

	[[Category:~~Scales~~]]		[[Category:Scale theory]]

Fredg999: Fredg999 moved page Cartesian scales to Cartesian scale: Singular title by convention

2021-08-06T16:28:09Z

Fredg999 moved page Cartesian scales to Cartesian scale: Singular title by convention

← Older revision	Revision as of 16:28, 6 August 2021
(No difference)

Fredg999: Recategorization, improved markup

2021-08-06T16:27:00Z

Recategorization, improved markup

← Older revision		Revision as of 16:27, 6 August 2021
Line 1:		Line 1:
	A ''Cartesian scale'' is a [[~~Periodic_scale\|monotone~~ periodic scale]] with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is		A '''Cartesian scale''' is a monotone [[periodic scale]] with an [[equave\|interval of equivalence]] ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and ''k'' generators G = [''g''<sub>1</sub>, ''g''<sub>2</sub> ... ''g''<sub>''k''</sub>] with ''k'' multiplicities M = [''m''<sub>1</sub>,''m''<sub>2</sub> ... ''m''<sub>''k''</sub>], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is

	<math>\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.</math>		<math>\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.</math>
Line 7:		Line 7:
	<math>\{{nℇ + i_1g_1 + \ldots + i_kg_k\| 0 \leq i_1 \leq m_1 \ldots 0 \leq i_k \leq m_k}\}.</math>		<math>\{{nℇ + i_1g_1 + \ldots + i_kg_k\| 0 \leq i_1 \leq m_1 \ldots 0 \leq i_k \leq m_k}\}.</math>

	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 = [''p''<sub>1</sub>, ''p''<sub>2</sub>... ''p''<sub>''k''</sub>] are the generators and M = [''m''<sub>1</sub>, ''m''<sub>2</sub> ... ''m''<sub>''k''</sub>] the multiplicities, then Genus(''p''<sub>1</sub><sup>''m''<sub>1</sub></sup> ''p''<sub>2</sub><sup>''m''<sub>2</sub></sup> ... ''p''<sub>''k''</sub><sup>''m''<sub>''k''</sub></sup>) = 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 [https://yahootuninggroupsultimatebackup.github.io/tuning/topicId_39613.html article] on the Yahoo tuning list. Also, under the name "Euler-Fokker genus", Manuel Op de Coul gave [[Scala\|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.		Margo Schulter suggested the name "Cartesian" in a 2002 [https://yahootuninggroupsultimatebackup.github.io/tuning/topicId_39613.html article] on the Yahoo tuning list. Also, under the name "Euler-Fokker genus", Manuel Op de Coul gave [[Scala\|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)<sup>1/4</sup>; he only changed this to a 19+17 version because of physical limitations.

			[[Category:Scales]]

CritDeathX: Added Yahoo archive link

2020-05-28T22:50:45Z

Added Yahoo archive link

← Older revision		Revision as of 22:50, 28 May 2020
Line 9:		Line 9:
	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 list. Also, under the name "Euler-Fokker genus", Manuel Op de Coul gave [[Scala\|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.		Margo Schulter suggested the name "Cartesian" in a 2002 [https://yahootuninggroupsultimatebackup.github.io/tuning/topicId_39613.html article] on the Yahoo tuning list. Also, under the name "Euler-Fokker genus", Manuel Op de Coul gave [[Scala\|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.

Wikispaces>FREEZE at 00:00, 17 July 2018

2018-07-17T00:00:00Z

@@ Line 1: / Line 1: @@
-<h2>IMPORTED REVISION FROM WIKISPACES</h2>
+A ''Cartesian scale'' is a [[Periodic_scale|monotone periodic scale]] with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is
-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.
+<math>\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.</math>
-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.
+Here the multiplicities are fixed positive integers, and n ranges over all integers, with the scale sorted by ascending size and with all duplicates removed. If intervals are written additively as cents, then Descartes(ℇ, g, m) is
-</pre></div>
+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|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.

Wikispaces>genewardsmith: Imported revision 479904396 - Original comment:

2013-12-30T16:09:21Z

**Imported revision 479904396 - Original comment: **

Wikispaces>genewardsmith: Imported revision 479904292 - Original comment:

2013-12-30T16:08:19Z

**Imported revision 479904292 - Original comment: **

Wikispaces>genewardsmith: Imported revision 479904012 - Original comment:

2013-12-30T16:05:34Z

**Imported revision 479904012 - Original comment: **

← Older revision		Revision as of 16:05, 30 December 2013
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:~~mbattaglia1~~\|~~mbattaglia1~~]] and made on <tt>2013-12-~~28 11~~:35:21 UTC</tt>.<br>		: This revision was by author [[User:genewardsmith\|genewardsmith]] and made on <tt>2013-12-30 16:05:34 UTC</tt>.<br>
	: The original revision id was <tt>~~479670270~~</tt>.<br>		: The original revision id was <tt>479904012</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>
	<h4>Original Wikitext content:</h4>		<h4>Original Wikitext 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;white-space: pre-wrap ! important" class="old-revision-html">A //Cartesian scale// is a [[periodic scale]] with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is {ℇ^n g1^~~i1 ... gk~~^ik\| 0 ~~≤ i1 ≤ m1 ...~~ 0 ~~≤ ik ≤ mk~~}. Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is {nℇ + ~~i1g1~~ + ~~...~~ + ~~ikgk~~\| 0 ~~≤ i1 ≤ m1 ...~~ 0 ~~≤ ik ≤ mk~~}.		<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">A //Cartesian scale// is a [[periodic scale]] with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is
			[[math]]
			\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.
			[[math]]
			Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is
			[[math]]
			\{{nℇ + i_1g_1 + \ldots + i_kg_k\| 0 \leq i_1 \leq m_1 \ldots 0 \leq i_k \leq m_k}\}.
			[[math]]

	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.
Line 14:		Line 21:


			</pre></div>

	~~[[math]]~~
	~~{\Sigma^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}~~
	~~[[math]]~~</pre></div>
	<h4>Original HTML content:</h4>		<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"><html><head><title>Cartesian scales</title></head><body>A <em>Cartesian scale</em> is a <a class="wiki_link" href="/periodic%20scale">periodic scale</a> with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is {ℇ^n g1^i1 .~~.. gk~~^ik\| 0 ~~≤ i1 ≤ m1 ...~~ 0 ~~≤ ik ≤ mk~~}. Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is {nℇ + ~~i1g1~~ + ... + ~~ikgk~~\| 0 ~~≤ i1 ≤ m1 ...~~ 0 ~~≤ ik ≤ mk~~}.<br />		<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"><html><head><title>Cartesian scales</title></head><body>A <em>Cartesian scale</em> is a <a class="wiki_link" href="/periodic%20scale">periodic scale</a> with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is<br />
			<!-- ws:start:WikiTextMathRule:0:
			[[math]]&lt;br/&gt;
			\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.&lt;br/&gt;[[math]]
			--><script type="math/tex">\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.</script><!-- ws:end:WikiTextMathRule:0 --><br />
			Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is <br />
			<!-- ws:start:WikiTextMathRule:1:
			[[math]]&lt;br/&gt;
			\{{nℇ + i_1g_1 + \ldots + i_kg_k\| 0 \leq i_1 \leq m_1 \ldots 0 \leq i_k \leq m_k}\}.&lt;br/&gt;[[math]]
			--><script type="math/tex">\{{nℇ + i_1g_1 + \ldots + i_kg_k\| 0 \leq i_1 \leq m_1 \ldots 0 \leq i_k \leq m_k}\}.</script><!-- ws:end:WikiTextMathRule:1 --><br />
	<br />		<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 />		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 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 />~~		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.</body></html></pre></div>
	~~<br />~~
	~~<br />~~
	~~<br />~~
	~~<br />~~
	~~<br />~~
	~~<!-- ws:start:WikiTextMathRule:0:~~
	~~[[math]]&lt;br/&gt;~~
	~~{\Sigma^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}&lt;br/&gt;[[math]]~~
	--><script type="math/tex">{\Sigma^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}</script><!-- ws:end:WikiTextMathRule:0 --></body></html></pre></div>

Wikispaces>mbattaglia1: Imported revision 479670270 - Original comment:

2013-12-28T11:35:21Z

**Imported revision 479670270 - Original comment: **

← Older revision		Revision as of 11:35, 28 December 2013
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~~:14:14 UTC</tt>.<br>		: This revision was by author [[User:mbattaglia1\|mbattaglia1]] and made on <tt>2013-12-28 11:35:21 UTC</tt>.<br>
	: The original revision id was <tt>~~479457836~~</tt>.<br>		: The original revision id was <tt>479670270</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>
	<h4>Original Wikitext content:</h4>		<h4>Original Wikitext 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;white-space: pre-wrap ! important" class="old-revision-html">A //Cartesian scale// is a [[periodic scale]] with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is {ℇ^n g1^i1 ... gk^ik\| 0 ≤ i1 ≤ m1 ... 0 ≤ ik ≤ mk}. Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is {nℇ + i1g1 + ... + ikgk\| 0 ≤ i1 ≤ m1 ... 0 ≤ ik ≤ mk}.		<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">A //Cartesian scale// is a [[periodic scale]] with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is {ℇ^n g1^i1 ... gk^ik\| 0 ≤ i1 ≤ m1 ... 0 ≤ ik ≤ mk}. Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is {nℇ + i1g1 + ... + ikgk\| 0 ≤ i1 ≤ m1 ... 0 ≤ ik ≤ mk}.

	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 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.		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 17:		Line 17:

	[[math]]		[[math]]
	{\Sigma^n g_1^i_1 g_2^i_2 \ldots g_k^i_k\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}		{\Sigma^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}
	[[math]]</pre></div>		[[math]]</pre></div>
	<h4>Original HTML content:</h4>		<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"><html><head><title>Cartesian scales</title></head><body>A <em>Cartesian scale</em> is a <a class="wiki_link" href="/periodic%20scale">periodic scale</a> with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is {ℇ^n g1^i1 ... gk^ik\| 0 ≤ i1 ≤ m1 ... 0 ≤ ik ≤ mk}. Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is {nℇ + i1g1 + ... + ikgk\| 0 ≤ i1 ≤ m1 ... 0 ≤ ik ≤ mk}. <br />		<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"><html><head><title>Cartesian scales</title></head><body>A <em>Cartesian scale</em> is a <a class="wiki_link" href="/periodic%20scale">periodic scale</a> with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is {ℇ^n g1^i1 ... gk^ik\| 0 ≤ i1 ≤ m1 ... 0 ≤ ik ≤ mk}. Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is {nℇ + i1g1 + ... + ikgk\| 0 ≤ i1 ≤ m1 ... 0 ≤ ik ≤ mk}.<br />
	<br />		<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 />		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 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 />		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 />
Line 32:		Line 32:
	<!-- ws:start:WikiTextMathRule:0:		<!-- ws:start:WikiTextMathRule:0:
	[[math]]&lt;br/&gt;		[[math]]&lt;br/&gt;
	{\Sigma^n g_1^i_1 g_2^i_2 \ldots g_k^i_k\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}&lt;br/&gt;[[math]]		{\Sigma^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}&lt;br/&gt;[[math]]
	--><script type="math/tex">{\Sigma^n g_1^i_1 g_2^i_2 \ldots g_k^i_k\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}</script><!-- ws:end:WikiTextMathRule:0 --></body></html></pre></div>		--><script type="math/tex">{\Sigma^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}</script><!-- ws:end:WikiTextMathRule:0 --></body></html></pre></div>

← Older revision		Revision as of 16:09, 30 December 2013
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-30 16:08:19 UTC</tt>.<br>		: This revision was by author [[User:genewardsmith\|genewardsmith]] and made on <tt>2013-12-30 16:09:21 UTC</tt>.<br>
	: The original revision id was <tt>~~479904292~~</tt>.<br>		: The original revision id was <tt>479904396</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:
	\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.		\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.
	[[math]]		[[math]]
	Here the multiplicities are fixed positive integers, and n ranges over all integers, with the scale sorted in ascending size with al duplicates removed. If intervals are written additively as cents, then Descartes(ℇ, g, m) is		Here the multiplicities are fixed positive integers, and n ranges over all integers, with the scale sorted by ascending size and with all duplicates removed. If intervals are written additively as cents, then Descartes(ℇ, g, m) is
	[[math]]		[[math]]
	\{{nℇ + i_1g_1 + \ldots + i_kg_k\| 0 \leq i_1 \leq m_1 \ldots 0 \leq i_k \leq m_k}\}.		\{{nℇ + i_1g_1 + \ldots + i_kg_k\| 0 \leq i_1 \leq m_1 \ldots 0 \leq i_k \leq m_k}\}.
Line 28:		Line 28:
	\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.&lt;br/&gt;[[math]]		\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.&lt;br/&gt;[[math]]
	--><script type="math/tex">\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.</script><!-- ws:end:WikiTextMathRule:0 --><br />		--><script type="math/tex">\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.</script><!-- ws:end:WikiTextMathRule:0 --><br />
	Here the multiplicities are fixed positive integers, and n ranges over all integers, with the scale sorted in ascending size with al duplicates removed. If intervals are written additively as cents, then Descartes(ℇ, g, m) is <br />		Here the multiplicities are fixed positive integers, and n ranges over all integers, with the scale sorted by ascending size and with all duplicates removed. If intervals are written additively as cents, then Descartes(ℇ, g, m) is <br />
	<!-- ws:start:WikiTextMathRule:1:		<!-- ws:start:WikiTextMathRule:1:
	[[math]]&lt;br/&gt;		[[math]]&lt;br/&gt;

← Older revision		Revision as of 16:08, 30 December 2013
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-30 16:05:34 UTC</tt>.<br>		: This revision was by author [[User:genewardsmith\|genewardsmith]] and made on <tt>2013-12-30 16:08:19 UTC</tt>.<br>
	: The original revision id was <tt>~~479904012~~</tt>.<br>		: The original revision id was <tt>479904292</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>
	<h4>Original Wikitext content:</h4>		<h4>Original Wikitext 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;white-space: pre-wrap ! important" class="old-revision-html">A //Cartesian scale// is a [[periodic scale]] with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is		<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">A //Cartesian scale// is a [[periodic scale\|monotone periodic scale]] with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is
	[[math]]		[[math]]
	\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.		\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.
	[[math]]		[[math]]
	Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is		Here the multiplicities are fixed positive integers, and n ranges over all integers, with the scale sorted in ascending size with al duplicates removed. If intervals are written additively as cents, then Descartes(ℇ, g, m) is
	[[math]]		[[math]]
	\{{nℇ + i_1g_1 + \ldots + i_kg_k\| 0 \leq i_1 \leq m_1 \ldots 0 \leq i_k \leq m_k}\}.		\{{nℇ + i_1g_1 + \ldots + i_kg_k\| 0 \leq i_1 \leq m_1 \ldots 0 \leq i_k \leq m_k}\}.
Line 23:		Line 23:
	</pre></div>		</pre></div>
	<h4>Original HTML content:</h4>		<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"><html><head><title>Cartesian scales</title></head><body>A <em>Cartesian scale</em> is a <a class="wiki_link" href="/periodic%20scale">periodic scale</a> with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is<br />		<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"><html><head><title>Cartesian scales</title></head><body>A <em>Cartesian scale</em> is a <a class="wiki_link" href="/periodic%20scale">monotone periodic scale</a> with an interval of equivalence ℇ (normally 2 or 1200.0 cents or an approximation to the just octave) and k generators G = [g1, g2 ... gk] with k multiplicities M = [m1,m2 ... mk], leading to a scale Descartes(ℇ, G, M) which if ℇ and g are given multplicatively is<br />
	<!-- ws:start:WikiTextMathRule:0:		<!-- ws:start:WikiTextMathRule:0:
	[[math]]&lt;br/&gt;		[[math]]&lt;br/&gt;
	\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.&lt;br/&gt;[[math]]		\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.&lt;br/&gt;[[math]]
	--><script type="math/tex">\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.</script><!-- ws:end:WikiTextMathRule:0 --><br />		--><script type="math/tex">\{{ℇ^n {g_1}^{i_1} {g_2}^{i_2} \ldots {g_k}^{i_k}\| 0 \leq i_1 \leq m_1, 0 \leq i_2 \leq m_2, \ldots, 0 \leq i_k \leq m_k}\}.</script><!-- ws:end:WikiTextMathRule:0 --><br />
	Here the multiplicities are fixed positive integers, and n ranges over all integers. If intervals are written additively as cents, then Descartes(ℇ, g, m) is <br />		Here the multiplicities are fixed positive integers, and n ranges over all integers, with the scale sorted in ascending size with al duplicates removed. If intervals are written additively as cents, then Descartes(ℇ, g, m) is <br />
	<!-- ws:start:WikiTextMathRule:1:		<!-- ws:start:WikiTextMathRule:1:
	[[math]]&lt;br/&gt;		[[math]]&lt;br/&gt;