多項式行列の三角化
[Ar,U,rk]=htrianr(A)
多項式行列
ユニモジュラ多項式行列
整数, Aの通常ランク
A
多項式行列 Aの三角化.
A は [m,n] , m <= nです.
[m,n]
m <= n
Ar=A*U
警告: "小さい"項の削除が行われます(関数コードを参照).
x=poly(0,'x'); M=[x;x^2;2+x^3]*[1,x-2,x^4]; [Mu,U,rk]=htrianr(M) det(U) M*U(:,1:2)