1: \begin{definition}

2: Let ${\sf f}_1, \dots, {\sf f}_{n-k}$ be

3: as

4: in Theorem \ref{base}.

5: We denote by $\FF_q[X,\tilde X]$ the polynomial ring

6: $\FF_q[x_1,x_2,\ldots,x_k,\tilde{x}_1,\tilde{x}_2,\ldots,\tilde{x}_k]$.

7: In the polynomial module $\left( \FF_q[X,\tilde X] \right)^n$, we denote

8: by $L_{n,k,t}$ the   polynomial vector:

9: $$

10:   L_{n,k,t}= \left(x_1-\tilde{x}_1, \ldots, x_k-\tilde{x}_k,   

11:               {\sf f}_1(X)- {\sf f}_1(\tilde X), \ldots,

12:             {\sf f}_{n-k}(X)- {\sf f}_{n-k}(\tilde X) \right).

13: $$

14: \end{definition}

15: