sylm

Parâmetros

a,b

duas matrizes de polinômios

S

matriz

Descrição

sylm(a,b) fornece a matriz de Sylvester associada aos polinômios a e b, i.e. a matriz S tal que:

coeff( a*x + b*y )' = S * [coeff(x)';coeff(y)'] .

A dimensão de S é igual a degree(a)+degree(b).

Se a e b são polinômios primos entre si, então

rank(sylm(a,b))=degree(a)+degree(b)) e as instruções

u = sylm(a,b) \ eye(na+nb,1)
x = poly(u(1:nb),'z','coeff')
y = poly(u(nb+1:na+nb),'z','coeff')

computam os fatores de Bezout x e y de graus mínimos tais que a*x+b*y = 1