LogTo("f5-2-a0.log");

LoadPackage("GBNP");

GBNP.ConfigPrint("y0","y1","y2","y3","y4");

s:=Indeterminate(Rationals,"L1");;
t:=Indeterminate(Rationals,"L2");;
u:=Indeterminate(Rationals,"L3");;

K:=[
[[[1,2],[3,1],[4,3],[2,4],[]],[1,1,1,1,-t]],
[[[1,3],[5,1],[2,5],[3,2],[]],[1,1,1,1,-t]],
[[[1,4],[2,1],[5,2],[4,5],[]],[1,1,1,1,-t]],
[[[1,5],[4,1],[3,4],[5,3],[]],[1,1,1,1,-t]],
[[[2,3],[4,2],[5,4],[3,5],[]],[1,1,1,1,-t]],
[[[1,1],[]],[1,-s]],
[[[2,2],[]],[1,-s]],
[[[3,3],[]],[1,-s]],
[[[4,4],[]],[1,-s]],
[[[5,5],[]],[1,-s]],
[[[1,2,1,2],[2,1,2,1],[1,2],[2,1],[]],[1,1,-t,-t,-u]]
];;

Print("Computing Grobner \n");

G:=SGrobner(K);

Print("1 is: \n");

PrintNP(StrongNormalFormNP([[[]],[1]],G));

Print("Hence the quotient is nonzero \n");