X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;ds=sidebyside;f=mjo%2Feja%2Feja_element_subalgebra.py;h=a4d7d1f3de4c43347b43451be15cc38b5e1c9556;hb=58c6ee3de5d4ee8f8349011c789132d7800b34e9;hp=cff8b4e8bbc8e1f2119061ca5a5bb84842393a03;hpb=12178d0b2943c4fe22c34c57171c794bec6a853a;p=sage.d.git diff --git a/mjo/eja/eja_element_subalgebra.py b/mjo/eja/eja_element_subalgebra.py index cff8b4e..a4d7d1f 100644 --- a/mjo/eja/eja_element_subalgebra.py +++ b/mjo/eja/eja_element_subalgebra.py @@ -49,19 +49,19 @@ class FiniteDimensionalEuclideanJordanElementSubalgebra(FiniteDimensionalEuclide W = V.span_of_basis( V.from_vector(v) for v in basis_vectors ) + fdeja = super(FiniteDimensionalEuclideanJordanElementSubalgebra, self) + fdeja.__init__(self._superalgebra, + superalgebra_basis, + category=category, + check=False) + # The rank is the highest possible degree of a minimal # polynomial, and is bounded above by the dimension. We know # in this case that there's an element whose minimal # polynomial has the same degree as the space's dimension # (remember how we constructed the space?), so that must be # its rank too. - rank = W.dimension() - - fdeja = super(FiniteDimensionalEuclideanJordanElementSubalgebra, self) - return fdeja.__init__(self._superalgebra, - superalgebra_basis, - rank=rank, - category=category) + self.rank.set_cache(W.dimension()) def _a_regular_element(self):