Commutator as Least Fixed Point

- - posted in Algorithm, Closure Operator, Universal Algebra

The alt-comm repository contains a note giving an alternate decription of the (non-modular) commutator that yields a polynomial time algorithm for computing it. This is inspired by the alternate description of the commutator given by Kearnes in [1].

[1] Keith Kearnes. Varieties with a difference term. J. Algebra, 177(3):926–960, 1995.