-6. Refactor the current ungodly fast charpoly hack (relies on the
- theory to ensure that the charpolys are equal.)
+6. Implement spectral projector decomposition for EJA operators
+ using jordan_form() or eigenmatrix_right(). I suppose we can
+ ignore the problem of base rings for now and just let it crash
+ if we're not using AA as our base field.