X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_subalgebra.py;h=85ada0705fe8073fa80500d4719c38a5ea16a576;hb=09e103320c85de7be6846be6980642d37a5ca6a9;hp=8f003739ac8e520d3fc43df567c24fbb46c316b6;hpb=89868b0bee2843c64160f4cd67aa333be0a2e5d1;p=sage.d.git diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py index 8f00373..85ada07 100644 --- a/mjo/eja/eja_subalgebra.py +++ b/mjo/eja/eja_subalgebra.py @@ -153,7 +153,11 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda superalgebra_basis = [ self._superalgebra.from_vector(b) for b in basis_vectors ] + # If our superalgebra is a subalgebra of something else, then + # these vectors won't have the right coordinates for + # V.span_of_basis() unless we use V.from_vector() on them. W = V.span_of_basis( V.from_vector(v) for v in basis_vectors ) + n = len(superalgebra_basis) mult_table = [[W.zero() for i in range(n)] for j in range(n)] for i in range(n):