(1) n=3, 125-point grid: N_3 == -512(Q1-Q2): True ; M_k == 16(conic_k - 3/16): True
    Seigal's n=3 closed form Q2 = 1/2(sum d^2 - 2 sum d_i d_j)^2 agrees with the definition on the grid: True
(2) n=3: 3000 exact points (incl. facet / L_+=0 / 0-1 coordinates), in locus 2075, outside 925, disagreements Thm B vs polygon: 0
(2) n=4: 3000 exact points (incl. facet / L_+=0 / 0-1 coordinates), in locus 2414, outside 586, disagreements Thm B vs polygon: 0
(2) n=5: 800 exact points (incl. facet / L_+=0 / 0-1 coordinates), in locus 714, outside 86, disagreements Thm B vs polygon: 0
(2) n=6: 200 exact points (incl. facet / L_+=0 / 0-1 coordinates), in locus 183, outside 17, disagreements Thm B vs polygon: 0
(3) n=3 exact grid r in {0,1/12,...,1}^3 (2197 points): Thm 1.4 printed ('<= 3/16') disagrees with the locus at 772 points; corrected ('>= 3/16') at 0 points
    GHZ (1/4,1/4,1/4): Q1 - Q2 = -1/512 ; conic = 1/4
