https://mingredbestcheapprice.blogspot.com/2024/03/diagonalize-symbolic-matrix.html