]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: add Commutative() to the EJA categories.
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 25 Feb 2021 23:25:00 +0000 (18:25 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 25 Feb 2021 23:25:00 +0000 (18:25 -0500)
mjo/eja/eja_algebra.py

index 48421e357544ef2b5c5613bf9e222827e9a20fec..e79b0e8048debc968629fbd2ad5ada522829b3d6 100644 (file)
@@ -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()