eja: add another big TODO item.

diff --git a/mjo/eja/TODO b/mjo/eja/TODO
index f09191e3890ea4589ccc5fae3da3e27c2a23b6b8..220a70193014f215b25758fe39f42c82e1fbfbc4 100644 (file)
--- a/mjo/eja/TODO
+++ b/mjo/eja/TODO
@@ -22,3 +22,12 @@
    (as opposed to superalgebra elements) in the subalgebra constructor.
 
 7. Use charpoly for inverse stuff if it's cached.
    (as opposed to superalgebra elements) in the subalgebra constructor.
 
 7. Use charpoly for inverse stuff if it's cached.

+
+8. The inner product should be an *argument* to the main EJA
+   constructor.  Afterwards, the basis normalization step should be
+   optional (and enabled by default) for ALL algebras, since any
+   algebra can have a nonstandard inner-product and its basis can be
+   normalized with respect to that inner- product. For example, the
+   HadamardEJA could be equipped with an inner- product that is twice
+   the usual one. Then for the basis to be orthonormal, we would need
+   to divide e.g. (1,0,0) by <(1,0,0),(1,0,0)> = 2 to normalize it.