Defactoring: Difference between revisions
Cmloegcmluin (talk | contribs) extract trailing zeros point to canonical form |
Cmloegcmluin (talk | contribs) update links |
||
Line 319: | Line 319: | ||
After we know how to do these two things individually, we'll learn how to tweak them and assemble them together in order to perform a complete column Hermite defactoring. | After we know how to do these two things individually, we'll learn how to tweak them and assemble them together in order to perform a complete column Hermite defactoring. | ||
Fortunately, both of these two processes can be done using a technique you may already be familiar with if you've learned how to calculate the null-space of a mapping by hand (as demonstrated [[ | Fortunately, both of these two processes can be done using a technique you may already be familiar with if you've learned how to calculate the null-space of a mapping by hand (as demonstrated [[Douglas_Blumeyer%27s_RTT_How-To#null-space|here]]): | ||
# augmenting your matrix with an identity matrix | # augmenting your matrix with an identity matrix | ||
# performing elementary row or column operations until a desired state is achieved<ref>For convenience, here is a summary of the three different techniques and their targets:<br> | # performing elementary row or column operations until a desired state is achieved<ref>For convenience, here is a summary of the three different techniques and their targets:<br> | ||
Line 863: | Line 863: | ||
= canonical comma-bases = | = canonical comma-bases = | ||
Canonical form is not only for mappings; comma-bases may also be put into canonical form. The only difference is that they must be put in an "antitranspose sandwich", or in other words, antitransposed<ref>See a discussion of the antitranspose here: [[ | Canonical form is not only for mappings; comma-bases may also be put into canonical form. The only difference is that they must be put in an "antitranspose sandwich", or in other words, antitransposed<ref>See a discussion of the antitranspose here: [[Douglas_Blumeyer%27s_RTT_How-To#null-space]]</ref>once at the beginning, and then antitransposed again at the end. | ||
For example, suppose we have the comma-basis for septimal meantone: | For example, suppose we have the comma-basis for septimal meantone: |