From: Michael Orlitzky Date: Fri, 20 Nov 2020 23:54:38 +0000 (-0500) Subject: eja: drop obsolete _a_regular_element() override method. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=ca00d13ae0f578f5debd52eb0986a91c73f3f93d;p=sage.d.git eja: drop obsolete _a_regular_element() override method. --- 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.