X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_subalgebra.py;h=85ada0705fe8073fa80500d4719c38a5ea16a576;hb=e78216245caff4f11de66433f28fd995f4670b78;hp=4355e9f20e40d1a396f42a686d474c77e18f1b47;hpb=12178d0b2943c4fe22c34c57171c794bec6a853a;p=sage.d.git diff --git a/mjo/eja/eja_subalgebra.py b/mjo/eja/eja_subalgebra.py index 4355e9f..85ada07 100644 --- a/mjo/eja/eja_subalgebra.py +++ b/mjo/eja/eja_subalgebra.py @@ -130,7 +130,7 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda 1 """ - def __init__(self, superalgebra, basis, rank=None, category=None): + def __init__(self, superalgebra, basis, category=None, check_axioms=True): self._superalgebra = superalgebra V = self._superalgebra.vector_space() field = self._superalgebra.base_ring() @@ -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): @@ -175,12 +179,13 @@ class FiniteDimensionalEuclideanJordanSubalgebra(FiniteDimensionalEuclideanJorda fdeja = super(FiniteDimensionalEuclideanJordanSubalgebra, self) - return fdeja.__init__(field, - mult_table, - rank, - prefix=prefix, - category=category, - natural_basis=natural_basis) + fdeja.__init__(field, + mult_table, + prefix=prefix, + category=category, + natural_basis=natural_basis, + check_field=False, + check_axioms=check_axioms)