X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_subalgebra.py;h=cb9631df18b5a0749dda75855682c40a689cd5b3;hb=c089560955d306b4c2408b222012747c8fe3bddc;hp=292c770c8b2bb8d52ecc38c25c1170a36ded59bc;hpb=b875c6fdc66a9723bc949a85c5374ef3c94bf7a2;p=sage.d.git diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py index 292c770..cb9631d 100644 --- a/mjo/eja/eja_subalgebra.py +++ b/mjo/eja/eja_subalgebra.py @@ -165,19 +165,17 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda prefix = prefixen[0] basis_vectors = [ b.to_vector() for b in basis ] - 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) + n = len(basis) mult_table = [[W.zero() for i in range(n)] for j in range(n)] for i in range(n): for j in range(n): - product = superalgebra_basis[i]*superalgebra_basis[j] + product = basis[i]*basis[j] # product.to_vector() might live in a vector subspace # if our parent algebra is already a subalgebra. We # use V.from_vector() to make it "the right size" in @@ -185,8 +183,7 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda product_vector = V.from_vector(product.to_vector()) mult_table[i][j] = W.coordinate_vector(product_vector) - natural_basis = tuple( b.natural_representation() - for b in superalgebra_basis ) + natural_basis = tuple( b.natural_representation() for b in basis ) self._vector_space = W