X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feuclidean_jordan_algebra.py;h=4a2979248fc5e7b90938a0c18b8a7545bb780e97;hb=8d6b8dda3e10443b04ff8354424771d409a596c1;hp=0ea9a4debe9c2ad0e33652f50b779fb8fc3838d3;hpb=9c34119f1c650df0a4c2c20ea4723152de80edae;p=sage.d.git 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()) )