m è il vettore che, per ogni 1≤i≤k+1 e ogni 1≤j≤n+1 , contiene i minori di ordine massimo delle matrici A_i,j .

All'inizio definiamo m vuoto.

Poi, al variare di 1≤w≤l , m sarà man mano definita tramite i valori D(w):

m = ([]  D(1)   .  .  .   D(l)).