with(coxeter):
read maxset;
read chrome;

# Find colorings for simply-laced graphs
# Select good inner products

gip:=proc(i,j,pr) local c;
  c:=iprod(pr[i],pr[j]); if c<=0 then {i,j} fi;
end;

R:=E7;
interface(quiet=true);
pr:=pos_roots(R): X:={$1..nops(pr)}:
G:={seq(seq(gip(j,i,pr),j=1..i-1),i=1..nops(pr))}: nops(G);
mis:=maxset(G,X): nops(mis);
st:=time(): chrome(mis,X,9,'c'), c, .733*(time()-st);
st:=time(): chrome(mis,X,10,'c'), c, .733*(time()-st);
st:=time(): chrome(mis,X,12,'c'), c, .733*(time()-st);
st:=time(): k0:=11: chrome(mis,X,11,'c'), c, .733*(time()-st);
interface(quiet=false);
quit;