X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=da3e650bf04da611af5d5d54b4fad635b491da9d;hb=c66155061d8b520f7c90a7e866c0f9366202d64c;hp=7285d4aae1c90713348bfbc7126e78d67958944c;hpb=8b74269d8c59aa31306f1de713d6ce3fab9cb5de;p=sage.d.git diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 7285d4a..da3e650 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -1,3 +1,17 @@ 1. Add CartesianProductEJA. 2. Check the axioms in the constructor when check != False? + +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. Refactor the current ungodly fast charpoly hack (relies on the + theory to ensure that the charpolys are equal.) + +7. If we factor out a "matrix algebra" class, then it would make sense + to replace the custom embedding/unembedding functions with static + _real_embedding() and _real_unembedding() methods.