]> gitweb.michael.orlitzky.com - sage.d.git/blob - mjo/eja/TODO
eja: expound on an existing TODO item.
[sage.d.git] / mjo / eja / TODO
1 0. Add tests for orthogonality in the Peirce decomposition.
2
3 1. Add CartesianProductEJA.
4
5 2. Check the axioms in the constructor when check != False?
6
7 3. Add references and start citing them.
8
9 4. Implement the octonion simple EJA.
10
11 5. Factor out the unit-norm basis (and operator symmetry) tests once
12 all of the algebras pass.
13
14 6. Can we make the minimal and characteristic polynomial tests work
15 for trivial algebras, too? Then we wouldn't need the "nontrivial"
16 argument to random_eja(). This would also allow us to potentially
17 pass a "size" of zero to the other constructors in random_eja() --
18 a code path that is basically untested right now.