強正優美問題をグレブナー基底で解く

(%i5) gb:poly_buchberger([s*t*b,k*t*(1-b),(1-s)*k*b,(1-s)*(1-k)*t,(1-k)*(1-t)*b,(1-s)*(1-t)*(1-b),s*(1-k)*(1-b),s*k*(1-t)],[s,t,b,k]);

(gb)[b*s*t,k*t-b*k*t,b*k-b*k*s,k*s*t-s*t-k*t+t,b*k*t-b*t-b*k+b,-b*s*t+s*t+b*t-t+b*s-s-b+1,b*k*s-k*s-b*s+s,k*s-k*s*t,-s*t-b*t+t-b*s+s+b-1,k*t-b*t-b*k+b,-k*s-b*s+s+b*k-1,1]