From: Michael Orlitzky Date: Thu, 25 Feb 2021 23:25:00 +0000 (-0500) Subject: eja: add Commutative() to the EJA categories. X-Git-Url: http://gitweb.michael.orlitzky.com/?p=sage.d.git;a=commitdiff_plain;h=d6b4042f69335c3f1ad86c0918d28a3d15775e07 eja: add Commutative() to the EJA categories. --- diff --git a/mjo/eja/eja_algebra.py b/mjo/eja/eja_algebra.py index 48421e3..e79b0e8 100644 --- 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()