]> gitweb.michael.orlitzky.com - sage.d.git/commit
eja: allow subalgebra_idempotent() to work in trivial EJAs.
authorMichael Orlitzky <michael@orlitzky.com>
Sun, 10 Nov 2019 15:47:42 +0000 (10:47 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sun, 10 Nov 2019 15:47:42 +0000 (10:47 -0500)
commit9f91faac758f0ef3a1ea7b1ad1cb506e73735d89
tree9fec5cc5f881d007a1c7f30a9d78390ae8085f01
parent99bc567cd9c1bfd409d4b1621025c0287df4d1c1
eja: allow subalgebra_idempotent() to work in trivial EJAs.

Every element is nilpotent in a trivial EJA, but we also know the only
idempotent element in such an algebra: its sole occupant. So return it.
mjo/eja/eja_element.py