bezout

Parameters

p1, p2

2つの実数多項式または2つの整数スカラー(8型)

説明

[thegcd,U]=bezout(p1,p2) は GCD, p1 および p2の thegcdおよび 以下のような(2x2) ユニモジュラ行列U を計算します:

[p1,p2]*U = [thegcd,0]

p1およびp2のlcmは 以下のように指定されます:

p1*U(1,2) (または -p2*U(2,2))

例

// 多項式の場合
x=poly(0,'x');
p1=(x+1)*(x-3)^5;p2=(x-2)*(x-3)^3;
[thegcd,U]=bezout(p1,p2)
det(U)
clean([p1,p2]*U)
thelcm=p1*U(1,2)
lcm([p1,p2])

// 整数の場合
i1=int32(2*3^5); i2=int32(2^3*3^2);
[thegcd,U]=bezout(i1,i2)
V=int32([2^2*3^5, 2^3*3^2,2^2*3^4*5]);
[thegcd,U]=gcd(V)
V*U
lcm(V)

参照

• poly — 多項式を定義する
• roots — 多項式の根
• simp — 有理数の簡単化
• clean — 行列を消去 (小さなエントリをゼロに丸める)
• lcm — 最小公倍数

作者

S. Steer INRIA