hermit

パラメータ

A

多項式行列

Ar

三角多項式行列

U

ユニモジュラ多項式行列

説明

エルミート形式: U は, A*Uがエルミート三角形式となるような ユニモジュラ行列です:

出力変数は Ar=A*Uです.

警告: 実験版

例

s = %s;
p = [s, s*(s+1)^2, 2*s^2+s^3];
[Ar,U] = hermit(p'*p);
clean(p'*p*U)
det(U)

--> clean(p'*p*U)
 ans  =
  0  0  s²         

  0  0  s² +2s³ +s⁴

  0  0  2s³ +s⁴    

--> det(U)
 ans  =
  1

参照

• hrmt — 多項式の最大公約数
• htrianr — 多項式行列の三角化