1: \begin{abstract}

2: 

3: We give a computational implementation of the Covering Lemma for finite

4: transformation semigroups.

5: The lemma states that given a surjective relational morphism $(X,S)\twoheadrightarrow(Y,T)$, we can recover the information lost in the morphism and package that

6: into a third transformation semigroup in such a way that a cascade

7: product (subsemigroup of the wreath product) can emulate

8: $(X,S)$, providing a hierarchical way of understanding its structure and

9: dynamics: $(X,S)\hookrightarrow (Y,T)\cp (Z,U)$.

10: 

11: The implementation complements the existing tools for the holonomy decomposition

12: algorithm as it gives an incremental method to get a coarser decomposition when

13: computing the complete skeleton for holonomy is not feasible.

14: Here we describe a simplified and generalized algorithm for the lemma and compare it to the

15: holonomy method.

16: Incidentally, the computational Covering Lemma could be the easiest way of

17: understanding the hierarchical decompositions of transformation semigroups and

18: thus the celebrated Krohn-Rhodes theory.

19: \keywords{transformation semigroup \and relational morphism \and cascade product.}

20: \end{abstract}

21: