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
2024-04-08 16:29:17
17KB
matlab
1