threads:=8;
n:=6; d:=3;
l:=[x,y,z,t,u,v];
//L:=seq(randpoly(d,6,l),k,1,n);
L:=[-82*x^2*t-97*x*z+26*y*t*u+7*y*t*v-27*t*v+86*u*v,31*x*y*v-21*y^2*u+91*y*z*u+88*y*u^2-66*z^2+76*t*u*v,12*x^2*t+72*x^2+43*x*t*v+71*y^2*u+8*y*t^2-96*v^3,48*x*t^2+41*y*t+59*y*u^2-58*z*t-90*z*u*v+46*t*u^2,66*x^2*z-62*x*y*z+32*x*t*u+48*x*t*u+82*x*t+52*y^2*u,60*x*z*t-92*z^2*t+97*z^2*v-42*z+22*t^3+52*u];
proba_epsilon:=1e-7;
H:=gbasis(L,l,revlex):;
size(H);