SylvesterMat -- the Sylvester matrix of two polynomials |
Syntax |
SylvesterMat(F: RINGELEM, G: RINGELEM, X: RINGELEM): MAT |
Description |
Example |
/**/ use R ::= QQ[p,q,x]; /**/ F := x^3+p*x-q; G := deriv(F, x); /**/ SylvesterMat(F, G, x); matrix( /*RingWithID(36, "QQ[p,q,x]")*/ [[1, 0, p, -q, 0], [0, 1, 0, p, -q], [3, 0, p, 0, 0], [0, 3, 0, p, 0], [0, 0, 3, 0, p]]) /**/ det(SylvesterMat(F, G, x)) = resultant(F, G, x); true |
See Also |