Important: The linalg package has been deprecated. Use the superseding command LinearAlgebra[BezoutMatrix], instead.

- For information on migrating linalg code to the new packages, see examples/LinearAlgebraMigration.

The call bezout(p, q, x) returns the Bezout matrix of the polynomials p and q with respect to x. Note that the determinant of this matrix is equal to resultant(p, q, x).

If p is of degree m in x and q is of degree n in x then the output is a square matrix of dimension max(m, n).

The command with(linalg,bezout) allows the use of the abbreviated form of this command.

$\mathrm{with}\left(\mathrm{linalg}\right)\:$

$p≔a+bx+c{x}^2$

$p≔c{x}^2+bx+a$

$q≔d+ex+f{x}^2$

$q≔f{x}^2+ex+d$

$\mathrm{bezout}\left(p\,q\,x\right)$

$\left[\begin{array}{cc}-af+dc& -ae+db\\ -bf+ec& -af+dc\end{array}\right]$