From c56bfc80980e381a62cbb964c4c7e1200d9c839c Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sat, 13 Mar 2021 10:44:51 -0500 Subject: [PATCH] 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. --- mjo/eja/TODO | 3 --- 1 file changed, 3 deletions(-) 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? -- 2.43.2