mjo/eja/TODO

   1 1. Add CartesianProductEJA.
   2
   3 2. Check the axioms in the constructor when check != False?
   4
   5 3. Add references and start citing them.
   6
   7 4. Implement the octonion simple EJA.
   8
   9 5. Factor out the Jordan axiom and norm tests once all of the
  10    algebras pass.
  11
  12 6. Create Element subclasses for the matrix EJAs, and then override
  13    their characteristic_polynomial() method to create a new algebra
  14    over the rationals (with a non-normalized basis). We can then
  15    compute the charpoly quickly by passing the natural representation
  16    of the given element into the new algebra and computing its charpoly
  17    there. (Relies on the theory to ensure that the charpolys are equal.)