dim è la riga della tabella T contenente le dimensioni effettive.

All'inizio definiamo dim vuota.
Poi, al variare di s, dim sarà man mano definita tramite i valori del rango di M diminuito di uno.