What is your notation intended to convey ? Is it intended to convey that you have two symbolic matrices whose eigenvalues and eigenvectors are the same and you wish to solve for the value of the symbolic variable that gives that property?
If so then I would suggest using eig() on each of the symbolic matrices, and then solve() for the set of eigenvalues to be the same (remember, the order is not fixed), perhaps following up by cross-checking that the set of eigenvectors is the same.
