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.