Wedgie/Archived version - Revision history

Fredg999 category edits: Removing from Category:Math using Cat-a-lot

2026-07-27T14:51:48Z

Removing from Category:Math using Cat-a-lot

← Older revision		Revision as of 14:51, 27 July 2026
Line 154:		Line 154:
	* [[Intro to exterior algebra for RTT]]: for detailed background about and further explanations for how to work with multivectors and multicovectors such as wedgies		* [[Intro to exterior algebra for RTT]]: for detailed background about and further explanations for how to work with multivectors and multicovectors such as wedgies

	~~[[Category:Math]]~~
	[[Category:Exterior algebra]]		[[Category:Exterior algebra]]

	== Notes ==		== Notes ==
	<references />		<references />

Fredg999: Missed another todo to remove

2026-07-12T02:30:45Z

Missed another todo to remove

← Older revision		Revision as of 02:30, 12 July 2026
Line 156:		Line 156:
	[[Category:Math]]		[[Category:Math]]
	[[Category:Exterior algebra]]		[[Category:Exterior algebra]]
	~~{{todo\| improve readability }}~~

	== Notes ==		== Notes ==
	<references />		<references />

Fredg999: Remove todo (archived page)

2026-07-12T02:30:21Z

Remove todo (archived page)

← Older revision		Revision as of 02:30, 12 July 2026
Line 141:		Line 141:

	The pages are: Catalog of eleven-limit rank three temperaments, Catalog of eleven-limit rank two temperaments, Catalog of thirteen-limit rank two temperaments, Catalog of seven-limit rank two temperaments, and User:TallKite/Catalog of eleven-limit rank three temperaments with Color names		The pages are: Catalog of eleven-limit rank three temperaments, Catalog of eleven-limit rank two temperaments, Catalog of thirteen-limit rank two temperaments, Catalog of seven-limit rank two temperaments, and User:TallKite/Catalog of eleven-limit rank three temperaments with Color names
	~~{{Todo\|add definition\|update\|inline=1\|comment=Document this method via [~~https://yahootuninggroupsultimatebackup.github.io/tuning-math/topicId_17912.html ~~Temperament seaches using wedgies only].}}~~
			See also: https://yahootuninggroupsultimatebackup.github.io/tuning-math/topicId_17912.html

	== Converting to wedgies from reduced row echelon form ==		== Converting to wedgies from reduced row echelon form ==

VectorGraphics: VectorGraphics moved page Wedgie supplement to Wedgie/Archived version

2025-06-28T19:33:41Z

VectorGraphics moved page Wedgie supplement to Wedgie/Archived version

← Older revision	Revision as of 19:33, 28 June 2025
(No difference)

VectorGraphics at 04:18, 25 June 2025

2025-06-25T04:18:41Z

← Older revision		Revision as of 04:18, 25 June 2025
Line 143:		Line 143:
	{{Todo\|add definition\|update\|inline=1\|comment=Document this method via [https://yahootuninggroupsultimatebackup.github.io/tuning-math/topicId_17912.html Temperament seaches using wedgies only].}}		{{Todo\|add definition\|update\|inline=1\|comment=Document this method via [https://yahootuninggroupsultimatebackup.github.io/tuning-math/topicId_17912.html Temperament seaches using wedgies only].}}

			== Converting to wedgies from reduced row echelon form ==
			''Main article: [[Mathematical theory of regular temperaments]]''

			To translate to wedgies from RREF simply take the wedge product of the rows of the RREF and then reduce the resulting multivector to a wedgie. To translate from wedgies to RREF, for a wedgie of rank ''r'' in ''n'' dimensions (where {{nowrap\|''n'' {{=}} π(''p'')}} is the number of primes in the ''p''-limit) take a wedge product of basis vectors involving {{nowrap\|''r'' − 1}} basis elements (i.e., the wedge product of {{nowrap\|''r'' − 1}} elements representing primes) and wedge these with the basis element for each prime, obtaining either 0 or an ''r''-fold wedge product with sign ±1. Take the corresponding element of the wedgie times the ±1 sign (which is computed from the parity of the permutation of the ''r'' elements.) This gives a val; do this for every combination of {{nowrap\|''r'' − 1}} basis elements to obtain ''n'' choose {{nowrap\|''r'' − 1}} vals, and reduce the result to an RREF by the usual Gaussian reduction. If possible, this should be done using rational arithmetic, not floating point numbers.

			An alternative explanation of this process is provided here: [[Intro to exterior algebra for RTT#Converting varianced multivectors to matrices]]

	== See also ==		== See also ==

VectorGraphics at 20:19, 21 June 2025

2025-06-21T20:19:15Z

← Older revision		Revision as of 20:19, 21 June 2025
Line 8:		Line 8:
	An '''n-map''' is an alternating {{w\|multilinear map}} which is a multilinear function taking a certain number ''n'' of [[monzos]] as arguments and returning an integer as a value. This definition is quite a mouthful, and we will attempt to unpack it in more comprehensible language and explain why these things are valuable in tuning theory.		An '''n-map''' is an alternating {{w\|multilinear map}} which is a multilinear function taking a certain number ''n'' of [[monzos]] as arguments and returning an integer as a value. This definition is quite a mouthful, and we will attempt to unpack it in more comprehensible language and explain why these things are valuable in tuning theory.

	The simplest kind of ''n''-map is the 1-map, or [[val]]. This takes p-limit rational numbers, which may be written as monzos, and returns an integer, and may be called both a {{w\|group homomorphism}} and a [http://mathworld.wolfram.com/ModuleHomomorphism.html module homomorphism]. Vals are {{w\|Linear map\|linear}}: If you take the product of two ''p''-limit rationals (or equivalently, add the corresponding monzos) then the val applied to the product/sum is the sum of the val applied to each separately, and so forth. Next come the 2-maps. These are linear functions {{nowrap\|f(''u'', ''v'')}}, linear for ''u'' fixing ''v'', and linear for ''v'' fixing ''u'', and alternating. meaning that {{nowrap\|f(''u'', ''u'') {{=}} 0}} and {{nowrap\|f(''u'', ''v'') {{=}} −f(''v'', ''u'')}}.		The simplest kind of ''n''-map is the 1-map, which is a [[val]] taken as a vector. This takes p-limit rational numbers, which may be written as monzos, and returns an integer, and may be called both a {{w\|group homomorphism}} and a [http://mathworld.wolfram.com/ModuleHomomorphism.html module homomorphism]. Vals are {{w\|Linear map\|linear}}: If you take the product of two ''p''-limit rationals (or equivalently, add the corresponding monzos) then the val applied to the product/sum is the sum of the val applied to each separately, and so forth. Next come the 2-maps. These are linear functions {{nowrap\|f(''u'', ''v'')}}, linear for ''u'' fixing ''v'', and linear for ''v'' fixing ''u'', and alternating. meaning that {{nowrap\|f(''u'', ''u'') {{=}} 0}} and {{nowrap\|f(''u'', ''v'') {{=}} −f(''v'', ''u'')}}.

	One use for such things is as "machines" for measuring complexity. If we consider the 1-map which is the val for 11-limit 31et, we find we have <math>\tval{31 & 49 & 72 & 87 & 107}</math>. This tells us that it takes 72 steps of 31 equal to get to the approximate 5, which therefore has a complexity of 72 in this system. Now consider a 2-map {{nowrap\|"meantone(''u'', ''v'')"}} which tells us, roughly speaking, how many generator steps it takes to get to ''v'' assuming ''u'' is being used as a period in septimal meantone. Using 2 as a period we can take (the approximate) 3/2 as a generator, in which case we have {{nowrap\|meantone(2, 3) {{=}} 1}}, {{nowrap\|meantone(2, 5) {{=}} 4}}, {{nowrap\|meantone(2, 7) {{=}} 10}}. With 3 as a period and 3/2 as a generator, we get {{nowrap\|meantone(3, 5) {{=}} 4}} and {{nowrap\|meantone(3, 7) {{=}} 13}}. Finally, with if we take 5 as a period we find that four 3/2s give 5, so 5<sup>{{frac\|1\|4}}</sup> (or equivalently, {{frac\|3\|2}}) is the basic period. Using {{frac\|3\|2}} as a period and {{frac\|9\|8}} as a generator we get three generator steps to 7, and multiplying by four to be using 5 and not 5<sup>{{frac\|1\|4}}</sup> gives us {{nowrap\|meantone(5, 7) {{=}} 12}}. This description does not make clear where the signs come from, which will emerge from the discussion of the wedge product, but it may help to elucidate how these things are connected to complexity.		One use for such things is as "machines" for measuring complexity. If we consider the 1-map which is the val for 11-limit 31et, we find we have <math>\tval{31 & 49 & 72 & 87 & 107}</math>. This tells us that it takes 72 steps of 31 equal to get to the approximate 5, which therefore has a complexity of 72 in this system. Now consider a 2-map {{nowrap\|"meantone(''u'', ''v'')"}} which tells us, roughly speaking, how many generator steps it takes to get to ''v'' assuming ''u'' is being used as a period in septimal meantone. Using 2 as a period we can take (the approximate) 3/2 as a generator, in which case we have {{nowrap\|meantone(2, 3) {{=}} 1}}, {{nowrap\|meantone(2, 5) {{=}} 4}}, {{nowrap\|meantone(2, 7) {{=}} 10}}. With 3 as a period and 3/2 as a generator, we get {{nowrap\|meantone(3, 5) {{=}} 4}} and {{nowrap\|meantone(3, 7) {{=}} 13}}. Finally, with if we take 5 as a period we find that four 3/2s give 5, so 5<sup>{{frac\|1\|4}}</sup> (or equivalently, {{frac\|3\|2}}) is the basic period. Using {{frac\|3\|2}} as a period and {{frac\|9\|8}} as a generator we get three generator steps to 7, and multiplying by four to be using 5 and not 5<sup>{{frac\|1\|4}}</sup> gives us {{nowrap\|meantone(5, 7) {{=}} 12}}. This description does not make clear where the signs come from, which will emerge from the discussion of the wedge product, but it may help to elucidate how these things are connected to complexity.

VectorGraphics at 21:00, 12 June 2025

2025-06-12T21:00:07Z

← Older revision		Revision as of 21:00, 12 June 2025
Line 1:		Line 1:
	{{texmap}}		{{texmap}}
	{{inacc}}		{{inacc}}
	This page goes over supplementary information on "wedgies", such as Gene Smith's introduction, the "wedgie method", and other such things. The main page may be found at [[Plücker coordinates]].		'''This page goes over supplementary information on "wedgies", such as Gene Smith's introduction, the "wedgie method", and other such things. The main page may be found at [[Plücker coordinates]].'''

			== Gene Smith's introduction ==

VectorGraphics: VectorGraphics moved page Wedgies and multivals to Wedgie supplement

2025-06-12T20:59:32Z

VectorGraphics moved page Wedgies and multivals to Wedgie supplement

← Older revision	Revision as of 20:59, 12 June 2025
(No difference)

VectorGraphics at 20:59, 12 June 2025

2025-06-12T20:59:02Z

← Older revision		Revision as of 20:59, 12 June 2025
Line 1:		Line 1:
	{{texmap}}		{{texmap}}
	{{inacc}}		{{inacc}}
			This page goes over supplementary information on "wedgies", such as Gene Smith's introduction, the "wedgie method", and other such things. The main page may be found at [[Plücker coordinates]].


	An '''n-map''' is an alternating {{w\|multilinear map}} which is a multilinear function taking a certain number ''n'' of [[monzos]] as arguments and returning an integer as a value. This definition is quite a mouthful, and we will attempt to unpack it in more comprehensible language and explain why these things are valuable in tuning theory.		An '''n-map''' is an alternating {{w\|multilinear map}} which is a multilinear function taking a certain number ''n'' of [[monzos]] as arguments and returning an integer as a value. This definition is quite a mouthful, and we will attempt to unpack it in more comprehensible language and explain why these things are valuable in tuning theory.

VectorGraphics at 19:18, 12 June 2025

2025-06-12T19:18:24Z

← Older revision		Revision as of 19:18, 12 June 2025
Line 134:		Line 134:

	For now, one possible explanation of this method could be: iterate through all temperaments by complexity using wedgies, and filter out those which are non-temperaments and/or are of high badness.		For now, one possible explanation of this method could be: iterate through all temperaments by complexity using wedgies, and filter out those which are non-temperaments and/or are of high badness.

			The pages are: Catalog of eleven-limit rank three temperaments, Catalog of eleven-limit rank two temperaments, Catalog of thirteen-limit rank two temperaments, Catalog of seven-limit rank two temperaments, and User:TallKite/Catalog of eleven-limit rank three temperaments with Color names
	{{Todo\|add definition\|update\|inline=1\|comment=Document this method via [https://yahootuninggroupsultimatebackup.github.io/tuning-math/topicId_17912.html Temperament seaches using wedgies only].}}		{{Todo\|add definition\|update\|inline=1\|comment=Document this method via [https://yahootuninggroupsultimatebackup.github.io/tuning-math/topicId_17912.html Temperament seaches using wedgies only].}}

← Older revision		Revision as of 20:19, 21 June 2025
Line 8:		Line 8:
	An '''n-map''' is an alternating {{w\|multilinear map}} which is a multilinear function taking a certain number ''n'' of [[monzos]] as arguments and returning an integer as a value. This definition is quite a mouthful, and we will attempt to unpack it in more comprehensible language and explain why these things are valuable in tuning theory.		An '''n-map''' is an alternating {{w\|multilinear map}} which is a multilinear function taking a certain number ''n'' of [[monzos]] as arguments and returning an integer as a value. This definition is quite a mouthful, and we will attempt to unpack it in more comprehensible language and explain why these things are valuable in tuning theory.

	The simplest kind of ''n''-map is the 1-map, or [[val]]. This takes p-limit rational numbers, which may be written as monzos, and returns an integer, and may be called both a {{w\|group homomorphism}} and a [http://mathworld.wolfram.com/ModuleHomomorphism.html module homomorphism]. Vals are {{w\|Linear map\|linear}}: If you take the product of two ''p''-limit rationals (or equivalently, add the corresponding monzos) then the val applied to the product/sum is the sum of the val applied to each separately, and so forth. Next come the 2-maps. These are linear functions {{nowrap\|f(''u'', ''v'')}}, linear for ''u'' fixing ''v'', and linear for ''v'' fixing ''u'', and alternating. meaning that {{nowrap\|f(''u'', ''u'') {{=}} 0}} and {{nowrap\|f(''u'', ''v'') {{=}} −f(''v'', ''u'')}}.		The simplest kind of ''n''-map is the 1-map, which is a [[val]] taken as a vector. This takes p-limit rational numbers, which may be written as monzos, and returns an integer, and may be called both a {{w\|group homomorphism}} and a [http://mathworld.wolfram.com/ModuleHomomorphism.html module homomorphism]. Vals are {{w\|Linear map\|linear}}: If you take the product of two ''p''-limit rationals (or equivalently, add the corresponding monzos) then the val applied to the product/sum is the sum of the val applied to each separately, and so forth. Next come the 2-maps. These are linear functions {{nowrap\|f(''u'', ''v'')}}, linear for ''u'' fixing ''v'', and linear for ''v'' fixing ''u'', and alternating. meaning that {{nowrap\|f(''u'', ''u'') {{=}} 0}} and {{nowrap\|f(''u'', ''v'') {{=}} −f(''v'', ''u'')}}.

	One use for such things is as "machines" for measuring complexity. If we consider the 1-map which is the val for 11-limit 31et, we find we have <math>\tval{31 & 49 & 72 & 87 & 107}</math>. This tells us that it takes 72 steps of 31 equal to get to the approximate 5, which therefore has a complexity of 72 in this system. Now consider a 2-map {{nowrap\|"meantone(''u'', ''v'')"}} which tells us, roughly speaking, how many generator steps it takes to get to ''v'' assuming ''u'' is being used as a period in septimal meantone. Using 2 as a period we can take (the approximate) 3/2 as a generator, in which case we have {{nowrap\|meantone(2, 3) {{=}} 1}}, {{nowrap\|meantone(2, 5) {{=}} 4}}, {{nowrap\|meantone(2, 7) {{=}} 10}}. With 3 as a period and 3/2 as a generator, we get {{nowrap\|meantone(3, 5) {{=}} 4}} and {{nowrap\|meantone(3, 7) {{=}} 13}}. Finally, with if we take 5 as a period we find that four 3/2s give 5, so 5<sup>{{frac\|1\|4}}</sup> (or equivalently, {{frac\|3\|2}}) is the basic period. Using {{frac\|3\|2}} as a period and {{frac\|9\|8}} as a generator we get three generator steps to 7, and multiplying by four to be using 5 and not 5<sup>{{frac\|1\|4}}</sup> gives us {{nowrap\|meantone(5, 7) {{=}} 12}}. This description does not make clear where the signs come from, which will emerge from the discussion of the wedge product, but it may help to elucidate how these things are connected to complexity.		One use for such things is as "machines" for measuring complexity. If we consider the 1-map which is the val for 11-limit 31et, we find we have <math>\tval{31 & 49 & 72 & 87 & 107}</math>. This tells us that it takes 72 steps of 31 equal to get to the approximate 5, which therefore has a complexity of 72 in this system. Now consider a 2-map {{nowrap\|"meantone(''u'', ''v'')"}} which tells us, roughly speaking, how many generator steps it takes to get to ''v'' assuming ''u'' is being used as a period in septimal meantone. Using 2 as a period we can take (the approximate) 3/2 as a generator, in which case we have {{nowrap\|meantone(2, 3) {{=}} 1}}, {{nowrap\|meantone(2, 5) {{=}} 4}}, {{nowrap\|meantone(2, 7) {{=}} 10}}. With 3 as a period and 3/2 as a generator, we get {{nowrap\|meantone(3, 5) {{=}} 4}} and {{nowrap\|meantone(3, 7) {{=}} 13}}. Finally, with if we take 5 as a period we find that four 3/2s give 5, so 5<sup>{{frac\|1\|4}}</sup> (or equivalently, {{frac\|3\|2}}) is the basic period. Using {{frac\|3\|2}} as a period and {{frac\|9\|8}} as a generator we get three generator steps to 7, and multiplying by four to be using 5 and not 5<sup>{{frac\|1\|4}}</sup> gives us {{nowrap\|meantone(5, 7) {{=}} 12}}. This description does not make clear where the signs come from, which will emerge from the discussion of the wedge product, but it may help to elucidate how these things are connected to complexity.