The isgn argument designates the sign of the second term of the left hand side of the equation. The default value of this argument is 1.

The constructor options 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).

The perturb argument designates whether to allow use of perturbed values in the case that eigenvalues are detected as being too close to guarantee convergence to a unique solution. The default value for this argument is true. When this option is supplied as false an error is thrown in the case that close eigenvalues are detected.

The tranA argument specifies whether the first Matrix argument A should be transposed prior to solving. The default value of this argument is false.

The schurA argument specifies whether to omit reduction of the first Matrix argument to Schur form. This avoids unnecessary computation in the case that the first Matrix argument is already in Schur form. The default value of this argument is false.

The tranB argument specifies whether the second Matrix argument B should be transposed prior to solving. The default value of this argument is false.

The schurB argument specifies whether to omit reduction of the second Matrix argument to Schur form. This avoids unnecessary computation in the case that the second Matrix argument is already in Schur form. The default value of this argument is false.

The SylvesterSolve command computes the solution to the Sylvester matrix equation$A·X+\left(\mathrm{isgn}X\right)·B=\mathrm{scale}C$ 

The returned solution is an expression sequence consisting of the Matrix X followed by the scalar scale.

This routine operates in the floating-point domain. Hence, the entries in the Matrix arguments must necessarily be of type complex(numeric).

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

$A≔⟨⟨2\,3\,7⟩\left|⟨-1\,-1\,5⟩\right|⟨2\,1\,7⟩⟩\:$

$C≔\mathrm{IdentityMatrix}\left(3\right)\:$

$\mathrm{SylvesterSolve}\left(A\,A\,C\right)$

$\left[\begin{array}{ccc}\mathrm{-0.176470588235294}& 0.250000000000000& 0.0147058823529412\\ \mathrm{-0.205882352941176}& \mathrm{-1.62981927784384}\times {10}^{\mathrm{-17}}& 0.0588235294117647\\ 0.323529411764706& \mathrm{-0.250000000000000}& 0.0147058823529412\end{array}\right],1.$

$\mathrm{SylvesterSolve}\left(A\,A\,C\,\mathrm{`transpose[A]`}=\mathrm{true}\right)$

$\left[\begin{array}{ccc}\mathrm{-1.23312439729990}& 0.512295081967212& 0.204194792671167\\ 0.512295081967212& \mathrm{-0.950819672131147}& 0.0122950819672131\\ 0.204194792671167& 0.0122950819672130& 0.0113307618129219\end{array}\right],1.$

$B≔\mathrm{SchurForm}\left(A\right)$

$B≔\left[\begin{array}{ccc}9.52884381170059& \mathrm{-6.26866718463655}& \mathrm{-1.35252975162594}\\ 0.& \mathrm{-0.764421905850299}& 2.98453316627297\\ 0.& \mathrm{-0.999745312853160}& \mathrm{-0.764421905850299}\end{array}\right]$

$\mathrm{SylvesterSolve}\left(A\,B\,C\right)$

$\left[\begin{array}{ccc}0.0894092265947832& \mathrm{-0.0558774253452016}& 0.218774391630871\\ \mathrm{-0.0280030511867528}& \mathrm{-0.310061447256639}& \mathrm{-0.175968658837354}\\ \mathrm{-0.0293940299614781}& 0.269087416410547& \mathrm{-0.0792924182346908}\end{array}\right],1.$

$\mathrm{SylvesterSolve}\left(A\,B\,C\,\mathrm{`Schur[B]`}=\mathrm{true}\right)$

$\left[\begin{array}{ccc}0.0894092265947832& \mathrm{-0.0558774253452016}& 0.218774391630871\\ \mathrm{-0.0280030511867528}& \mathrm{-0.310061447256639}& \mathrm{-0.175968658837354}\\ \mathrm{-0.0293940299614781}& 0.269087416410547& \mathrm{-0.0792924182346908}\end{array}\right],1.$