X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FTODO;h=3e3b9e736b2241b1baacae62e4cadc98ce3869a8;hb=73ba2d67c0850074e655b4da61aa021e6d9b6816;hp=382fb6e67d6050dd6e8215ad2d371a5be3022057;hpb=403848519cc35245713ffb96b2372deb1ee1c621;p=sage.d.git diff --git a/mjo/eja/TODO b/mjo/eja/TODO index 382fb6e..3e3b9e7 100644 --- a/mjo/eja/TODO +++ b/mjo/eja/TODO @@ -6,12 +6,8 @@ 4. Implement the octonion simple EJA. -5. Factor out the Jordan axiom and norm tests once all of the - algebras pass. +5. Factor out the unit-norm basis (and operator symmetry) tests once + all of the algebras pass. -6. Create Element subclasses for the matrix EJAs, and then override - their characteristic_polynomial() method to create a new algebra - over the rationals (with a non-normalized basis). We can then - compute the charpoly quickly by passing the natural representation - of the given element into the new algebra and computing its charpoly - there. (Relies on the theory to ensure that the charpolys are equal.) \ No newline at end of file +6. Add a TrivialEJA class and use it in the tests for is_trivial(). + The random_eja() function should also be able to return these.