Mathematical theory of saturation: Difference between revisions

Cmloegcmluin (talk | contribs)
fix bad vector and map templates
Cmloegcmluin (talk | contribs)
m Wolfram Language implementation: correct name of method
Line 14: Line 14:


  <nowiki>rightReducingMatrix[m_] := Last[SmithDecomposition[m]]
  <nowiki>rightReducingMatrix[m_] := Last[SmithDecomposition[m]]
geneDefactor[m_] := Take[Inverse[rightReducingMatrix[m]], MatrixRank[m]]</nowiki>
smithDefactor[m_] := Take[Inverse[rightReducingMatrix[m]], MatrixRank[m]]</nowiki>


= See also =
= See also =