(1,s2,s3)  order grlex   : 300 random pairs; top coefficient = lc(p)lc(q)lambda(LEp,LEq): 300/300; LE({p,q}) = LEp+LEq (or smaller if lambda=0): 300/300
(1,s2,s3)  order lex     : 300 random pairs; top coefficient = lc(p)lc(q)lambda(LEp,LEq): 300/300; LE({p,q}) = LEp+LEq (or smaller if lambda=0): 300/300
(1,s2,s3)  order grevlex : 300 random pairs; top coefficient = lc(p)lc(q)lambda(LEp,LEq): 300/300; LE({p,q}) = LEp+LEq (or smaller if lambda=0): 300/300
(1,2,3)    order grlex   : 300 random pairs; top coefficient = lc(p)lc(q)lambda(LEp,LEq): 300/300; LE({p,q}) = LEp+LEq (or smaller if lambda=0): 300/300
(1,2,3)    order lex     : 300 random pairs; top coefficient = lc(p)lc(q)lambda(LEp,LEq): 300/300; LE({p,q}) = LEp+LEq (or smaller if lambda=0): 300/300
(1,2,3)    order grevlex : 300 random pairs; top coefficient = lc(p)lc(q)lambda(LEp,LEq): 300/300; LE({p,q}) = LEp+LEq (or smaller if lambda=0): 300/300
(1,1,s2)   order grlex   : 300 random pairs; top coefficient = lc(p)lc(q)lambda(LEp,LEq): 300/300; LE({p,q}) = LEp+LEq (or smaller if lambda=0): 300/300
(1,1,s2)   order lex     : 300 random pairs; top coefficient = lc(p)lc(q)lambda(LEp,LEq): 300/300; LE({p,q}) = LEp+LEq (or smaller if lambda=0): 300/300
(1,1,s2)   order grevlex : 300 random pairs; top coefficient = lc(p)lc(q)lambda(LEp,LEq): 300/300; LE({p,q}) = LEp+LEq (or smaller if lambda=0): 300/300
LE(pq) = LE(p)+LE(q) (grlex): 300/300
