xi/2 = 1 on Delta_1 (the vector of the claim; gives nu)         sqrt(M_28/M_26) = 2.0942544392   (sqrt of earlier ratios: 2.08814, 2.09069, 2.09268)  [0.1s]
g(t) = 2t-1 on Delta_1 (odd under the reflection t -> 1-t)      sqrt(M_28/M_26) = 1.9033240549   (sqrt of earlier ratios: 1.87503, 1.88592, 1.89525)  [0.3s]
g(t) = 6t^2-6t+1 on Delta_1 (even, orthogonal to 1)             sqrt(M_28/M_26) = 2.0772355084   (sqrt of earlier ratios: 2.04350, 2.05833, 2.06922)  [1.1s]
g(t) = 20t^3-30t^2+12t-1 on Delta_1 (odd)                       sqrt(M_28/M_26) = 1.9393443644   (sqrt of earlier ratios: 1.91571, 1.92549, 1.93318)  [2.8s]
g(t1,t2) = t1+t2-1 on Delta_2 (odd)                             sqrt(M_28/M_26) = 1.9103855957   (sqrt of earlier ratios: 1.88592, 1.89525, 1.90332)  [0.6s]
g(t1,t2) = t2-t1-1/3 on Delta_2 (even, orthogonal to 1)         sqrt(M_28/M_26) = 2.1006186731   (sqrt of earlier ratios: 2.09907, 2.09978, 2.10027)  [0.6s]
g(t1,t2) = 1 on Delta_2                                         sqrt(M_28/M_26) = 2.0955211254   (sqrt of earlier ratios: 2.09069, 2.09268, 2.09425)  [0.1s]
g(t1,t2,t3) = 1 on Delta_3                                      sqrt(M_28/M_26) = 2.0980935301   (sqrt of earlier ratios: 2.09563, 2.09661, 2.09742)  [0.3s]
g(t1,t2,t3) = t1+t3-1 on Delta_3 (odd)                          sqrt(M_28/M_26) = 1.9207104541   (sqrt of earlier ratios: 1.90164, 1.90878, 1.91510)  [1.2s]
g(t1,t2,t3) = 2*t2-1 on Delta_3 (odd)                           sqrt(M_28/M_26) = 1.9214285055   (sqrt of earlier ratios: 1.90257, 1.90964, 1.91588)  [1.2s]
each number is a rigorous lower bound for ||QbQ|| (exact rational ratio, printed as a float).
