Mathematical theory of saturation: Difference between revisions
Cmloegcmluin (talk | contribs) math formatting |
Cmloegcmluin (talk | contribs) No edit summary |
||
| Line 13: | Line 13: | ||
= Wolfram Language implementation = | = Wolfram Language implementation = | ||
<nowiki> | <nowiki>rightReducingMatrix[m_] := Last[SmithDecomposition[m]] | ||
rightReducingMatrix[m_] := Last[SmithDecomposition[m]] | geneDefactor[m_] := Take[Inverse[rightReducingMatrix[m]], MatrixRank[m]]</nowiki> | ||
geneDefactor[m_] := Take[Inverse[rightReducingMatrix[m]], MatrixRank[m]] | |||
</nowiki> | = See also = | ||
* [[defactoring]] | |||
[[Category:math]] | [[Category:math]] | ||