Vanishing ideal (source code)

= Vanishing ideal
{title2=$I(X)$}

The vanishing ideal of $X\subseteq k^n$ is
$$
I(X)=\{f\in k[x_1,\ldots,x_n]:f(x)=0\text{ for every }x\in X\}.
$$