From 5ce914aa8f29ad8d9d80b85b8ea33dd0cd735d4f Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 29 Aug 2019 11:46:47 -0400 Subject: [PATCH] eja: add some more TODO items. --- mjo/eja/TODO | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 985e50a..b2495b5 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -8,3 +8,12 @@ 5. Factor out the unit-norm basis (and operator symmetry) tests once all of the algebras pass. + +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. + +7. Do we really need to orthonormalize the basis in a subalgebra? + So long as we can decompose the operator (which is invariant + under changes of basis), who cares? -- 2.43.2