Normal forms - Revision history

FloraC: /* Normal forms for commas */ adopt template. Tenney height -> Tenney norm

2026-05-06T08:31:32Z

Normal forms for commas: adopt template. Tenney height -> Tenney norm

← Older revision		Revision as of 08:31, 6 May 2026
Line 188:		Line 188:

	=== Minimal form ===		=== Minimal form ===
	The ''minimal form'', or ''reduced form'' shows the simplest comma list sufficient to define the temperament, where the commas are rated by a complexity measure such as the [[Tenney ~~height~~]], in which case it is called the ''Tenney-minimal form''. It is obvious why this form is useful, but unfortunately, it is not easy to find since it is equivalent to the ''shortest basis problem'', an NP-hard problem. The [[LLL reduction]] algorithm gives a good approximation. Otherwise, it is typically solved heuristically by hand.		The ''minimal form'', or ''reduced form'' shows the simplest comma list sufficient to define the temperament, where the commas are rated by a complexity measure such as the [[Tenney norm]], in which case it is called the ''Tenney-minimal form''. It is obvious why this form is useful, but unfortunately, it is not easy to find since it is equivalent to the ''shortest basis problem'', an NP-hard problem. The [[LLL reduction]] algorithm gives a good approximation. Otherwise, it is typically solved heuristically by hand.

	~~'''~~Note~~''':~~ This is the form shown in the "comma lists" of each temperament on this wiki.		{{Note\| This is the form shown in the "comma lists" of each temperament on this wiki. }}

	=== Antitransposed defactored Hermite form ===		=== Antitransposed defactored Hermite form ===

Haidilao: Changed a wrong calculation (13 is correct which was written as -13)

2026-05-06T03:01:54Z

Changed a wrong calculation (13 is correct which was written as -13)

← Older revision		Revision as of 03:01, 6 May 2026
Line 27:		Line 27:
	We may write a list of vals (mapping) as a {{nowrap\|(''k'', ''d'')}}-shaped matrix (read "k by d", i.e. with ''k'' rows and ''d'' columns), where the rows of the matrix are the vals (maps), and ''d'' is the dimensionality of the system<ref group="note">Calling the {{w\|prime-counting function}}, written π(''x''), on the prime limit will give us this number. For examples, {{nowrap\| π(2) {{=}} 1 }}, {{nowrap\| π(3) {{=}} 2 }}, {{nowrap\| π(5) {{=}} 3 }}, {{nowrap\| π(7) {{=}} 4 }}, {{nowrap\| π(11) {{=}} 5 }}, etc. </ref>. To get the '''defactored Hermite form''', we do the following:		We may write a list of vals (mapping) as a {{nowrap\|(''k'', ''d'')}}-shaped matrix (read "k by d", i.e. with ''k'' rows and ''d'' columns), where the rows of the matrix are the vals (maps), and ''d'' is the dimensionality of the system<ref group="note">Calling the {{w\|prime-counting function}}, written π(''x''), on the prime limit will give us this number. For examples, {{nowrap\| π(2) {{=}} 1 }}, {{nowrap\| π(3) {{=}} 2 }}, {{nowrap\| π(5) {{=}} 3 }}, {{nowrap\| π(7) {{=}} 4 }}, {{nowrap\| π(11) {{=}} 5 }}, etc. </ref>. To get the '''defactored Hermite form''', we do the following:

	# First, defactor it (a.k.a. make sure it is [[saturated]]).<ref group="note">Historically, this step was not explicitly recognized as necessary for normal forms. The vast majority of normal forms catalogued on the wiki are not contorted/enfactored in the first place, but specifically defining this canonical form to include this requirement is an important step toward ensuring that, which will prevent redundant temperaments from being catalogued. In various domains, normal forms are often required to be unique, however, canonical forms are required to be unique even more often that normal forms are; according to [[Wikipedia: Canonical form]], 'the distinction between "canonical" and "normal" forms varies from subfield to subfield. In most fields, a canonical form specifies a unique representation for every object, while a normal form simply specifies its form, without the requirement of uniqueness.' This is the rationale behind defining ''canonical'' as opposed to merely ''normal''. To be more specific, The HNF does provide a unique representation of ''matrices'', i.e. from a perspective of pure mathematics, and so you will certainly find throughout mathematical literature that HNF is described as providing a unique representation, and this is correct. However, when applied to the RTT domain, i.e. to ''mappings'', the HNF sometimes fails to identify equivalent mappings as such. And the critical flaw with HNF is its failure to defactor matrices – meaning that a contorted mapping matrix has a different Hermite normal form than a non-contorted one with the same kernel – and this is because dividing rows is not a permitted elementary row operation when computing the HNF. See: [https://math.stackexchange.com/a/685922]. The canonical form as described here ''does'' defactor matrices, and therefore it delivers a truly canonical result.<br>		# First, defactor it (a.k.a. make sure it is [[saturated]]).<ref group="note">Historically, this step was not explicitly recognized as necessary for normal forms. The vast majority of normal forms catalogued on the wiki are not contorted/enfactored in the first place, but specifically defining this canonical form to include this requirement is an important step toward ensuring that, which will prevent redundant temperaments from being catalogued. In various domains, normal forms are often required to be unique, however, canonical forms are required to be unique even more often that normal forms are; according to [[Wikipedia: Canonical form]], 'the distinction between "canonical" and "normal" forms varies from subfield to subfield. In most fields, a canonical form specifies a unique representation for every object, while a normal form simply specifies its form, without the requirement of uniqueness.' This is the rationale behind defining ''canonical'' as opposed to merely ''normal''. To be more specific, The HNF does provide a unique representation of ''matrices'', i.e. from a perspective of pure mathematics, and so you will certainly find throughout mathematical literature that HNF is described as providing a unique representation, and this is correct. However, when applied to the RTT domain, i.e. to ''mappings'', the HNF sometimes fails to identify equivalent mappings as such. And the critical flaw with HNF is its failure to defactor matrices – meaning that a contorted mapping matrix has a different Hermite normal form than a non-contorted one with the same kernel – and this is because dividing rows is not a permitted elementary row operation when computing the HNF. See: [https://math.stackexchange.com/a/685922]. The canonical form as described here ''does'' defactor matrices, and therefore it delivers a truly canonical result.<br />
	There is also a rarely mentioned Hermite Canonical Form, or HCF, described here: [http://home.iitk.ac.in/~rksr/html/03CANONICALFACTORIZATIONS.htm], which sort of combines the HNF's constraint and the [[Matrix echelon forms #RREF\|RREF]]'s reduced constraint (all pivots equal 1, all other entries in pivot columns are 0, both above and below the pivot), but this is not useful because due to its constraint that all pivots be 1, it does not preserve periods that are genuinely unit fractions of an octave (at first glance, when a pivot is not equal to 1, it might trigger you to think that the mapping is enfactored. But temperaments can legitimately have generators that divide primes evenly, such as 5-limit blackwood, {{rket\| {{map\| 5 8 0 }} {{map\| 0 0 1 }} }}, which divides the octave into 5 parts. So any form that enforces pivots all be 1's, such as HCF and RREF, would fail this criteria.) It also does not qualify as an echelon form, which becomes apparent only when you use it on [[rank-deficient]] matrices, because it does not require the rows of all zeros to be at the bottom; instead it (bizarrely, though maybe it is related to how the SNF requires all pivots exactly along the main diagonal) requires the rows to be sorted so that all the pivots fall on the main diagonal.</ref>. Note that if the matrix was not [[full-rank]], this will result in the elimination of some rows<ref group="note">Note that canonicalizing a mapping does not remove trailing ''dimensions'' with only zeros.<br>		There is also a rarely mentioned Hermite Canonical Form, or HCF, described here: [http://home.iitk.ac.in/~rksr/html/03CANONICALFACTORIZATIONS.htm], which sort of combines the HNF's constraint and the [[Matrix echelon forms#RREF\|RREF]]'s reduced constraint (all pivots equal 1, all other entries in pivot columns are 0, both above and below the pivot), but this is not useful because due to its constraint that all pivots be 1, it does not preserve periods that are genuinely unit fractions of an octave (at first glance, when a pivot is not equal to 1, it might trigger you to think that the mapping is enfactored. But temperaments can legitimately have generators that divide primes evenly, such as 5-limit blackwood, {{rket\|{{map\| 5 8 0 }} {{map\| 0 0 1 }}}}, which divides the octave into 5 parts. So any form that enforces pivots all be 1's, such as HCF and RREF, would fail this criteria.) It also does not qualify as an echelon form, which becomes apparent only when you use it on [[rank-deficient]] matrices, because it does not require the rows of all zeros to be at the bottom; instead it (bizarrely, though maybe it is related to how the SNF requires all pivots exactly along the main diagonal) requires the rows to be sorted so that all the pivots fall on the main diagonal.</ref>. Note that if the matrix was not [[full-rank]], this will result in the elimination of some rows<ref group="note">Note that canonicalizing a mapping does not remove trailing ''dimensions'' with only zeros.<br>
	In the case of a mapping, this would take the form of an extra column of all zeros to the right of any non-zero entries, or in other words, an unmapped prime higher than other mapped prime. For example you could have {{rket\| {{map\| 1 0 -4 0 }} {{map\| 0 1 4 0 }} }} which is just 5-limit meantone but represented in the 7-limit even though prime 7 is not used.<br>		In the case of a mapping, this would take the form of an extra column of all zeros to the right of any non-zero entries, or in other words, an unmapped prime higher than other mapped prime. For example you could have {{rket\| {{map\| 1 0 -4 0 }} {{map\| 0 1 4 0 }} }} which is just 5-limit meantone but represented in the 7-limit even though prime 7 is not used.<br>
	And for a comma basis the form this would take is rotated 90 degrees: a row of all zeros below all other nonzero entries, e.g. [{{vector\| 4 -4 1 0 }}].<br>		And for a comma basis the form this would take is rotated 90 degrees: a row of all zeros below all other nonzero entries, e.g. [{{vector\| 4 -4 1 0 }}].<br>
Line 236:		Line 236:
	<math>		<math>
	\left[ \begin{array} {rrr}		\left[ \begin{array} {rrr}
	1 & 0 & -10 & -13 \\		1 & 0 & -10 & 13 \\
	0 & 1 & -4 & 4 \\		0 & 1 & -4 & 4 \\
	\end{array} \right]		\end{array} \right]
Line 247:		Line 247:

	\left[ \begin{array} {rrr}		\left[ \begin{array} {rrr}
	\style{background-color: #F2B2B4; padding: 5px;}{1} & \style{background-color: #F2B2B4; padding: 5px;}{0} & \style{background-color: #F2B2B4; padding: 5px;}{-10} & \style{background-color: #FFF200; padding: 5px;}{-13} \\		\style{background-color: #F2B2B4; padding: 5px;}{1} & \style{background-color: #F2B2B4; padding: 5px;}{0} & \style{background-color: #F2B2B4; padding: 5px;}{-10} & \style{background-color: #FFF200; padding: 5px;}{13} \\
	\style{background-color: #C6DC67; padding: 5px;}{0} & \style{background-color: #C6DC67; padding: 5px;}{1} & \style{background-color: #FFF200; padding: 5px;}{-4} & \style{background-color: #46C5DD; padding: 5px;}{4} \\		\style{background-color: #C6DC67; padding: 5px;}{0} & \style{background-color: #C6DC67; padding: 5px;}{1} & \style{background-color: #FFF200; padding: 5px;}{-4} & \style{background-color: #46C5DD; padding: 5px;}{4} \\
	\end{array} \right]		\end{array} \right]

FloraC: Change of name of my wiki article

2025-12-11T13:40:01Z

Change of name of my wiki article

← Older revision		Revision as of 13:40, 11 December 2025
Line 43:		Line 43:
	Even though by using the HNF the defactored Hermite form ensures that the {{w\|pivot element\|pivot}} (first nonzero entry) of each mapping row is a positive ''number'', this does not necessarily mean that the corresponding generators are all positive ''in pitch''. For example, the defactored Hermite form of porcupine is the matrix {{rket\| {{map\| 1 2 3 }} {{map\| 0 3 5 }} }}. The second column of this matrix tells us it takes 2 of the first generator and 3 of the second generator to reach its approximation of 3/1. But as we can tell from the first column of this matrix, it takes only 1 of the first generator and nothing else to reach its approximation of 2/1. Therefore, if we move by 2 of the first generator, we are already at this temperament's approximation of 4/1, and so if we still need to move by 3 of the second generator to reach its approximation of 3/1, then the second generator must be negative. Indeed, it is about 163 cents ''downward'' in pitch. Negative generators like this can be surprising and confusing, and so ''positive-generator forms'' were developed to address this concern.		Even though by using the HNF the defactored Hermite form ensures that the {{w\|pivot element\|pivot}} (first nonzero entry) of each mapping row is a positive ''number'', this does not necessarily mean that the corresponding generators are all positive ''in pitch''. For example, the defactored Hermite form of porcupine is the matrix {{rket\| {{map\| 1 2 3 }} {{map\| 0 3 5 }} }}. The second column of this matrix tells us it takes 2 of the first generator and 3 of the second generator to reach its approximation of 3/1. But as we can tell from the first column of this matrix, it takes only 1 of the first generator and nothing else to reach its approximation of 2/1. Therefore, if we move by 2 of the first generator, we are already at this temperament's approximation of 4/1, and so if we still need to move by 3 of the second generator to reach its approximation of 3/1, then the second generator must be negative. Indeed, it is about 163 cents ''downward'' in pitch. Negative generators like this can be surprising and confusing, and so ''positive-generator forms'' were developed to address this concern.

	To obtain one of these forms, we first need to know whether each generator is positive or negative in pitch. This is conventionally found through the [[Frobenius generator]]s of the temperament, where we find the [[pseudoinverse]] of the mapping ''V'', which we notate ''V''<sup>+</sup>, and multiply this from the left by the just tuning map, {{nowrap\| ''J'' {{=}} {{val\| 1 log<sub>2</sub>3 log<sub>2</sub>5 … log<sub>2</sub>''p'' }} }}. Otherwise normed tunings technically do the same. [[Flora Canou]]'s [https://github.com/FloraCanou/temperament_evaluator Temperament Evaluator] has adopted a faster method called ''fast approximate tuning'' (''FX tuning''), which short-circuits the question of optimization and focuses on the abstract property of how a temperament splits intervals<ref>[https://github.com/FloraCanou/temperament_evaluator/wiki/~~Performance-of-~~FX-tuning Github \| ''~~Performance of~~ FX tuning'' · FloraCanou/temperament_evaluator Wiki]</ref>.		To obtain one of these forms, we first need to know whether each generator is positive or negative in pitch. This is conventionally found through the [[Frobenius generator]]s of the temperament, where we find the [[pseudoinverse]] of the mapping ''V'', which we notate ''V''<sup>+</sup>, and multiply this from the left by the just tuning map, {{nowrap\| ''J'' {{=}} {{val\| 1 log<sub>2</sub>3 log<sub>2</sub>5 … log<sub>2</sub>''p'' }} }}. Otherwise normed tunings technically do the same. [[Flora Canou]]'s [https://github.com/FloraCanou/temperament_evaluator Temperament Evaluator] has adopted a faster method called ''fast approximate tuning'' (''FX tuning''), which short-circuits the question of optimization and focuses on the abstract property of how a temperament splits intervals<ref>[https://github.com/FloraCanou/temperament_evaluator/wiki/FX-tuning Github \| ''FX tuning'' · FloraCanou/temperament_evaluator Wiki]</ref>.

	The first positive-generator form, called <code>"flip"</code> in the Temperament Evaluator, changes the signs of every entry in a row if the corresponding generator is negative.		The first positive-generator form, called <code>"flip"</code> in the Temperament Evaluator, changes the signs of every entry in a row if the corresponding generator is negative.

FloraC: Clarify. Adopt Template: Note. + link

2025-12-04T07:36:23Z

Clarify. Adopt Template: Note. + link

← Older revision		Revision as of 07:36, 4 December 2025
Line 47:		Line 47:
	The first positive-generator form, called <code>"flip"</code> in the Temperament Evaluator, changes the signs of every entry in a row if the corresponding generator is negative.		The first positive-generator form, called <code>"flip"</code> in the Temperament Evaluator, changes the signs of every entry in a row if the corresponding generator is negative.

	Another form, called <code>"shift"</code>, also makes sure the generators are positive, but it maniplates the mapping to period-shift the negative generators instead, except when the temperament's generator is (-''p'')-sheared where ''p'' is the number of periods per equave, in which case it uses the <code>"flip"</code> routine. This form may be more musically useful as the prime harmonics are more often in positive numbers of generator steps.		Another form, called <code>"shift"</code>, also makes sure the generators are positive, but it maniplates the mapping to period-shift the negative generators instead, except when the temperament's generator is (''c'' - ''p'')-sheared where ''c'' is the cot (number of generators to reach the prime in question) and ''p'' is the ploid (number of periods per equave), in which case it uses the <code>"flip"</code> routine. This form may be more musically useful as the prime harmonics are more often in positive numbers of generator steps.

	~~'''~~Note~~:'''~~ Most mappings (though not the "[[mapping to lattice]]") listed on temperament data pages of this wiki are in the <code>"shift"</code> form, though some are still in <code>"flip"</code> form.		{{Note\| Most mappings (though not the "[[mapping to lattice]]") listed on temperament data pages of this wiki are in the <code>"shift"</code> form, though some are still in <code>"flip"</code> form. }}

	The generators in defactored Hermite form of septimal meantone is positive already, so its positive-generator forms are the same as its defactored Hermite form, {{mapping\| 1 0 -4 -13 \| 0 1 4 10 }}, corresponding to generators of ~2/1 and ~3/1. An example of positive-generator form that is different from the defactored Hermite form is the porcupine temperament, elaborated below.		The generators in defactored Hermite form of septimal meantone is positive already, so its positive-generator forms are the same as its defactored Hermite form, {{mapping\| 1 0 -4 -13 \| 0 1 4 10 }}, corresponding to generators of ~2/1 and ~3/1. An example of positive-generator form that is different from the defactored Hermite form is the porcupine temperament, elaborated below.
Line 161:		Line 161:

	=== Minimal-generator form ===		=== Minimal-generator form ===
	The ''minimal-generator form'' (or '''mingen form''') is a form specific to rank-2 ~~temperaments~~, where the generator is positive and no greater than half the period.<ref group="note">This is somewhat like octave reduction combined with octave inversion, because you can't just add or subtract half octaves until it's between 0 and 600 cents; you have to add or subtract octaves until it's between −600 and +600 cents, then multiply by −1 if it's negative.</ref><ref group="note">You could always find a smaller and smaller generator by going negative, so this assumes positive generators.</ref>		The ''minimal-generator form'' (or '''mingen form''') is a form specific to [[rank-2 temperament]]s, where the generator is positive and no greater than half the period.<ref group="note">This is somewhat like octave reduction combined with octave inversion, because you can't just add or subtract half octaves until it's between 0 and 600 cents; you have to add or subtract octaves until it's between −600 and +600 cents, then multiply by −1 if it's negative.</ref><ref group="note">You could always find a smaller and smaller generator by going negative, so this assumes positive generators.</ref>

	[[Graham Breed]]'s [http://x31eq.com/temper/ ~~temperament finder~~] uses this form for all rank-2 temperaments. Septimal meantone in minimal-generator form is {{mapping\| 1 2 4 7 \| 0 -1 -4 -10 }}, corresponding to generators of ~2/1 and ~4/3. [[Kite Giedraitis]]'s [[pergen]] also uses this form, except for when the generator is a perfect fifth.		[[Graham Breed]]'s [http://x31eq.com/temper/ Temperament Finder] uses this form for all rank-2 temperaments. Septimal meantone in minimal-generator form is {{mapping\| 1 2 4 7 \| 0 -1 -4 -10 }}, corresponding to generators of ~2/1 and ~4/3. [[Kite Giedraitis]]'s [[pergen]] also uses this form, except for when the generator is a perfect fifth.

	Beyond rank-2, the mingen form of a temperament is no longer unique. You can always get smaller and smaller generators. This is why on Graham Breed's temperament finding tool, beyond rank-2 he simply uses the Hermite Normal Form.		Beyond rank-2, the mingen form of a temperament is no longer unique. You can always get smaller and smaller generators. This is why on Graham Breed's temperament finding tool, beyond rank-2 he simply uses the Hermite Normal Form.

Sintel: /* Hermite normal form */ typo

2025-11-21T16:36:34Z

Hermite normal form: typo

← Older revision		Revision as of 16:36, 21 November 2025
Line 8:		Line 8:
	The '''Hermite normal form''', or HNF for short, is an important normal form that is defined for integer matrices in the mathematical field of linear algebra. An integer matrix is simply a 2D array of integers, and so we can easily think of lists of vals or commas as integer matrices and therefore leverage HNF in regular temperament theory.		The '''Hermite normal form''', or HNF for short, is an important normal form that is defined for integer matrices in the mathematical field of linear algebra. An integer matrix is simply a 2D array of integers, and so we can easily think of lists of vals or commas as integer matrices and therefore leverage HNF in regular temperament theory.

	The Hermite normal form is unique. Besides that, it is also the integer analogue of the reduced ~~echelong~~ form, so it can be used to solve systems of equations in the integers by Gaussian elimination.		The Hermite normal form is unique. Besides that, it is also the integer analogue of the reduced echelon form, so it can be used to solve systems of equations in the integers by Gaussian elimination.

	There are slightly different definitions of HNF in use, and if you are using a computer program to compute it, you should take care that the same normal monzo or val list is finally achieved. The definition used by the Wikipedia article on Hermite form, probably the most standard, works as follows. An ''n''×''m'' integer matrix ''H'' is in (row-wise) HNF if it satisfies the following conditions:		There are slightly different definitions of HNF in use, and if you are using a computer program to compute it, you should take care that the same normal monzo or val list is finally achieved. The definition used by the Wikipedia article on Hermite form, probably the most standard, works as follows. An ''n''×''m'' integer matrix ''H'' is in (row-wise) HNF if it satisfies the following conditions:

FloraC: More accurate describe the "shift" form since the algorithm is working as intended now

2025-11-20T15:14:12Z

More accurate describe the "shift" form since the algorithm is working as intended now

Dummy index: /* Antitransposed defactored Hermite form */

2025-11-08T06:23:37Z

Antitransposed defactored Hermite form

← Older revision		Revision as of 06:23, 8 November 2025
Line 267:		Line 267:
	And there is our canonical comma basis.		And there is our canonical comma basis.

	The set of elements of the original list generates a finitely generated free abelian subgroup of the positive rationals under multiplication, and therefore of any ''p''-limit group it lives inside. The list in normal form contains a minimal set of ratios, in an ordering of nondecreasing prime limit which is parsimonious in its use of higher limits. For example, if we put [81/80, 126/125] into normal form we obtain [80/81, 57344/59049]. The first interval is 5-limit, which is as small as possible. The second is 7-limit, which must be the case because the group these two generate is 7-limit. However, it uses only 2, 3 and 7 in its prime factorization, parsimoniously rejecting 5 as the next highest prime limit.		The set of elements of the original list generates a finitely generated free abelian subgroup of the positive rationals under multiplication, and therefore of any ''p''-limit group it lives inside. The list in normal form contains a minimal set of ratios, in an ordering of nondecreasing prime limit which is parsimonious in its use of higher limits. For example, if we put [81/80, 126/125] into normal form we obtain [80/81, 57344/59049]. The first interval is 5-limit, which is as small as possible. The second is 7-limit, which must be the case because the group these two generate is 7-limit. However, it uses only 2, 3 and 7 in its prime factorization, parsimoniously rejecting 5 as the next highest prime limit. Such comma list that ordered in ascending prime limits was called [http://lumma.org/tuning/gws/commaseq.htm comma sequence].

	Note that the antitransposed defactored Hermite form of the comma list involves the list being defactored (e.g. torsion to be removed). For example, both [25/27, 35/36] and [25/27, 49/48] characterize beep. But the latter has torsion (i.e. is enfactored), so the former is beep's antitransposed defactored Hermite form.		Note that the antitransposed defactored Hermite form of the comma list involves the list being defactored (e.g. torsion to be removed). For example, both [25/27, 35/36] and [25/27, 49/48] characterize beep. But the latter has torsion (i.e. is enfactored), so the former is beep's antitransposed defactored Hermite form.

FloraC: /* Normal forms for mappings */ final touch

2025-07-18T16:14:23Z

Normal forms for mappings: final touch

← Older revision		Revision as of 16:14, 18 July 2025
Line 41:		Line 41:

	=== Positive-generator forms ===		=== Positive-generator forms ===
	Even though by using the HNF the defactored Hermite form ensures that the pivot (first nonzero entry) of each mapping row is a positive ''number'', this does not necessarily mean that the corresponding generators are all positive ''in pitch''. For example, the defactored Hermite form of porcupine is the matrix {{rket\| {{map\| 1 2 3 }} {{map\| 0 3 5 }} }}. The second column of this matrix tells us it takes 2 of the first generator and 3 of the second generator to reach its approximation of 3/1. But as we can tell from the first column of this matrix, it takes only 1 of the first generator and nothing else to reach its approximation of 2/1. Therefore, if we move by 2 of the first generator, we are already at this temperament's approximation of 4/1, and so if we still need to move by 3 of the second generator to reach its approximation of 3/1, then the second generator must be negative. Indeed, it is about 163 cents ''downward'' in pitch. Negative generators like this can be surprising and confusing, and so ''positive-generator forms'' were developed to address this concern.		Even though by using the HNF the defactored Hermite form ensures that the {{w\|pivot element\|pivot}} (first nonzero entry) of each mapping row is a positive ''number'', this does not necessarily mean that the corresponding generators are all positive ''in pitch''. For example, the defactored Hermite form of porcupine is the matrix {{rket\| {{map\| 1 2 3 }} {{map\| 0 3 5 }} }}. The second column of this matrix tells us it takes 2 of the first generator and 3 of the second generator to reach its approximation of 3/1. But as we can tell from the first column of this matrix, it takes only 1 of the first generator and nothing else to reach its approximation of 2/1. Therefore, if we move by 2 of the first generator, we are already at this temperament's approximation of 4/1, and so if we still need to move by 3 of the second generator to reach its approximation of 3/1, then the second generator must be negative. Indeed, it is about 163 cents ''downward'' in pitch. Negative generators like this can be surprising and confusing, and so ''positive-generator forms'' were developed to address this concern.

	To obtain one of these forms, we first need to know whether each generator is positive or negative in pitch. This is conventionally found through the [[Frobenius generator]]s of the temperament, where we find the [[pseudoinverse]] of the mapping ''V'', which we notate ''V''<sup>+</sup>, and multiply this from the left by the just tuning map, {{nowrap\| ''J'' {{=}} {{val\| 1 log<sub>2</sub>3 log<sub>2</sub>5 … log<sub>2</sub>''p'' }} }}. Otherwise normed tunings technically do the same. [[Flora Canou]]'s [https://github.com/FloraCanou/temperament_evaluator Temperament Evaluator] has adopted a faster method called ''fast approximate tuning'' (''FX tuning''), which short-circuits the question of optimization and focuses on the abstract property of how a temperament splits intervals<ref>[https://github.com/FloraCanou/temperament_evaluator/wiki/Performance-of-FX-tuning Github \| ''Performance of FX tuning'' · FloraCanou/temperament_evaluator Wiki]</ref>.		To obtain one of these forms, we first need to know whether each generator is positive or negative in pitch. This is conventionally found through the [[Frobenius generator]]s of the temperament, where we find the [[pseudoinverse]] of the mapping ''V'', which we notate ''V''<sup>+</sup>, and multiply this from the left by the just tuning map, {{nowrap\| ''J'' {{=}} {{val\| 1 log<sub>2</sub>3 log<sub>2</sub>5 … log<sub>2</sub>''p'' }} }}. Otherwise normed tunings technically do the same. [[Flora Canou]]'s [https://github.com/FloraCanou/temperament_evaluator Temperament Evaluator] has adopted a faster method called ''fast approximate tuning'' (''FX tuning''), which short-circuits the question of optimization and focuses on the abstract property of how a temperament splits intervals<ref>[https://github.com/FloraCanou/temperament_evaluator/wiki/Performance-of-FX-tuning Github \| ''Performance of FX tuning'' · FloraCanou/temperament_evaluator Wiki]</ref>.
Line 47:		Line 47:
	The first positive-generator form, called <code>"flip"</code> in the Temperament Evaluator, changes the signs of every entry in a row if the corresponding generator is negative.		The first positive-generator form, called <code>"flip"</code> in the Temperament Evaluator, changes the signs of every entry in a row if the corresponding generator is negative.

	Another form, called <code>shift</code>, also makes sure the generators are positive, but it maniplates the mapping to equave-reduce the negative generators instead, except when the temperament is (-1)-sheared, in which case it uses the <code>flip</code> routine. This form may be more musically useful as the prime harmonics are more often in positive numbers of generator steps.		Another form, called <code>"shift"</code>, also makes sure the generators are positive, but it maniplates the mapping to equave-reduce the negative generators instead, except when the temperament is (-1)-sheared, in which case it uses the <code>"flip"</code> routine. This form may be more musically useful as the prime harmonics are more often in positive numbers of generator steps.

	'''Note:''' Most mappings (though not the "[[mapping to lattice]]") listed on temperament data pages of this wiki are in the <code>"flip"</code> form.		'''Note:''' Most mappings (though not the "[[mapping to lattice]]") listed on temperament data pages of this wiki are in the <code>"flip"</code> form.

FloraC: Address Kite's pergen

2025-07-18T15:57:33Z

Address Kite's pergen

← Older revision		Revision as of 15:57, 18 July 2025
Line 165:		Line 165:
	The ''minimal-generator form'' (or '''mingen form''') is a form specific to rank-2 temperaments, where the generator is positive and no greater than half the period.<ref group="note">This is somewhat like octave reduction combined with octave inversion, because you can't just add or subtract half octaves until it's between 0 and 600 cents; you have to add or subtract octaves until it's between −600 and +600 cents, then multiply by −1 if it's negative.</ref><ref group="note">You could always find a smaller and smaller generator by going negative, so this assumes positive generators.</ref>		The ''minimal-generator form'' (or '''mingen form''') is a form specific to rank-2 temperaments, where the generator is positive and no greater than half the period.<ref group="note">This is somewhat like octave reduction combined with octave inversion, because you can't just add or subtract half octaves until it's between 0 and 600 cents; you have to add or subtract octaves until it's between −600 and +600 cents, then multiply by −1 if it's negative.</ref><ref group="note">You could always find a smaller and smaller generator by going negative, so this assumes positive generators.</ref>

	[[Graham Breed]]'s [http://x31eq.com/temper/ temperament finder] uses this form for all rank-2 temperaments. Septimal meantone in minimal-generator form is {{mapping\| 1 2 4 7 \| 0 -1 -4 -10 }}, corresponding to generators of ~2/1 and ~4/3.		[[Graham Breed]]'s [http://x31eq.com/temper/ temperament finder] uses this form for all rank-2 temperaments. Septimal meantone in minimal-generator form is {{mapping\| 1 2 4 7 \| 0 -1 -4 -10 }}, corresponding to generators of ~2/1 and ~4/3. [[Kite Giedraitis]]'s [[pergen]] also uses this form, except for when the generator is a perfect fifth.

	Beyond rank-2, the mingen form of a temperament is no longer unique. You can always get smaller and smaller generators. This is why on Graham Breed's temperament finding tool, beyond rank-2 he simply uses the Hermite Normal Form.		Beyond rank-2, the mingen form of a temperament is no longer unique. You can always get smaller and smaller generators. This is why on Graham Breed's temperament finding tool, beyond rank-2 he simply uses the Hermite Normal Form.
Line 283:		Line 283:

	=== Integer reduced row echelon form (IRREF) ===		=== Integer reduced row echelon form (IRREF) ===
	Another important normal form for integer matrices is what [[Kite Giedraitis]] has dubbed the IRREF, the ''integer reduced row echelon form''. It is the {{w\|Row echelon form\|reduced row echelon form}} but with integer entries, found by multiplying each row of the matrix by the least common multiple of all denominators in that row. It differs from the Hermite normal form in that each pivot is the only nonzero entry in its column. For a monzo list, it has the advantage of limiting the appearance of the ''N'' highest primes to only one comma each (where ''N'' is the codimension), isolating each prime's effect on the [[pergen]], but has the disadvantage that the commas tend to have high odd limits, and the comma list may have torsion.		Another important normal form for integer matrices is what Kite Giedraitis has dubbed the IRREF, the ''integer reduced row echelon form''. It is the {{w\|Row echelon form\|reduced row echelon form}} but with integer entries, found by multiplying each row of the matrix by the least common multiple of all denominators in that row. It differs from the Hermite normal form in that each pivot is the only nonzero entry in its column. For a monzo list, it has the advantage of limiting the appearance of the ''N'' highest primes to only one comma each (where ''N'' is the codimension), isolating each prime's effect on the [[pergen]], but has the disadvantage that the commas tend to have high odd limits, and the comma list may have torsion.

	Sometimes the IRREF is identical to the HNF. For more information, see [[IRREF]].		Sometimes the IRREF is identical to the HNF. For more information, see [[IRREF]].

FloraC: /* Normal forms for commas */ similar style improvements

2025-07-18T15:52:59Z

Normal forms for commas: similar style improvements

← Older revision		Revision as of 15:14, 20 November 2025
Line 47:		Line 47:
	The first positive-generator form, called <code>"flip"</code> in the Temperament Evaluator, changes the signs of every entry in a row if the corresponding generator is negative.		The first positive-generator form, called <code>"flip"</code> in the Temperament Evaluator, changes the signs of every entry in a row if the corresponding generator is negative.

	Another form, called <code>"shift"</code>, also makes sure the generators are positive, but it maniplates the mapping to ~~equave~~-~~reduce~~ the negative generators instead, except when the temperament is (-1)-sheared, in which case it uses the <code>"flip"</code> routine. This form may be more musically useful as the prime harmonics are more often in positive numbers of generator steps.		Another form, called <code>"shift"</code>, also makes sure the generators are positive, but it maniplates the mapping to period-shift the negative generators instead, except when the temperament's generator is (-''p'')-sheared where ''p'' is the number of periods per equave, in which case it uses the <code>"flip"</code> routine. This form may be more musically useful as the prime harmonics are more often in positive numbers of generator steps.

	'''Note:''' Most mappings (though not the "[[mapping to lattice]]") listed on temperament data pages of this wiki are in the <code>"flip"</code> form.		'''Note:''' Most mappings (though not the "[[mapping to lattice]]") listed on temperament data pages of this wiki are in the <code>"shift"</code> form, though some are still in <code>"flip"</code> form.

	The generators in defactored Hermite form of septimal meantone is positive already, so its positive-generator forms are the same as its defactored Hermite form, {{mapping\| 1 0 -4 -13 \| 0 1 4 10 }}, corresponding to generators of ~2/1 and ~3/1. An example of positive-generator form that is different from the defactored Hermite form is the porcupine temperament, elaborated below.		The generators in defactored Hermite form of septimal meantone is positive already, so its positive-generator forms are the same as its defactored Hermite form, {{mapping\| 1 0 -4 -13 \| 0 1 4 10 }}, corresponding to generators of ~2/1 and ~3/1. An example of positive-generator form that is different from the defactored Hermite form is the porcupine temperament, elaborated below.
Line 152:		Line 152:

	=== Equave-reduced-generator form ===		=== Equave-reduced-generator form ===
	The ''equave-reduced-generator form'' has the matrix modified from the defactored Hermite normal form so that each generator is equave-reduced, where the [[equave]] can be found as the formal prime represented by the first ''column'' of the matrix, which is usually the octave. For more information, see [[Octave reduction #Generalization]]. This form is closely related to [[ploidacot]]s, so it may be casually called the ''ploidacot form''.		The ''equave-reduced-generator form'' has the matrix modified from the defactored Hermite normal form so that each generator is equave-reduced, where the [[equave]] can be found as the formal prime represented by the first ''column'' of the matrix, which is usually the octave. For more information, see [[Octave reduction #Generalization]]. This form is closely related to [[ploidacot]]s, so it may be casually called the ''ploidacot form''. It is implemented in the Temperament Evaluator as <code>"reduce"</code>.

	Consider the case of septimal meantone. As we know, its defactored Hermite normal form is {{rket\| {{map\| 1 0 -4 -13 }} {{map\| 0 1 4 10 }} }} which corresponds to generators of ~2/1 and ~3/1. In this case, as is typical, the formal prime represented by the first column of the matrix is 2, and so the equave is the octave. Therefore, all generators must be octave-reduced. But our second generator is ~3/1, which is not octave-reduced. We must alter the mapping in such a way that this row represents a generator of ~3/2 instead. We can do that here by adding the second row of the mapping to the first: {{rket\| {{map\| 1 1 0 -3 }} {{map\| 0 1 4 10 }} }}. So that is septimal meantone's equave-reduced-generator form, corresponding to generators of ~2/1 and ~3/2.		Consider the case of septimal meantone. As we know, its defactored Hermite normal form is {{rket\| {{map\| 1 0 -4 -13 }} {{map\| 0 1 4 10 }} }} which corresponds to generators of ~2/1 and ~3/1. In this case, as is typical, the formal prime represented by the first column of the matrix is 2, and so the equave is the octave. Therefore, all generators must be octave-reduced. But our second generator is ~3/1, which is not octave-reduced. We must alter the mapping in such a way that this row represents a generator of ~3/2 instead. We can do that here by adding the second row of the mapping to the first: {{rket\| {{map\| 1 1 0 -3 }} {{map\| 0 1 4 10 }} }}. So that is septimal meantone's equave-reduced-generator form, corresponding to generators of ~2/1 and ~3/2.
Line 158:		Line 158:
	Probably the most reliable way to achieve equave-reduced-generator form in general, however, is not to work with a [[generator preimage]] such as ~3/1 and ~3/2. Instead the Frobenius generators may be used, as described in the positive-generator form section just above, and reduction can be accomplished by calling modulo on their cents. For a general discussion of how to manipulate the sizes of generators in this way, see [[Generator size manipulation]].		Probably the most reliable way to achieve equave-reduced-generator form in general, however, is not to work with a [[generator preimage]] such as ~3/1 and ~3/2. Instead the Frobenius generators may be used, as described in the positive-generator form section just above, and reduction can be accomplished by calling modulo on their cents. For a general discussion of how to manipulate the sizes of generators in this way, see [[Generator size manipulation]].

	~~This form is implemented in the Temperament Evaluator as <code>"reduce"</code>, which also makes an exception for when the temperament is (-1)-sheared.~~		A ''positive-equave-reduced-generator form'' is similar to the equave-reduced-generator form, but starts from a positive-generator form instead of the defactored Hermite normal form.

	~~The~~ ''positive-equave-reduced-generator form'' is similar to the equave-reduced-generator form, but starts from ~~the~~ positive-generator form instead of the defactored Hermite normal form.

	=== Minimal-generator form ===		=== Minimal-generator form ===

← Older revision		Revision as of 15:52, 18 July 2025
Line 190:		Line 190:

	=== Minimal form ===		=== Minimal form ===
	The '''minimal form''', or '''reduced form''' shows the simplest comma list sufficient to define the temperament, where the commas are rated by a complexity measure such as the [[Tenney height]], in which case it is called the ''Tenney-minimal form''. It is obvious why this form is useful, but unfortunately, it is not easy to find since it is equivalent to the ''shortest basis problem'', an NP-hard problem. The [[LLL reduction]] algorithm gives a good approximation. Otherwise, it is typically solved heuristically by hand.		The ''minimal form'', or ''reduced form'' shows the simplest comma list sufficient to define the temperament, where the commas are rated by a complexity measure such as the [[Tenney height]], in which case it is called the ''Tenney-minimal form''. It is obvious why this form is useful, but unfortunately, it is not easy to find since it is equivalent to the ''shortest basis problem'', an NP-hard problem. The [[LLL reduction]] algorithm gives a good approximation. Otherwise, it is typically solved heuristically by hand.

	'''Note''': This is the form shown in the "comma lists" of each temperament on this wiki.		'''Note''': This is the form shown in the "comma lists" of each temperament on this wiki.
Line 271:		Line 271:
	Note that the antitransposed defactored Hermite form of the comma list involves the list being defactored (e.g. torsion to be removed). For example, both [25/27, 35/36] and [25/27, 49/48] characterize beep. But the latter has torsion (i.e. is enfactored), so the former is beep's antitransposed defactored Hermite form.		Note that the antitransposed defactored Hermite form of the comma list involves the list being defactored (e.g. torsion to be removed). For example, both [25/27, 35/36] and [25/27, 49/48] characterize beep. But the latter has torsion (i.e. is enfactored), so the former is beep's antitransposed defactored Hermite form.

	Normal interval lists can also be used to characterize the [[just intonation subgroups]] on which subgroup temperaments are defined and using which subgroup scales may be constructed. On the pages [[~~chromatic pairs]], [[subgroup~~ temperaments]] and [[~~just~~ intonation subgroup]]s can be found many examples; the subgroup lists are given in a form where generators of the subgroup are separated by periods so as to flag the fact that the list defines a subgroup. An example would be the Barbados subgroup, 2.3.13/5.		Normal interval lists can also be used to characterize the [[just intonation subgroups]] on which subgroup temperaments are defined and using which subgroup scales may be constructed. On the pages [[Subgroup temperaments]] and [[Just intonation subgroup]]s can be found many examples; the subgroup lists are given in a form where generators of the subgroup are separated by periods so as to flag the fact that the list defines a subgroup. An example would be the Barbados subgroup, 2.3.13/5.

	=== Positive ratio form ===		=== Positive-ratio form ===
	Similar to [[~~Normal lists~~ #Positive generator form\|the situation with mappings]], even though by using the HNF the antitransposed defactored Hermite form ensures that the first nonzero entry of each comma's [[prime-count vector]] is a positive ''number'', this does not necessarily mean that the corresponding commas are all positive ''in pitch''.		Similar to [[#Positive-generator form\|the situation with mappings]], even though by using the HNF the antitransposed defactored Hermite form ensures that the first nonzero entry of each comma's [[prime-count vector]] is a positive ''number'', this does not necessarily mean that the corresponding commas are all positive ''in pitch''.

	For example, the antitransposed defactored Hermite form of meantone's comma basis is [{{vector\| 4 -4 1 }}]. HNF has ensured that the first number is positive. But the vector {{vector\|4 -4 1}} represents the ratio 80/81, which is less than unity; it is still the meantone comma, but it is the meantone comma ''downward'' in pitch.		For example, the antitransposed defactored Hermite form of meantone's comma basis is [{{vector\| 4 -4 1 }}]. HNF has ensured that the first number is positive. But the vector {{vector\| 4 -4 1 }} represents the ratio 80/81, which is less than unity; it is still the meantone comma, but it is the meantone comma ''downward'' in pitch.

	Having negative commas like this can be surprising or confusing, and so the '''positive ratio form''' addresses this concern. To correct any negative comma, simply replace it with its reciprocal. In vector form, this can be done by changing the signs on every number; meantone can be put into positive ratio form as [{{vector\| -4 4 -1 }}].		Having negative commas like this can be surprising or confusing, and so the ''positive-ratio form'' addresses this concern. To correct any negative comma, simply replace it with its reciprocal. In vector form, this can be done by changing the signs on every number; meantone can be put into positive ratio form as [{{vector\| -4 4 -1 }}].

	The positive ratio form of septimal meantone is [81/80, 59049/57344].		The positive ratio form of septimal meantone is [81/80, 59049/57344].

	=== Integer reduced row echelon form (IRREF) ===		=== Integer reduced row echelon form (IRREF) ===
	Another important normal form for integer matrices is what [[Kite Giedraitis]] has dubbed the IRREF, the '''integer reduced row echelon form'''. It is the ~~[[Wikipedia:~~ Row echelon form\|reduced row echelon form]] but with integer entries, found by multiplying each row of the matrix by the least common multiple of all denominators in that row. It differs from the Hermite normal form in that each pivot is the only nonzero entry in its column. For a monzo list, it has the advantage of limiting the appearance of the ''N'' highest primes to only one comma each (where ''N'' is the codimension), isolating each prime's effect on the [[pergen]], but has the disadvantage that the commas tend to have high odd limits, and the comma list may have torsion.		Another important normal form for integer matrices is what [[Kite Giedraitis]] has dubbed the IRREF, the ''integer reduced row echelon form''. It is the {{w\|Row echelon form\|reduced row echelon form}} but with integer entries, found by multiplying each row of the matrix by the least common multiple of all denominators in that row. It differs from the Hermite normal form in that each pivot is the only nonzero entry in its column. For a monzo list, it has the advantage of limiting the appearance of the ''N'' highest primes to only one comma each (where ''N'' is the codimension), isolating each prime's effect on the [[pergen]], but has the disadvantage that the commas tend to have high odd limits, and the comma list may have torsion.

	Sometimes the IRREF is identical to the HNF. For more information, see [[IRREF]].		Sometimes the IRREF is identical to the HNF. For more information, see [[IRREF]].