From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 22 Jul 2019 05:54:41 +0000 (-0400)
Subject: eja: do an extra ambient_vector_space() in one method in case its a module.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=8d6b8dda3e10443b04ff8354424771d409a596c1;p=sage.d.git

eja: do an extra ambient_vector_space() in one method in case its a module.
---

diff --git a/mjo/eja/euclidean_jordan_algebra.py b/mjo/eja/euclidean_jordan_algebra.py
index 0ea9a4d..4a29792 100644
--- a/mjo/eja/euclidean_jordan_algebra.py
+++ b/mjo/eja/euclidean_jordan_algebra.py
@@ -876,7 +876,10 @@ class FiniteDimensionalEuclideanJordanAlgebra(FiniteDimensionalAlgebra):
             # The dimension of the subalgebra can't be greater than
             # the big algebra, so just put everything into a list
             # and let span() get rid of the excess.
-            V = self.vector().parent()
+            #
+            # We do the extra ambient_vector_space() in case we're messing
+            # with polynomials and the direct parent is a module.
+            V = self.vector().parent().ambient_vector_space()
             return V.span( (self**d).vector() for d in xrange(V.dimension()) )