From ca00d13ae0f578f5debd52eb0986a91c73f3f93d Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 20 Nov 2020 18:54:38 -0500 Subject: [PATCH] eja: drop obsolete _a_regular_element() override method. --- mjo/eja/eja_element_subalgebra.py | 24 ------------------------ 1 file changed, 24 deletions(-) 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. -- 2.44.2