Defactoring: Difference between revisions
Cmloegcmluin (talk | contribs) update links |
Cmloegcmluin (talk | contribs) →motivation: use defactored Hermite form |
||
| Line 15: | Line 15: | ||
= motivation = | = motivation = | ||
A major use case for defactoring is to enable a [[canonical form]] for temperament mappings, or in other words, to achieve for the linear-algebra-only school of RTT practitioners a unique ID for temperaments. Previously this was only available by using lists of minor determinants AKA wedge products of mapping rows, which by virtue of reducing the information down to a single list of numbers, could be checked for enfactoring by simply checking the single row's GCD. For more information on this historical situation, see: [[Varianced Exterior Algebra#lack of importance to RTT]] | A major use case for defactoring is to enable a [[canonical form]] for temperament mappings, or in other words, to achieve for the linear-algebra-only school of RTT practitioners a unique ID for temperaments. Previously this was only available by using lists of minor determinants AKA wedge products of mapping rows, which by virtue of reducing the information down to a single list of numbers, could be checked for enfactoring by simply checking the single row's GCD. For more information on this historical situation, see: [[Varianced Exterior Algebra#lack of importance to RTT]], and for more information on the canonical form developed, see [[defactored Hermite form]]. | ||
= terminology change proposal = | = terminology change proposal = | ||