-7. If we factor out a "matrix algebra" class, then it would make sense
- to replace the custom embedding/unembedding functions with static
- _real_embedding() and _real_unembedding() methods.
+7. Solve the charpoly system with A_of_x.solve_right(x_powers[r])
+ rather than dumbass Cramer's rule.