Smith 范式（也称为 Smith Canonical 形式或不变因子定理）是一个对角矩阵 D，它包含域 F 上任何大小为 n × m 的 A 矩阵的不变因子（在附加的实现中，它为整数 Z 和多项式环 F[x])。 D = |d1 0 ... 0 ... 0|= TAS |0 d2 ... 0 ... 0| |: : ... : ... :| |0 0 ...博士 ... 0| |: : ... : ... :| |0 0 ... 0 ... 0|
其中 d1 , ..., dr ∈ F 是单数的，dj |dj+1 对于 1 ≤ k ≤ r − 1。T 是基本行单模矩阵的乘积，S 是基本列单模矩阵的乘积。
提供了两个函数：用于整数矩阵的 [T,D,S]=smithFormInt(A) 和用于多项式矩阵的 [T,D,S]=smithFormPoly(A)。
运行 smithDemo
