From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 13 Mar 2021 15:44:51 +0000 (-0500)
Subject: eja: remove an impossible TODO.
X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=commitdiff_plain;h=c56bfc80980e381a62cbb964c4c7e1200d9c839c;hp=ec0cbae9fc7a437c2632abfa6f76f1ce5ae45674

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 5bb8587..38cff88 100644
--- 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?