>> I am asking how to devise a computer algorithm that can solve the task >> symbolically (by which I mean playing with symbols, not concrete numbers, >> even not exact numbers such as rational numbers). > > OK, then I suppose you understand how to solve other tasks symbolically. > Perhaps you can then explain your understanding of how to solve a quadratic > equation symbolically, and then we can explain the Jordan form > methods based on your understanding/ or perhaps refer you to a book on > computer algebra, which you can study before asking another question.
Great, please refer me to the relevant book. This is what I have been asking for since the beginning.