|  | LIB "decodegb.lib";
ring r=3,(x(1..3)),dp;
//generate all 3-vectors over GF(3)
list points=pointsGen(3,1);
list points2=convPoints(points);
//grasps the first 11 points
list p=graspList(points2,1,11);
print(p);
==> [1]:
==>    _[1,1]=0
==>    _[2,1]=0
==>    _[3,1]=0
==> [2]:
==>    _[1,1]=0
==>    _[2,1]=0
==>    _[3,1]=1
==> [3]:
==>    _[1,1]=0
==>    _[2,1]=0
==>    _[3,1]=-1
==> [4]:
==>    _[1,1]=0
==>    _[2,1]=1
==>    _[3,1]=0
==> [5]:
==>    _[1,1]=0
==>    _[2,1]=1
==>    _[3,1]=1
==> [6]:
==>    _[1,1]=0
==>    _[2,1]=1
==>    _[3,1]=-1
==> [7]:
==>    _[1,1]=0
==>    _[2,1]=-1
==>    _[3,1]=0
==> [8]:
==>    _[1,1]=0
==>    _[2,1]=-1
==>    _[3,1]=1
==> [9]:
==>    _[1,1]=0
==>    _[2,1]=-1
==>    _[3,1]=-1
==> [10]:
==>    _[1,1]=1
==>    _[2,1]=0
==>    _[3,1]=0
==> [11]:
==>    _[1,1]=1
==>    _[2,1]=0
==>    _[3,1]=1
//construct the vanishing ideal
ideal id=vanishId(p);
print(id);
==> x(1)*x(2),
==> x(1)^2-x(1),
==> x(3)^3-x(3),
==> x(1)*x(3)^2-x(1)*x(3),
==> x(2)^3-x(2)
 |