X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_element_subalgebra.py;h=73e1cbd9ab34ce1078c6ebaeaade3cc87d3d9448;hb=ce40356d28ec29ebc9bd883ecc6a79c4f0d18e87;hp=b9069c484d16b57b4154774d5a288350adf1b64e;hpb=3e46389a46db107db3fe36ace6fe5f2c2b52f815;p=sage.d.git diff --git a/mjo/eja/eja_element_subalgebra.py b/mjo/eja/eja_element_subalgebra.py index b9069c4..73e1cbd 100644 --- a/mjo/eja/eja_element_subalgebra.py +++ b/mjo/eja/eja_element_subalgebra.py @@ -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.