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
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.