CommutatorOfRingElements

CommutatorOfRingElements(a, b) returns $ab-ba$ for ring elements $a$ and $b$.