construct a Sylvester matrix of a polynomial
SylvesterMatrix(F, G, vars)
SylvesterMatrix(F, G, vars, degree)
SylvesterMatrix(F, G, vars, degree, rtableoptions=[options])
set or list of variables
(optional) non-negative integer, defaults to 1
(optional) options that are passed to the Matrix constructor
The SylvesterMatrix command is a generalized and multivariate version of the LinearAlgebra:-SylvesterMatrix command.
A (generalized) Sylvester matrix is matrix that has full rank only if the input polynomials have a greatest common divisor of total degree less than degree (1 by default).
A Sylvester matrix can be considered to be a block matrix composed of two convolution matrices and this command simply calls the ConvolutionMatrix command.
The approximate polynomial division command GCD solves an approximate nullspace problem on the output of this command.
f ≔ x2+y2−1;g ≔ x2+x⁢y+y+1
S1 ≔ SylvesterMatrix⁡f,g,x,y
Maximal rank, means degree( gcd(f,g) ) < 1
d ≔ x2−y2+1;f1 ≔ f⁢d;g1 ≔ g⁢d
Maximal rank, means degree( gcd(f,g) ) < 3
S2 ≔ SylvesterMatrix⁡f1,g1,x,y,3
S3 ≔ SylvesterMatrix⁡f1,g1,x,y,2
Rank deficiency of exactly 1, means degree( gcd(f,g) ) = 2 exactly
The PolynomialTools:-Approximate:-SylvesterMatrix command was introduced in Maple 2021.
For more information on Maple 2021 changes, see Updates in Maple 2021.
Download Help Document
What kind of issue would you like to report? (Optional)