answered 6 years ago
I just found that characteristic polynomals of matrices can also be converted to SR by substituting one of their symbols with subs.