eja: optionally pass matrix space into FDEJA instead of guessing it.

[sage.d.git] / mjo / eja / eja_subalgebra.py

diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py
index 1b86d236c390691939fd84cabb597e6b6159d406..4458a7e06d9d905ab276665a210eb7dc8275320b 100644 (file)
--- a/mjo/eja/eja_subalgebra.py
+++ b/mjo/eja/eja_subalgebra.py
@@ -171,6 +171,7 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
                          jordan_product,
                          inner_product,
                          field=field,
+                         matrix_space=superalgebra.matrix_space(),
                          prefix=prefix,
                          **kwargs)
 
@@ -213,19 +214,6 @@ class FiniteDimensionalEJASubalgebra(FiniteDimensionalEJA):
             return super()._element_constructor_(elt)
 
 
-
-    def matrix_space(self):
-        """
-        Return the matrix space of this algebra, which is identical to
-        that of its superalgebra.
-
-        This is correct "by definition," and avoids a mismatch when
-        the subalgebra is trivial (with no matrix basis elements to
-        infer anything from) and the parent is not.
-        """
-        return self.superalgebra().matrix_space()
-
-
     def superalgebra(self):
         """
         Return the superalgebra that this algebra was generated from.