eja: add Commutative() to the EJA categories.

[sage.d.git] / mjo / eja / eja_algebra.py

diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py
index 48421e357544ef2b5c5613bf9e222827e9a20fec..e79b0e8048debc968629fbd2ad5ada522829b3d6 100644 (file)
--- a/mjo/eja/eja_algebra.py
+++ b/mjo/eja/eja_algebra.py
@@ -178,7 +178,8 @@ class FiniteDimensionalEJA(CombinatorialFreeModule):
 
 
         category = MagmaticAlgebras(field).FiniteDimensional()
-        category = category.WithBasis().Unital()
+        category = category.WithBasis().Unital().Commutative()
+
         if associative:
             # Element subalgebras can take advantage of this.
             category = category.Associative()