A D5107: Triple $(B, D, B^{-1})$ is a diagonal factorization for $A$ if and only if
(1) | $B \in \mathbb{C}^{N \times N}$ is an D5870: Invertible complex matrix |
(2) | $D \in \mathbb{C}^{N \times N}$ is a D5858: Diagonal complex matrix |
(3) | $B^{-1}$ is an D2089: Inverse matrix for $B$ |
(4) | \begin{equation} A = B D B^{-1} \end{equation} |