hrmt

Parameters

v

多項式の行,すなわち,1xk 多項式行列

pg

多項式

U

ユニモジュラ多項式行列.

説明

[pg,U]=hrmt(v) は,多項式vについて ユニモジュラ行列Uおよび v*U = [pg,0]となるような, pg = 多項式の行の最大公約数を返します.

例

x = poly(0,'x');
v = [x*(x+1), x^2*(x+1), (x-2)*(x+1), (3*x^2+2)*(x+1)]
[pg, U] = hrmt(v);
U = clean(U)
det(U)

--> v = [x*(x+1), x^2*(x+1), (x-2)*(x+1), (3*x^2+2)*(x+1)]
 v  =
  x +x²  x² +x³  -2 -x +x²  2 +2x +3x² +3x³

--> [pg, U] = hrmt(v);
--> U = clean(U)
 U  =
  x   -2 +x  1 +1.5x²   0.5
  -1  0      0          0
  0   -x     -1 -1.5x²  -0.5
  0   0      -1         0

--> det(U)
 ans  =
  1

参照

• gcd — Greatest (positive) Common Divisor
• htrianr — 多項式行列の三角化