| LIB "presolve.lib";
ring s = 0,(e,f,x,y,t,u,v,w,a,d),dp;
ideal i = w2+f2-1, x2+t2+a2-1;
findvars(i);
==> [1]:
==> _[1]=f
==> _[2]=x
==> _[3]=t
==> _[4]=w
==> _[5]=a
==> [2]:
==> 2,3,5,8,9
==> [3]:
==> _[1]=e
==> _[2]=y
==> _[3]=u
==> _[4]=v
==> _[5]=d
==> [4]:
==> 1,4,6,7,10
|