From 0cd1482ab4d38ca850e2f6ee1203038c8cbd9bb1 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 22 Nov 2020 22:17:16 -0500 Subject: [PATCH] eja: add another big TODO item. --- mjo/eja/TODO | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/mjo/eja/TODO b/mjo/eja/TODO index f09191e..220a701 100644 --- 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. + +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. -- 2.43.2