Gencom: Difference between revisions

Line 1:

A '''gencom''' is a list of generators for a [[temperament]] followed by commas for the temperament, in a specific order. The generators are [[transversal generators]], meaning rational intervals belonging to the JI group the temperament tempers, which it tempers to generators for the ~~temperment~~. The gencom is denoted [generator list; comma list], with a semicolon between the generators and the commas. For instance, [16/15 25/24; 81/80] is a gencom for [[5-limit]] meantone. On the other hand, the exact same intervals with a different placement of the semicolon is a gencom for 5-limit JI: [16/15 25/24 81/80;], and another, [16/15; 25/24 81/80] gives 5-limit [[7edo|7et]].

A '''gencom''' is a list of generators for a [[temperament]] followed by commas for the temperament, in a specific order. The generators are [[transversal generators]], meaning rational intervals belonging to the JI group the temperament tempers, which it tempers to generators for the temperament. The gencom is denoted [generator list; comma list], with a semicolon between the generators and the commas. For instance, [16/15 25/24; 81/80] is a gencom for [[5-limit]] meantone. On the other hand, the exact same intervals with a different placement of the semicolon is a gencom for 5-limit JI: [16/15 25/24 81/80;], and another, [16/15; 25/24 81/80] gives 5-limit [[7edo|7et]].

The reason for putting the generators together with the commas is that notating the gencom as a list of [[monzo]]s allows it to be treated as a [[subgroup basis matrix]]: the group of intervals generated by the gencom is the same no matter how we place the semicolon, and so is the matrix. When this group is a [[harmonic limit|full ''p''-limit group]], as in the example above, the matrix is a {{w|unimodular matrix}}. Inverting and transposing it gives a matrix whose rows are [[val]]s; if ''r'' is the [[rank]] of the temperament, then the first ''r'' rows are the [[mapping|mapping matrix]] corresponding to the generator transversal. More interesting is the case where the gencom generates a [[Just intonation subgroups|JI subgroup]] of some ''p''-limit. In all cases the transpose of the [[pseudoinverse]] of the matrix of monzos gives a matrix of vals whose first ''r'' rows we call the '''gencom mapping''', and which in its entirety we call the '''extended gencom mapping'''. The extended gencom mapping is only a unimodular matrix, and the inversion ordinary matrix inversion, in the case of the full ''p''-limit. However in all cases the transpose pseudoinverse of the gencom matrix is the extended gencom mapping, and the transpose pseudoinverse of the extended mapping is the gencom matrix.

Revision as of 08:42, 20 October 2024 view source FloraC (talk \| contribs) autopatrolled, Bureaucrats, Interface administrators, Sysops 24,878 edits →Example: clarify a bit ← Older edit		Revision as of 18:29, 25 January 2025 view source Godtone (talk \| contribs) autopatrolled, emailconfirmed 2,444 edits m typo Newer edit →
Line 1:		Line 1:
	A '''gencom''' is a list of generators for a [[temperament]] followed by commas for the temperament, in a specific order. The generators are [[transversal generators]], meaning rational intervals belonging to the JI group the temperament tempers, which it tempers to generators for the ~~temperment~~. The gencom is denoted [generator list; comma list], with a semicolon between the generators and the commas. For instance, [16/15 25/24; 81/80] is a gencom for [[5-limit]] meantone. On the other hand, the exact same intervals with a different placement of the semicolon is a gencom for 5-limit JI: [16/15 25/24 81/80;], and another, [16/15; 25/24 81/80] gives 5-limit [[7edo\|7et]].		A '''gencom''' is a list of generators for a [[temperament]] followed by commas for the temperament, in a specific order. The generators are [[transversal generators]], meaning rational intervals belonging to the JI group the temperament tempers, which it tempers to generators for the temperament. The gencom is denoted [generator list; comma list], with a semicolon between the generators and the commas. For instance, [16/15 25/24; 81/80] is a gencom for [[5-limit]] meantone. On the other hand, the exact same intervals with a different placement of the semicolon is a gencom for 5-limit JI: [16/15 25/24 81/80;], and another, [16/15; 25/24 81/80] gives 5-limit [[7edo\|7et]].

	The reason for putting the generators together with the commas is that notating the gencom as a list of [[monzo]]s allows it to be treated as a [[subgroup basis matrix]]: the group of intervals generated by the gencom is the same no matter how we place the semicolon, and so is the matrix. When this group is a [[harmonic limit\|full ''p''-limit group]], as in the example above, the matrix is a {{w\|unimodular matrix}}. Inverting and transposing it gives a matrix whose rows are [[val]]s; if ''r'' is the [[rank]] of the temperament, then the first ''r'' rows are the [[mapping\|mapping matrix]] corresponding to the generator transversal. More interesting is the case where the gencom generates a [[Just intonation subgroups\|JI subgroup]] of some ''p''-limit. In all cases the transpose of the [[pseudoinverse]] of the matrix of monzos gives a matrix of vals whose first ''r'' rows we call the '''gencom mapping''', and which in its entirety we call the '''extended gencom mapping'''. The extended gencom mapping is only a unimodular matrix, and the inversion ordinary matrix inversion, in the case of the full ''p''-limit. However in all cases the transpose pseudoinverse of the gencom matrix is the extended gencom mapping, and the transpose pseudoinverse of the extended mapping is the gencom matrix.		The reason for putting the generators together with the commas is that notating the gencom as a list of [[monzo]]s allows it to be treated as a [[subgroup basis matrix]]: the group of intervals generated by the gencom is the same no matter how we place the semicolon, and so is the matrix. When this group is a [[harmonic limit\|full ''p''-limit group]], as in the example above, the matrix is a {{w\|unimodular matrix}}. Inverting and transposing it gives a matrix whose rows are [[val]]s; if ''r'' is the [[rank]] of the temperament, then the first ''r'' rows are the [[mapping\|mapping matrix]] corresponding to the generator transversal. More interesting is the case where the gencom generates a [[Just intonation subgroups\|JI subgroup]] of some ''p''-limit. In all cases the transpose of the [[pseudoinverse]] of the matrix of monzos gives a matrix of vals whose first ''r'' rows we call the '''gencom mapping''', and which in its entirety we call the '''extended gencom mapping'''. The extended gencom mapping is only a unimodular matrix, and the inversion ordinary matrix inversion, in the case of the full ''p''-limit. However in all cases the transpose pseudoinverse of the gencom matrix is the extended gencom mapping, and the transpose pseudoinverse of the extended mapping is the gencom matrix.