X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element_subalgebra.py;h=73e1cbd9ab34ce1078c6ebaeaade3cc87d3d9448;hb=ce40356d28ec29ebc9bd883ecc6a79c4f0d18e87;hp=a4d7d1f3de4c43347b43451be15cc38b5e1c9556;hpb=58c6ee3de5d4ee8f8349011c789132d7800b34e9;p=sage.d.git diff --git a/mjo/eja/eja_element_subalgebra.py b/mjo/eja/eja_element_subalgebra.py index a4d7d1f..73e1cbd 100644 --- a/mjo/eja/eja_element_subalgebra.py +++ b/mjo/eja/eja_element_subalgebra.py @@ -53,7 +53,7 @@ class FiniteDimensionalEuclideanJordanElementSubalgebra(FiniteDimensionalEuclide fdeja.__init__(self._superalgebra, superalgebra_basis, category=category, - check=False) + check_axioms=False) # The rank is the highest possible degree of a minimal # polynomial, and is bounded above by the dimension. We know @@ -64,30 +64,6 @@ class FiniteDimensionalEuclideanJordanElementSubalgebra(FiniteDimensionalEuclide self.rank.set_cache(W.dimension()) - def _a_regular_element(self): - """ - Override the superalgebra method to return the one - regular element that is sure to exist in this - subalgebra, namely the element that generated it. - - SETUP:: - - sage: from mjo.eja.eja_algebra import random_eja - - TESTS:: - - sage: set_random_seed() - sage: J = random_eja().random_element().subalgebra_generated_by() - sage: J._a_regular_element().is_regular() - True - - """ - if self.dimension() == 0: - return self.zero() - else: - return self.monomial(1) - - def one(self): """ Return the multiplicative identity element of this algebra.