Hi,

I am a bit confused about the inner working of the symbolic math toolbox.

I always thought the symbolic math toolbox does a calculation in the background and therefore provides an exact analytical result, or notifies the user that the solution is not analytical.

But how does the "eig(...)" function then comes up with an result for an arbitrary polynomial matrix?

THe following codes shows two options to calculate the eigenvalues of an arbitrary matrix A.

Option 1 uses eig(A), to directly calculate the analytical expression for the eigenvalues.

Option 2 first constructs the characteristic polynomial and then roots it.

The following example always produces an analytical solution for option 1. But does return a "root(...)" object for option 2. If I understand correctly, the "root(...)" is used by Matlab, in case the to-be-rooted polynomial can not be rooted analytically (Abel-Ruffini Theorem?).

For me this begs the question, is the eigenvalue polynomial from eig(...) truly analytic?

A(:,:)= rand(3,3)*z^idex;

charPoly = charpoly(A, 'lambda')

opt2_ev = solve(charPoly == 0, lambda)