anello è una lista formata da S anelli (tutti con l’ordine lessicografico), dei quali l’ s - esimo è quello su cui si lavora per trovare le s - secanti a G(k,n):

anello := {Q [ t ₀ , ... , t _s-1 ; b(0) , ... , b(s-1) ;z ₀ , ... , z_N-1 ] | s = 2, .... S }.

Le variabili di un tale anello sono T _s , V _s e Z _s = Z.