construct the Bezout Matrix of two polynomials - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Linear Algebra : LinearAlgebra Package : Constructors : LinearAlgebra/BezoutMatrix

LinearAlgebra[BezoutMatrix] - construct the Bezout Matrix of two polynomials

Calling Sequence

BezoutMatrix(P, Q, x, options)

Parameters

P, Q

-

polynomials in x

x

-

(optional) name; the variable in polynomials P and Q

options

-

(optional); constructor options for the result object

`method=symmetric`

-

(optional) use the symmetric form of the Bezout matrix

`methodoptions=increasing_degree`

-

(optional) order the Bezout matrix entries so that the null space is of the form 1, x, x^2, ... (the default is decreasing_degree)

Description

• 

The BezoutMatrix(P, Q) command constructs the Bezout Matrix of the univariate polynomials P and Q in the same indeterminate.

• 

The BezoutMatrix(P, Q, x) command is used when P and Q are multivariate polynomials; the main indeterminate of P and Q can be specified by using the optional parameter x.

• 

Let P=i=0npixi and Q=j=0mqjxj where mn.  Then B=BezoutMatrixP,Q,x has entries

Bmi+1,j=coeffr=imqmrxnrr=1ipnr+1xirr=inpnrxnrr=1iqmr+1xir,x,nj

for i=1..m and j=1..n

Bi,im1+j=qmj1

for i=m+1..n and j=1..m+1

Bi,j=0

for all other values of i and j

  

 

• 

If the option method=symmetric is chosen, then the matrix B is returned such that PxQηPηQxxη=`...`,η2,η,1·B·`...`,x2,x,1%T.

• 

If the option methodoptions=increasing_degree is chosen, the ordering of the vectors in this quadratic form are reversed.

• 

If degree(Q) > degree(P), then BezoutMatrix(Q, P, x) is constructed.

• 

The determinant of the Bezout Matrix is equal to resultantP,Q,x.

• 

If the option method=symmetric is chosen, then the determinant of the Bezout Matrix is a multiple of resultantP,Q,x.

• 

The constructor option provide additional information (readonly, shape, storage, order, datatype, and attributes) to the Matrix constructor that builds the result. These options may also be provided in the form outputoptions=[...], where [...] represents a Maple list.  If a constructor option is provided in both the calling sequence directly and in an outputoptions option, the latter takes precedence (regardless of the order).

Examples

withLinearAlgebra:

p:=a+bx+cx2

p:=cx2+bx+a

(1)

q:=d+ex+fx3

q:=fx3+ex+d

(2)

A:=BezoutMatrixp,q,x

A:=afcebecddbbfafcedccba

(3)

DeterminantA

a3f22a2cef+ab2ef+3abcdf+ac2e2b3dfbc2de+c3d2

(4)

resultantp,q,x

a3f22a2cef+ab2ef+3abcdf+ac2e2b3dfbc2de+c3d2

(5)

B:=BezoutMatrixp,q,x,method=symmetric

B:=fcbfafbfaf+cedcafdcae+bd

(6)

MatrixOptionsB,'shape'

symmetric

(7)

B:=BezoutMatrixp,q,x,method=symmetric,shape=rectangular

B:=fcbfafbfaf+cedcafdcae+bd

(8)

MatrixOptionsB,'shape'

(9)

normalDeterminantBresultantp,q,x

f

(10)

See Also

LinearAlgebra, LinearAlgebra[Determinant], LinearAlgebra[SylvesterMatrix], resultant


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam