This repository contains a note giving an alternate decription of the commutator that leads easily to a polynomial time algorithm for computing it.
Title: The Commutator as Least Fixed Point of a Closure Operator
Author: William DeMeo
Abstract We present a description of the (non-modular) commutator, inspired by that of Kearnes in , that provides a simple recipe for computing the commutator.
 Keith Kearnes. Varieties with a difference term. J. Algebra, 177(3):926--960, 1995.