VanishingIdeal -- vanishing ideal of an evaluation code

Synopsis

This key stores the vanishing ideal of the set of points that are used for constructing an EvaluationCode.

This symbol is provided by the package CodingTheory.

i1 : F=GF(4);

i2 : R=F[x,y];

i3 : P={{0,0},{1,0},{0,1},{a,a}};

i4 : S={x+y,x^2+y^2, a+x*y^2};

i5 : C=evaluationCode(F,P,S);

i6 : C.VanishingIdeal

                          2              2    2
o6 = ideal (x*y + (a + 1)y  + (a + 1)y, x  + y  + x + y)

o6 : Ideal of R