From 403848519cc35245713ffb96b2372deb1ee1c621 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Wed, 21 Aug 2019 11:09:25 -0400 Subject: [PATCH] eja: add an optimization to the TODO. --- mjo/eja/TODO | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 58cab5a..382fb6e 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -8,3 +8,10 @@ 5. Factor out the Jordan axiom and norm tests once all of the algebras pass. + +6. Create Element subclasses for the matrix EJAs, and then override + their characteristic_polynomial() method to create a new algebra + over the rationals (with a non-normalized basis). We can then + compute the charpoly quickly by passing the natural representation + of the given element into the new algebra and computing its charpoly + there. (Relies on the theory to ensure that the charpolys are equal.) \ No newline at end of file -- 2.43.2