Fix to product_space() for when L is not a true subalgebra of A.

sagemath · Aug 20, 2018 · 158bfdb · 158bfdb
1 parent 9b6c1fe
commit 158bfdb
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/sage/categories/finite_dimensional_lie_algebras_with_basis.py b/src/sage/categories/finite_dimensional_lie_algebras_with_basis.py
@@ -663,8 +663,13 @@ def product_space(self, L, submodule=False):
                 except AttributeError:
                     A = self
 
+            if L not in self.category():
+                # L might be a submodule of A.module()
+                LB = [self.from_vector(b) for b in L.basis()]
+            else:
+                LB = L.basis()
+
             B = self.basis()
-            LB = L.basis()
             b_mat = matrix(A.base_ring(), [A.bracket(b, lb).to_vector()
                                            for b in B for lb in LB])
             if submodule is True or not (self.is_ideal(A) and L.is_ideal(A)):