L è la lista di ideali il cui s - esimo elemento è l'ideale di generatori

T_s-10 par_s0 + . . . + T_s-1s-1 par_ss-1 .

Infatti per calcolare le equazioni parametriche della varietà G(k,n) ^s , come abbiamo visto nel caso s=2 , dopo aver ottenuto le coordinate parametriche dei punti P₀, . . . P_s-1, calcoliamo

∑ _i=0^s-1 t_ii par ( P_i )

che, nelle notazioni dell'algoritmo è

∑ _i=0^s-1 T_s-1i par_s-1i .