From 11d8f0663525f469a0557b3f543338709c8e5148 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 21 Feb 2021 11:54:52 -0500 Subject: [PATCH] eja: add a comment with a new TODO... --- mjo/eja/eja_algebra.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index 9815ae4..55b8207 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -2762,6 +2762,18 @@ class CartesianProductEJA(CombinatorialFreeModule_CartesianProduct, y = self.from_vector(_mat2vec(y_mat)) return self.cartesian_inner_product(x,y) + # Use whatever category the superclass came up with. Usually + # some join of the EJA and Cartesian product + # categories. There's no need to check the field since it + # already came from an EJA. Likewise the axioms are guaranteed + # to be satisfied. We can't orthonormalize by default because + # there's no way to pass "orthonormalize=False" to + # cartesian_product(...) when the base ring is QQ and + # orthonormalizing would give us irrational entries. + # + # TODO: create a separate constructor that is capable of + # orthonormalizing and is only used by the cartesian_product() + # thingy. FiniteDimensionalEJA.__init__(self, basis, jordan_product, -- 2.44.2