TA è la matrice-tabella che contiene le dimensioni effettive e le difettività delle varietà

G(k,n)^s

per nm≤n≤nM , 1≤k≤f(n) e 2≤s≤S(N,k,n).

All'inizio definiamo TA vuota.

Poi, al variare di 1≤k≤f(n), concateniamo verticalmente le matrici T.