X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=985e50a8dbbfc2d6f8c8d2e80d445fcd9b3ccd86;hb=e529e0e2775cf50207c7d01d5907214d03cdff5c;hp=b2495b59f3264e5d638a59f6630daa77214cdb50;hpb=49f266e16de87af712beb680570ff39e2ae87de4;p=sage.d.git diff --git a/mjo/eja/TODO b/mjo/eja/TODO index b2495b5..985e50a 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -8,12 +8,3 @@ 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?