Douglas Blumeyer's RTT How-To: Difference between revisions
Cmloegcmluin (talk | contribs) update explanation of integer canonical form per Dave's requests, and update Wolfram code (though it's not checked yet, and no longer consistent with the statements in the text) |
Cmloegcmluin (talk | contribs) →canonical form: wolfram computable notebook shared link |
||
| Line 1,102: | Line 1,102: | ||
To find the integer canonical form, we can combine the two processes we already know how to do: null-space for getting from a map basis to a comma basis, and anti-null-space to get from a comma basis to a map basis. Basically, to achieve canonical form of one type of basis, we convert it into the other type of basis, then back, and voilà: canonicalization. | To find the integer canonical form, we can combine the two processes we already know how to do: null-space for getting from a map basis to a comma basis, and anti-null-space to get from a comma basis to a map basis. Basically, to achieve canonical form of one type of basis, we convert it into the other type of basis, then back, and voilà: canonicalization. | ||
For this, we need to up our game to Wolfram computable notebooks. You can click "Make Your Own Copy" in the top left of the screen if you want to modify this notebook to make your own calculations. | |||
{| class="wikitable" | {| class="wikitable" | ||
|+Wolfram Language code ([https://www.wolframcloud.com/ | |+Wolfram Language code ([https://www.wolframcloud.com/obj/74d21d27-ce1b-432c-9854-3175988b152b try it out]) | ||
!input | !input | ||
!output | !output | ||