X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2Feja_algebra.py;h=c862b0d3ec00305193eb85265a7e33c556a59543;hb=fe4405d4c4e5eec48f1924fc75e6aedd08f5c938;hp=99cf0d0d078851ec49391c9c2f290716e6e42e22;hpb=d6f51df5e37b30956849e01b70c4aede00f3434e;p=sage.d.git diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index 99cf0d0..c862b0d 100644 --- a/mjo/eja/eja_algebra.py +++ b/mjo/eja/eja_algebra.py @@ -332,18 +332,6 @@ class FiniteDimensionalEJA(CombinatorialFreeModule): """ return "Associative" in self.category().axioms() - def _is_commutative(self): - r""" - Whether or not this algebra's multiplication table is commutative. - - This method should of course always return ``True``, unless - this algebra was constructed with ``check_axioms=False`` and - passed an invalid multiplication table. - """ - return all( self.product_on_basis(i,j) == self.product_on_basis(i,j) - for i in range(self.dimension()) - for j in range(self.dimension()) ) - def _is_jordanian(self): r""" Whether or not this algebra's multiplication table respects the @@ -351,7 +339,7 @@ class FiniteDimensionalEJA(CombinatorialFreeModule): We only check one arrangement of `x` and `y`, so for a ``True`` result to be truly true, you should also check - :meth:`_is_commutative`. This method should of course always + :meth:`is_commutative`. This method should of course always return ``True``, unless this algebra was constructed with ``check_axioms=False`` and passed an invalid multiplication table. """