E è la matrice-tabella che contiene le dimensioni aspettate delle varietà

G(k,n)s

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

2

n

dim(G(2,n)2)

  .  .  . 

dimaspettata(G(2,n)S)

.

 

 

 

 

.

 

 

 

 

.

 

 

 

 

  f(n)  

  n  

  dimaspettata (G(f(n),n)2) 

  .  .  .  

 dimaspettata (G(f(n),n)S)  

All'inizio definiamo E vuota.
Poi, al variare di k,n,s , E sarà man mano definita tramite i valori ed(N,k,n,s).

Ad esempio, per n=6 e k=1 avremo:

E =

( [] ed (N(1,6),1,6),1,6,2  ed (N(1,6),1,6),1,6,3 )

perché S(N(f(6),6),f(6),6) = 3.