// debug_infoleve:=1 2.79s, 2.49s, 2.54s, 2.47s, 2.46s, 2.27s, 1.99s, 1.87s,
// 2.01s full interreduced
threads:=2;
cyclic7:=[x1+x2+x3+x4+x5+x6+x7,x1*x2+x1*x7+x2*x3+x3*x4+x4*x5+x5*x6+x6*x7,x1*x2*x3+x1*x2*x7+x1*x6*x7+x2*x3*x4+x3*x4*x5+x4*x5*x6+x5*x6*x7,x1*x2*x3*x4+x1*x2*x3*x7+x1*x2*x6*x7+x1*x5*x6*x7+x2*x3*x4*x5+x3*x4*x5*x6+x4*x5*x6*x7,x1*x2*x3*x4*x5+x1*x2*x3*x4*x7+x1*x2*x3*x6*x7+x1*x2*x5*x6*x7+x1*x4*x5*x6*x7+x2*x3*x4*x5*x6+x3*x4*x5*x6*x7,x1*x2*x3*x4*x5*x6+x1*x2*x3*x4*x5*x7+x1*x2*x3*x4*x6*x7+x1*x2*x3*x5*x6*x7+x1*x2*x4*x5*x6*x7+x1*x3*x4*x5*x6*x7+x2*x3*x4*x5*x6*x7,x1*x2*x3*x4*x5*x6*x7-1]:;proba_epsilon:=1e-7;time(H0:=gbasis(cyclic7,lname(cyclic7),revlex));
write("Hcyclic7",H0);
size(H0);
