Le pivotement à 90 a été programmé ainsi lui aussi, en modifiant l'ordre des listes des fils de chaque variable, puisque
En terme de langage formel, cette routine revient a permuter les lettres
de l'alphabet. On a en effet renommé toutes les transitions.
Il s'effectue lui aussi en au lieu de
.