]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: drop obsolete _a_regular_element() override method.
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 20 Nov 2020 23:54:38 +0000 (18:54 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 20 Nov 2020 23:54:38 +0000 (18:54 -0500)
mjo/eja/eja_element_subalgebra.py

index b9069c484d16b57b4154774d5a288350adf1b64e..73e1cbd9ab34ce1078c6ebaeaade3cc87d3d9448 100644 (file)
@@ -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.