eja: remove an impossible TODO.

We can't use the _rational_algebra to get minimal polynomials like we
do with characteristic ones. The secret with the charpolys is that the
(irrational) coordinates of the element are hidden behind polynomial
variables. With the minimal polynomial, we'd need to operate on them
directly... but we can't, in a rational algebra.

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index 5bb85879e781286ca67df0a37a856c7db0a7885d..38cff88c1584b5be8c6a6ce7e90a47b8350adce3 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -6,6 +6,3 @@
    could easily cache the identity and charpoly coefficients using
    the nontrivial factor. On the other hand, it's nice that we can
    test out some alternate code paths...
-
-4. Can we hit "x" with the deortho matrix and delegate to the
-   _rational_algebra to speed up minimal_polynomial?