Action graph for T4

The partially finished new holonomy engine in SgpDec is chugging along well. This is the graph of the extended image set of the full transformation semigroup on four points, T4. This 'action graph' is like a Cayley-graph of the semigroup, but on the extended set of images rather than on the semigroup elements. The generators are the 'usual' ones:

1. cycle: Transformation( [ 2, 3, 4, 1 ] )
2. transposition: Transformation( [ 2, 1, 3, 4 ] )
3. collapsing: Transformation( [ 1, 2, 3, 1 ] )

Clearly only collapsing can jump down to a lower equivalence class.

The number after the set in the label is the length of a minimal word needed to generate that particular set.