Product of two transpositions (source code)

= Product of two transpositions

A product of two transpositions is the identity when they coincide, a <three-cycle> when their supports meet in one letter, and a product of two <disjoint permutation cycles> when their supports are disjoint.