]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: do an extra ambient_vector_space() in one method in case its a module.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 22 Jul 2019 05:54:41 +0000 (01:54 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 29 Jul 2019 03:19:01 +0000 (23:19 -0400)
mjo/eja/euclidean_jordan_algebra.py

index 0ea9a4debe9c2ad0e33652f50b779fb8fc3838d3..4a2979248fc5e7b90938a0c18b8a7545bb780e97 100644 (file)
@@ -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()) )