6. Switch to QQ in *all* algebras for _charpoly_coefficients().
This only works when we know that the basis can be rationalized...
6. Switch to QQ in *all* algebras for _charpoly_coefficients().
This only works when we know that the basis can be rationalized...