Applicable Moves

Generally, there are the following moves that the program may apply to a given spine:

A precise description of moves should be seen in the literature (see, for instance, [Matveev]).

[Matveev] S. Matveev, Algorithmic topology and classification of 3-manifolds, Springer, 2003.