X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=38cff88c1584b5be8c6a6ce7e90a47b8350adce3;hb=c56bfc80980e381a62cbb964c4c7e1200d9c839c;hp=0c3bd156662e20247bdc2206a304e4acadf55ec2;hpb=ef6cbbcaf6e708e327968211b9d11d2e29a7a35b;p=sage.d.git diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 0c3bd15..38cff88 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -1,15 +1,8 @@ -1. Add CartesianProductEJA. +1. Add references and start citing them. -2. Check the axioms in the constructor when check != False? +2. Profile (and fix?) any remaining slow operations. -3. Add references and start citing them. - -4. Implement the octonion simple EJA. - -5. Factor out the unit-norm basis (and operator symmetry) tests once - all of the algebras pass. - -6. Override inner_product(), _max_test_case_size(), et cetera in - DirectSumEJA. - -7. Switch to QQ in *all* algebras for _charpoly_coefficients(). +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...