Recoverability - Revision history

FloraC: Undo revision 203572 by VectorGraphics (talk). This article is about a property of a wedgie

2025-06-25T14:34:44Z

Undo revision 203572 by VectorGraphics (talk). This article is about a property of a wedgie

← Older revision		Revision as of 14:34, 25 June 2025
Line 1:		Line 1:
	{{inacc}}		{{inacc}}
	~~{{Todo\|rewrite\|inline=1\|text=Remove all references to wedgies, as per [[User:VectorGraphics/Operation_Loosen_Underpants]]}}~~{{todo\|intro\|research\|inline=1\|comment=Find out its relation to [[the wedgie method]].}}		{{todo\|intro\|research\|inline=1\|comment=Find out its relation to [[the wedgie method]].}}
	__FORCETOC__		__FORCETOC__
	== Definition ==		== Definition ==

VectorGraphics at 04:31, 25 June 2025

2025-06-25T04:31:07Z

← Older revision		Revision as of 04:31, 25 June 2025
Line 1:		Line 1:
	{{inacc}}		{{inacc}}
	{{todo\|intro\|research\|inline=1\|comment=Find out its relation to [[the wedgie method]].}}		{{Todo\|rewrite\|inline=1\|text=Remove all references to wedgies, as per [[User:VectorGraphics/Operation_Loosen_Underpants]]}}{{todo\|intro\|research\|inline=1\|comment=Find out its relation to [[the wedgie method]].}}
	__FORCETOC__		__FORCETOC__
	== Definition ==		== Definition ==

FloraC: Cleanup

2025-04-23T10:48:19Z

Cleanup

← Older revision		Revision as of 10:48, 23 April 2025
Line 3:		Line 3:
	__FORCETOC__		__FORCETOC__
	== Definition ==		== Definition ==
	Suppose W is a p-limit rank r wedgie, and so of dimension n = π(p). Let R be the p-limit rank r multivector (~~W∨2~~)∧J, where J = ~~<~~1 ~~log₂~~(3) ~~log₂~~(5) ... ~~log₂~~(p)\|. Then if rounding the coefficients of R to the nearest integer gives W, W is ''recoverable''.		Suppose ''W'' is a [[harmonic limit\|''p''-limit]] rank-''r'' [[wedgie]], and so of dimension {{nowrap\| ''n'' {{=}} π(''p'') }}. Let ''R'' be the ''p''-limit rank-''r'' multivector (''W''∨2)∧''J'', where {{nowrap\| ''J'' {{=}} {{val\| 1 log<sub>2</sub>(3) log<sub>2</sub>(5) ... log<sub>2</sub>(''p'') }} }}. Then if rounding the coefficients of ''R'' to the nearest integer gives ''W'', ''W'' is '''recoverable'''.

	== Segments ==		== Segments ==
	~~W∨2~~ consists of two segments. The first segment consists of coefficients for basis elements (which are (r-1)-fold wedge products of primes) containing 2 in the product. Since we are examining ~~W∨2~~, these coefficients are all identically 0. The second segment consists of the initial segment of W itself, being all coefficients for basis elements in W containing 2. Then R = (~~W∨2~~)∧J also consists of two segments, where the first segment consists of coefficients for basis elements with 2 in the product. Because of the zeros in the initial segment of ~~W∨2~~, these coefficients are identical to the initial segment of W, meaning the coefficients of those basis elements with 2 in the product. Also, ~~W∧J~~ contains three segments, the first consisting of basis elements with 2 in the product, the second consisting of basis elements which are products of odd primes where ~~log₂~~(1) was involved in the calculation of the coefficients, and the third also with odd primes, where only logs of odd primes appear in the computation. Finally Ƹ = W - R also has two segments, where the first segment consists of zeros, and the second segment corresponds to the second segment of ~~W∧J~~ where the second segment of Ƹ has coefficients identical, up to sign, to the second segment coefficients of ~~W∧J~~.		''W''∨2 consists of two segments. The first segment consists of coefficients for basis elements (which are {{nowrap\|(''r'' - 1)}}-fold wedge products of primes) containing 2 in the product. Since we are examining ''W''∨2, these coefficients are all identically 0. The second segment consists of the initial segment of ''W'' itself, being all coefficients for basis elements in ''W'' containing 2. Then {{nowrap\| ''R'' {{=}} (''W''∨2)∧''J'' }} also consists of two segments, where the first segment consists of coefficients for basis elements with 2 in the product. Because of the zeros in the initial segment of ''W''∨2, these coefficients are identical to the initial segment of ''W'', meaning the coefficients of those basis elements with 2 in the product. Also, ''W''∧''J'' contains three segments, the first consisting of basis elements with 2 in the product, the second consisting of basis elements which are products of odd primes where log<sub>2</sub>(1) was involved in the calculation of the coefficients, and the third also with odd primes, where only logs of odd primes appear in the computation. Finally {{nowrap\| ''Ƹ'' {{=}} ''W'' - ''R'' }} also has two segments, where the first segment consists of zeros, and the second segment corresponds to the second segment of ''W''∧''J'' where the second segment of ''Ƹ'' has coefficients identical, up to sign, to the second segment coefficients of ''W''∧''J''.

	== The recoverability norm ==		== The recoverability norm ==
	Assuming as we do throughout this article that multivals are expressed in unweighted coordinates, we may define a norm on them by the L∞ norm, so that ]M[ equals the maximum of the absolute values of the coefficients of the multivector M in unweighted coordinates. Then W is recoverable precisely when ]Ƹ[ ~~<~~ 1/2. Since the coefficients of Ƹ are either 0 or identical up to sign to some of the coefficients of ~~W∧J~~, it follows that ]Ƹ[ ≤ ]~~W∧J~~[ . But ]~~W∧J~~[ is a measure of relative error, hence W is recoverable if relative error is less than 1/2, (or 600 cents if we ~~renormalize~~ by multiplying by 1200). When the rank r is greater than one, this is a very loose restriction on temperaments, and it can be argued it includes all temperaments of any interest, the only debatable cases being very marginal temperaments of high error. Examples of relative error are, in the 5-limit, father (tempering out 16/15) at 111.731 cents, and bug (tempering out 27/25) at 133.238 cents, but even tempering out 4/3 (498.0450 cents) is recoverable. In the rank 2 7-limit, even ternary (~~<<~~0 0 3 0 5 7\|\|) at 617.884 cents is nonetheless recoverable, and brutus (~~<<~~1 2 4 1 4 4\|\|) at 561.006 cents of course presents no problem. The rank 3 case, like the rank 2 case in the 5-limit, involves a single comma where the relative error is the size in cents of the comma; again, not a serious restriction.		Assuming as we do throughout this article that multivals are expressed in unweighted coordinates, we may define a norm on them by the ''L''<sup>∞</sup> norm, so that ]''M''[ equals the maximum of the absolute values of the coefficients of the multivector ''M'' in unweighted coordinates. Then ''W'' is recoverable precisely when ]''Ƹ''[ < 1/2. Since the coefficients of ''Ƹ'' are either 0 or identical up to sign to some of the coefficients of ''W''∧''J'', it follows that ]''Ƹ''[ ≤ ]''W''∧''J''[ . But ]''W''∧''J''[ is a measure of relative error, hence ''W'' is recoverable if relative error is less than 1/2, (or 600 cents if we re-normalize by multiplying by 1200). When the rank ''r'' is greater than one, this is a very loose restriction on temperaments, and it can be argued it includes all temperaments of any interest, the only debatable cases being very marginal temperaments of high error. Examples of relative error are, in the 5-limit, [[father]] (tempering out [[16/15]]) at 111.731 cents, and [[bug]] (tempering out [[27/25]]) at 133.238 cents, but even tempering out [[4/3]] (498.0450 cents) is recoverable. In the rank-2 7-limit, even [[ternary (temperament)\|ternary]] ({{multival\| 0 0 3 0 5 7 }}) at 617.884 cents is nonetheless recoverable, and [[brutus]] ({{multival\| 1 2 4 1 4 4 }}) at 561.006 cents of course presents no problem. The rank-3 case, like the rank-2 case in the 5-limit, involves a single comma where the relative error is the size in cents of the comma; again, not a serious restriction.

	== The rank ~~one~~ case ==		== The rank-1 case ==
	In the case of rank ~~one~~, if W is an N-edo val, ie whose first coefficient is N. then ~~W∨2~~ = N and (~~W∨2~~)∧J = NJ, so that rounding it gives the patent val for N. Hence, W is recoverable if and only if it is a patent val. However, ]~~W∧J~~[ ~~<~~ 600 cents is now a stringent condition for p~~>~~5, especially in higher prime limits. In the 5-limit we have 4, 5, 7, 8, 12, 15, 19, 22, 23, 26, 27, 31, 34 ~~...~~ . The 7-limit grows somewhat restrictive: 19, 27, 31, 41, 49, 60, 68, 72, 80, 91, 99~~...~~ . In the 11-limit we have 49, 72, 103, 239, 270, 342, 391, 414, 445, 494, 552, 612~~...~~ . The 13-limit is already quite restrictive: 552, 954, 1133, 1236, 1506~~...~~, and the 17-limit starts off 4452, 5527, 7033, 7315, 9896~~...~~ .		In the case of rank 1, if ''W'' is an ''N''-edo val, i.e. whose first coefficient is ''N''. then {{nowrap\| ''W''∨2 {{=}} ''N'' }} and {{nowrap\| (''W''∨2)∧''J'' = ''NJ'' }}, so that rounding it gives the [[patent val]] for ''N''. Hence, ''W'' is recoverable if and only if it is a patent val. However, {{nowrap\| ]''W''∧''J''[ < 600 cents }} is now a stringent condition for ''p'' > 5, especially in higher prime limits. In the 5-limit we have 4, 5, 7, 8, 12, 15, 19, 22, 23, 26, 27, 31, 34, …. The 7-limit grows somewhat restrictive: 19, 27, 31, 41, 49, 60, 68, 72, 80, 91, 99, …. In the 11-limit we have 49, 72, 103, 239, 270, 342, 391, 414, 445, 494, 552, 612, …. The 13-limit is already quite restrictive: 552, 954, 1133, 1236, 1506, …, and the 17-limit starts off 4452, 5527, 7033, 7315, 9896, ….

	If W is the patent val for N-edo and ]~~W∧J~~[ ~~>~~ 600 cents, it can happen that the minimum value for recoverability relative error/simple badness, defined as ]~~V∧J~~[ for any N-edo val V, does not occur for V = W. Examples are 13-limit 12f, where ]~~12f∧J~~[ = 1217.949 is much smaller than ]~~12∧J~~[ = 3844.172, 5-limit 17c, ]17c∧J[ = 847.730 compared to ]17∧J[ = 1054.225, and 11-limit 27e, where ]27e∧J[ = 1169.472 is less than ]27∧J[ = 2405.855. Of course two possibilities can be close enough that both are plausible, as with 7-limit 34d at 1169.472 cents versus 34 at 1437.444 cents.		If ''W'' is the patent val for ''N''-edo and {{nowrap\| ]''W''∧''J''[ > 600 cents }}, it can happen that the minimum value for recoverability relative error/simple badness, defined as ]''V''∧''J''[ for any ''N''-edo val ''V'', does not occur for {{nowrap\| ''V'' {{=}} ''W'' }}. Examples are 13-limit 12f, where {{nowrap\| ]12f∧''J''[ {{=}} 1217.949 }} is much smaller than {{nowrap\| ]12∧''J''[ {{=}} 3844.172 }}, 5-limit 17c, {{nowrap\| ]17c∧J[ {{=}} 847.730 }} compared to {{nowrap\| ]17∧J[ {{=}} 1054.225 }}, and 11-limit 27e, where {{nowrap\| ]27e∧J[ {{=}} 1169.472 }} is less than {{nowrap\| ]27∧J[ {{=}} 2405.855 }}. Of course two possibilities can be close enough that both are plausible, as with 7-limit 34d at 1169.472 cents versus 34 at 1437.444 cents.

	== Complete searches for temperaments ==		== Complete searches for temperaments ==
	A complete search for regular temperaments is a search which is guaranteed to find all temperaments meeting certain specified conditions. Recoverability conditions provide one approach to these. The first segment of ~~W∨2~~ consists of C(n-1, r-1) zeros, and the second segment of C(n-1, r) integers identical to the initial, 2 containing, segment of W. By beginning with such a multivector of integer coefficients, wedging with J, and rounding, we obtain a multivector which is a candidate for a p-limit rank r wedgie, defining a regular temperament. It will not in general be a wedgie, but all recoverable wedgies can be obtained in this way. Hence all that remains to do, as discussed in [[~~The_wedgie\|The wedgie~~]], is to test if the multivector in question is actually a wedgie, and also if it passes any further conditions on complexity, error, or badness we wish to place on our list of wedgies.		A complete search for regular temperaments is a search which is guaranteed to find all temperaments meeting certain specified conditions. Recoverability conditions provide one approach to these. The first segment of ''W''∨2 consists of {{nowrap\| C(''n'' - 1, ''r'' - 1) }} zeros, and the second segment of {{nowrap\| C(''n'' - 1, ''r'') }} integers identical to the initial, 2 containing, segment of ''W''. By beginning with such a multivector of integer coefficients, wedging with ''J'', and rounding, we obtain a multivector which is a candidate for a ''p''-limit rank-''r'' wedgie, defining a regular temperament. It will not in general be a wedgie, but all recoverable wedgies can be obtained in this way. Hence all that remains to do, as discussed in [[Wedgies and multivals]], is to test if the multivector in question is actually a wedgie, and also if it passes any further conditions on complexity, error, or badness we wish to place on our list of wedgies.

	[[Category:Math]]		[[Category:Math]]
	[[Category:Exterior algebra]]		[[Category:Exterior algebra]]
	{{Todo\|add examples\|add links}}		{{Todo\|add examples\|add links}}

FloraC: Link to where I suppose it might be related

2025-04-23T10:35:02Z

Link to where I suppose it might be related

← Older revision		Revision as of 10:35, 23 April 2025
Line 1:		Line 1:
	{{inacc}}		{{inacc}}
	{{todo\|intro\|inline=1}}		{{todo\|intro\|research\|inline=1\|comment=Find out its relation to [[the wedgie method]].}}
	__FORCETOC__		__FORCETOC__
	=Definition=		== Definition ==
	Suppose W is a p-limit rank r wedgie, and so of dimension n = π(p). Let R be the p-limit rank r multivector (W∨2)∧J, where J = <1 log₂(3) log₂(5) ... log₂(p)\|. Then if rounding the coefficients of R to the nearest integer gives W, W is ''recoverable''.		Suppose W is a p-limit rank r wedgie, and so of dimension n = π(p). Let R be the p-limit rank r multivector (W∨2)∧J, where J = <1 log₂(3) log₂(5) ... log₂(p)\|. Then if rounding the coefficients of R to the nearest integer gives W, W is ''recoverable''.

	=Segments=		== Segments ==
	W∨2 consists of two segments. The first segment consists of coefficients for basis elements (which are (r-1)-fold wedge products of primes) containing 2 in the product. Since we are examining W∨2, these coefficients are all identically 0. The second segment consists of the initial segment of W itself, being all coefficients for basis elements in W containing 2. Then R = (W∨2)∧J also consists of two segments, where the first segment consists of coefficients for basis elements with 2 in the product. Because of the zeros in the initial segment of W∨2, these coefficients are identical to the initial segment of W, meaning the coefficients of those basis elements with 2 in the product. Also, W∧J contains three segments, the first consisting of basis elements with 2 in the product, the second consisting of basis elements which are products of odd primes where log₂(1) was involved in the calculation of the coefficients, and the third also with odd primes, where only logs of odd primes appear in the computation. Finally Ƹ = W - R also has two segments, where the first segment consists of zeros, and the second segment corresponds to the second segment of W∧J where the second segment of Ƹ has coefficients identical, up to sign, to the second segment coefficients of W∧J.		W∨2 consists of two segments. The first segment consists of coefficients for basis elements (which are (r-1)-fold wedge products of primes) containing 2 in the product. Since we are examining W∨2, these coefficients are all identically 0. The second segment consists of the initial segment of W itself, being all coefficients for basis elements in W containing 2. Then R = (W∨2)∧J also consists of two segments, where the first segment consists of coefficients for basis elements with 2 in the product. Because of the zeros in the initial segment of W∨2, these coefficients are identical to the initial segment of W, meaning the coefficients of those basis elements with 2 in the product. Also, W∧J contains three segments, the first consisting of basis elements with 2 in the product, the second consisting of basis elements which are products of odd primes where log₂(1) was involved in the calculation of the coefficients, and the third also with odd primes, where only logs of odd primes appear in the computation. Finally Ƹ = W - R also has two segments, where the first segment consists of zeros, and the second segment corresponds to the second segment of W∧J where the second segment of Ƹ has coefficients identical, up to sign, to the second segment coefficients of W∧J.

	=The recoverability norm=		== The recoverability norm ==
	Assuming as we do throughout this article that multivals are expressed in unweighted coordinates, we may define a norm on them by the L∞ norm, so that ]M[ equals the maximum of the absolute values of the coefficients of the multivector M in unweighted coordinates. Then W is recoverable precisely when ]Ƹ[ < 1/2. Since the coefficients of Ƹ are either 0 or identical up to sign to some of the coefficients of W∧J, it follows that ]Ƹ[ ≤ ]W∧J[ . But ]W∧J[ is a measure of relative error, hence W is recoverable if relative error is less than 1/2, (or 600 cents if we renormalize by multiplying by 1200). When the rank r is greater than one, this is a very loose restriction on temperaments, and it can be argued it includes all temperaments of any interest, the only debatable cases being very marginal temperaments of high error. Examples of relative error are, in the 5-limit, father (tempering out 16/15) at 111.731 cents, and bug (tempering out 27/25) at 133.238 cents, but even tempering out 4/3 (498.0450 cents) is recoverable. In the rank 2 7-limit, even ternary (<<0 0 3 0 5 7\|\|) at 617.884 cents is nonetheless recoverable, and brutus (<<1 2 4 1 4 4\|\|) at 561.006 cents of course presents no problem. The rank 3 case, like the rank 2 case in the 5-limit, involves a single comma where the relative error is the size in cents of the comma; again, not a serious restriction.		Assuming as we do throughout this article that multivals are expressed in unweighted coordinates, we may define a norm on them by the L∞ norm, so that ]M[ equals the maximum of the absolute values of the coefficients of the multivector M in unweighted coordinates. Then W is recoverable precisely when ]Ƹ[ < 1/2. Since the coefficients of Ƹ are either 0 or identical up to sign to some of the coefficients of W∧J, it follows that ]Ƹ[ ≤ ]W∧J[ . But ]W∧J[ is a measure of relative error, hence W is recoverable if relative error is less than 1/2, (or 600 cents if we renormalize by multiplying by 1200). When the rank r is greater than one, this is a very loose restriction on temperaments, and it can be argued it includes all temperaments of any interest, the only debatable cases being very marginal temperaments of high error. Examples of relative error are, in the 5-limit, father (tempering out 16/15) at 111.731 cents, and bug (tempering out 27/25) at 133.238 cents, but even tempering out 4/3 (498.0450 cents) is recoverable. In the rank 2 7-limit, even ternary (<<0 0 3 0 5 7\|\|) at 617.884 cents is nonetheless recoverable, and brutus (<<1 2 4 1 4 4\|\|) at 561.006 cents of course presents no problem. The rank 3 case, like the rank 2 case in the 5-limit, involves a single comma where the relative error is the size in cents of the comma; again, not a serious restriction.

	=The rank one case=		== The rank one case ==
	In the case of rank one, if W is an N-edo val, ie whose first coefficient is N. then W∨2 = N and (W∨2)∧J = NJ, so that rounding it gives the patent val for N. Hence, W is recoverable if and only if it is a patent val. However, ]W∧J[ < 600 cents is now a stringent condition for p>5, especially in higher prime limits. In the 5-limit we have 4, 5, 7, 8, 12, 15, 19, 22, 23, 26, 27, 31, 34 ... . The 7-limit grows somewhat restrictive: 19, 27, 31, 41, 49, 60, 68, 72, 80, 91, 99... . In the 11-limit we have 49, 72, 103, 239, 270, 342, 391, 414, 445, 494, 552, 612... . The 13-limit is already quite restrictive: 552, 954, 1133, 1236, 1506..., and the 17-limit starts off 4452, 5527, 7033, 7315, 9896... .		In the case of rank one, if W is an N-edo val, ie whose first coefficient is N. then W∨2 = N and (W∨2)∧J = NJ, so that rounding it gives the patent val for N. Hence, W is recoverable if and only if it is a patent val. However, ]W∧J[ < 600 cents is now a stringent condition for p>5, especially in higher prime limits. In the 5-limit we have 4, 5, 7, 8, 12, 15, 19, 22, 23, 26, 27, 31, 34 ... . The 7-limit grows somewhat restrictive: 19, 27, 31, 41, 49, 60, 68, 72, 80, 91, 99... . In the 11-limit we have 49, 72, 103, 239, 270, 342, 391, 414, 445, 494, 552, 612... . The 13-limit is already quite restrictive: 552, 954, 1133, 1236, 1506..., and the 17-limit starts off 4452, 5527, 7033, 7315, 9896... .

	If W is the patent val for N-edo and ]W∧J[ > 600 cents, it can happen that the minimum value for recoverability relative error/simple badness, defined as ]V∧J[ for any N-edo val V, does not occur for V = W. Examples are 13-limit 12f, where ]12f∧J[ = 1217.949 is much smaller than ]12∧J[ = 3844.172, 5-limit 17c, ]17c∧J[ = 847.730 compared to ]17∧J[ = 1054.225, and 11-limit 27e, where ]27e∧J[ = 1169.472 is less than ]27∧J[ = 2405.855. Of course two possibilities can be close enough that both are plausible, as with 7-limit 34d at 1169.472 cents versus 34 at 1437.444 cents.		If W is the patent val for N-edo and ]W∧J[ > 600 cents, it can happen that the minimum value for recoverability relative error/simple badness, defined as ]V∧J[ for any N-edo val V, does not occur for V = W. Examples are 13-limit 12f, where ]12f∧J[ = 1217.949 is much smaller than ]12∧J[ = 3844.172, 5-limit 17c, ]17c∧J[ = 847.730 compared to ]17∧J[ = 1054.225, and 11-limit 27e, where ]27e∧J[ = 1169.472 is less than ]27∧J[ = 2405.855. Of course two possibilities can be close enough that both are plausible, as with 7-limit 34d at 1169.472 cents versus 34 at 1437.444 cents.

	=Complete searches for temperaments=		== Complete searches for temperaments ==
	A complete search for regular temperaments is a search which is guaranteed to find all temperaments meeting certain specified conditions. Recoverability conditions provide one approach to these. The first segment of W∨2 consists of C(n-1, r-1) zeros, and the second segment of C(n-1, r) integers identical to the initial, 2 containing, segment of W. By beginning with such a multivector of integer coefficients, wedging with J, and rounding, we obtain a multivector which is a candidate for a p-limit rank r wedgie, defining a regular temperament. It will not in general be a wedgie, but all recoverable wedgies can be obtained in this way. Hence all that remains to do, as discussed in [[The_wedgie\|The wedgie]], is to test if the multivector in question is actually a wedgie, and also if it passes any further conditions on complexity, error, or badness we wish to place on our list of wedgies.		A complete search for regular temperaments is a search which is guaranteed to find all temperaments meeting certain specified conditions. Recoverability conditions provide one approach to these. The first segment of W∨2 consists of C(n-1, r-1) zeros, and the second segment of C(n-1, r) integers identical to the initial, 2 containing, segment of W. By beginning with such a multivector of integer coefficients, wedging with J, and rounding, we obtain a multivector which is a candidate for a p-limit rank r wedgie, defining a regular temperament. It will not in general be a wedgie, but all recoverable wedgies can be obtained in this way. Hence all that remains to do, as discussed in [[The_wedgie\|The wedgie]], is to test if the multivector in question is actually a wedgie, and also if it passes any further conditions on complexity, error, or badness we wish to place on our list of wedgies.
	~~[[Category:math]]~~
	[[Category:~~todo:add_examples]]~~		[[Category:Math]]
	~~[[Category:todo:add_links~~]]
	[[Category:Exterior algebra]]		[[Category:Exterior algebra]]
			{{Todo\|add examples\|add links}}

VectorGraphics: by a ... is meant

2025-04-23T04:31:32Z

by a ... is meant

← Older revision		Revision as of 04:31, 23 April 2025
Line 17:		Line 17:

	=Complete searches for temperaments=		=Complete searches for temperaments=
	~~By a~~ complete search for regular temperaments is ~~meant~~ a search which is guaranteed to find all temperaments meeting certain specified conditions. Recoverability conditions provide one approach to these. The first segment of W∨2 consists of C(n-1, r-1) zeros, and the second segment of C(n-1, r) integers identical to the initial, 2 containing, segment of W. By beginning with such a multivector of integer coefficients, wedging with J, and rounding, we obtain a multivector which is a candidate for a p-limit rank r wedgie, defining a regular temperament. It will not in general be a wedgie, but all recoverable wedgies can be obtained in this way. Hence all that remains to do, as discussed in [[The_wedgie\|The wedgie]], is to test if the multivector in question is actually a wedgie, and also if it passes any further conditions on complexity, error, or badness we wish to place on our list of wedgies.		A complete search for regular temperaments is a search which is guaranteed to find all temperaments meeting certain specified conditions. Recoverability conditions provide one approach to these. The first segment of W∨2 consists of C(n-1, r-1) zeros, and the second segment of C(n-1, r) integers identical to the initial, 2 containing, segment of W. By beginning with such a multivector of integer coefficients, wedging with J, and rounding, we obtain a multivector which is a candidate for a p-limit rank r wedgie, defining a regular temperament. It will not in general be a wedgie, but all recoverable wedgies can be obtained in this way. Hence all that remains to do, as discussed in [[The_wedgie\|The wedgie]], is to test if the multivector in question is actually a wedgie, and also if it passes any further conditions on complexity, error, or badness we wish to place on our list of wedgies.
	[[Category:math]]		[[Category:math]]
	[[Category:todo:add_examples]]		[[Category:todo:add_examples]]
	[[Category:todo:add_links]]		[[Category:todo:add_links]]
	[[Category:Exterior algebra]]		[[Category:Exterior algebra]]

Sintel: -legacy, todo intro

2025-03-29T18:10:13Z

-legacy, todo intro

← Older revision		Revision as of 18:10, 29 March 2025
Line 1:		Line 1:
	{{inacc}}		{{inacc}}
	{{~~Legacy~~}}		{{todo\|intro\|inline=1}}
	__FORCETOC__		__FORCETOC__
	=Definition=		=Definition=

Sintel: Categories

2025-03-19T20:02:17Z

Sintel: Inaccessible

2025-03-17T20:20:30Z

Inaccessible

← Older revision		Revision as of 20:20, 17 March 2025
Line 1:		Line 1:
			{{inacc}}
	{{Legacy}}		{{Legacy}}
	__FORCETOC__		__FORCETOC__

Lériendil: deploying new cat

2025-02-17T16:11:44Z

deploying new cat

← Older revision		Revision as of 16:11, 17 February 2025
Line 1:		Line 1:
			{{Legacy}}
	__FORCETOC__		__FORCETOC__
	=Definition=		=Definition=

Lériendil: Changed protection level for "Recoverability" ([Edit=Allow only administrators] (expires 17:01, 17 February 2025 (UTC)) [Move=Allow only administrators] (expires 17:01, 17 February 2025 (UTC)))

2025-02-17T16:01:32Z

Changed protection level for "Recoverability" ([Edit=Allow only administrators] (expires 17:01, 17 February 2025 (UTC)) [Move=Allow only administrators] (expires 17:01, 17 February 2025 (UTC)))

← Older revision	Revision as of 16:01, 17 February 2025
(No difference)

← Older revision		Revision as of 20:02, 19 March 2025
Line 21:		Line 21:
	[[Category:todo:add_examples]]		[[Category:todo:add_examples]]
	[[Category:todo:add_links]]		[[Category:todo:add_links]]
	[[Category:EA]]		[[Category:Exterior algebra]]