X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=5bb85879e781286ca67df0a37a856c7db0a7885d;hb=ec0cbae9fc7a437c2632abfa6f76f1ce5ae45674;hp=e8a2a8d4fc8988b1ad6f744a69daba9cf0582397;hpb=3e46389a46db107db3fe36ace6fe5f2c2b52f815;p=sage.d.git diff --git a/mjo/eja/TODO b/mjo/eja/TODO index e8a2a8d..5bb8587 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -1,13 +1,11 @@ -1. Add CartesianProductEJA. +1. Add references and start citing them. -2. Add references and start citing them. +2. Profile (and fix?) any remaining slow operations. -3. Implement the octonion simple EJA. +3. When we take a Cartesian product involving a trivial algebra, we + 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. Factor out the unit-norm basis (and operator symmetry) tests once - all of the algebras pass. - -5. Override inner_product(), _max_test_case_size(), et cetera in - DirectSumEJA. - -6. Switch to QQ in *all* algebras for _charpoly_coefficients(). +4. Can we hit "x" with the deortho matrix and delegate to the + _rational_algebra to speed up minimal_polynomial?