X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=blobdiff_plain;f=mjo%2Feja%2Feja_subalgebra.py;h=4458a7e06d9d905ab276665a210eb7dc8275320b;hp=1b86d236c390691939fd84cabb597e6b6159d406;hb=ebb0595a1c30afe9690d081672d8dfc88e90af74;hpb=d2136d7696349ee48790818ed3927cbd9464e342

diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py
index 1b86d23..4458a7e 100644
--- 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.