X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=76b9eaf1dcf19f3c8385bd1f0486128b005ca3f2;hb=93e7b502538bd416c11a81cd0b8f47c24e934691;hp=b2495b59f3264e5d638a59f6630daa77214cdb50;hpb=5ce914aa8f29ad8d9d80b85b8ea33dd0cd735d4f;p=sage.d.git diff --git a/mjo/eja/TODO b/mjo/eja/TODO index b2495b5..76b9eaf 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -1,19 +1,20 @@ 1. Add CartesianProductEJA. -2. Check the axioms in the constructor when check != False? +2. Add references and start citing them. -3. Add references and start citing them. +3. Implement the octonion simple EJA. -4. Implement the octonion simple EJA. - -5. Factor out the unit-norm basis (and operator symmetry) tests once +4. 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. +5. Override inner_product(), _max_test_case_size(), et cetera in + DirectSumEJA. + +6. Switch to QQ in *all* algebras for _charpoly_coefficients(). -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? +7. Pass already_echelonized (default: False) and echelon_basis + (default: None) into the subalgebra constructor. The value of + already_echelonized can be passed to V.span_of_basis() to save + some time, and usinf e.g. FreeModule_submodule_with_basis_field + we may somehow be able to pass the echelon basis straight in to + save time.