(1) D_3 has 38 terms; equal to the KKKR Example 3.16 sextic: True ; equal to minus it: False
(2) D_n on random integer lines
   n=2: deg D_n(P+tQ) = 2 (n(n-1)=2); leading coeff == prod(Q_i-Q_j)^2: True; irreducible mod p=10007; lowest degree of D_n(tY) = 0 (n(n-2)=0), coefficient == +-(n-1)^(n-1) e_n^(n-2): True; top coeff of D_n(tY) == prod(Y_i-Y_j)^2: True
   n=3: deg D_n(P+tQ) = 6 (n(n-1)=6); leading coeff == prod(Q_i-Q_j)^2: True; irreducible mod p=10067; lowest degree of D_n(tY) = 3 (n(n-2)=3), coefficient == +-(n-1)^(n-1) e_n^(n-2): True; top coeff of D_n(tY) == prod(Y_i-Y_j)^2: True
   n=4: deg D_n(P+tQ) = 12 (n(n-1)=12); leading coeff == prod(Q_i-Q_j)^2: True; irreducible mod p=10079; lowest degree of D_n(tY) = 8 (n(n-2)=8), coefficient == +-(n-1)^(n-1) e_n^(n-2): True; top coeff of D_n(tY) == prod(Y_i-Y_j)^2: True
   n=5: deg D_n(P+tQ) = 20 (n(n-1)=20); leading coeff == prod(Q_i-Q_j)^2: True; irreducible mod p=10433; lowest degree of D_n(tY) = 15 (n(n-2)=15), coefficient == +-(n-1)^(n-1) e_n^(n-2): True; top coeff of D_n(tY) == prod(Y_i-Y_j)^2: True
   n=6: deg D_n(P+tQ) = 30 (n(n-1)=30); leading coeff == prod(Q_i-Q_j)^2: True; irreducible mod p=10369; lowest degree of D_n(tY) = 24 (n(n-2)=24), coefficient == +-(n-1)^(n-1) e_n^(n-2): True; top coeff of D_n(tY) == prod(Y_i-Y_j)^2: True
   n=7: deg D_n(P+tQ) = 42 (n(n-1)=42); leading coeff == prod(Q_i-Q_j)^2: True; irreducible mod p=10151; lowest degree of D_n(tY) = 35 (n(n-2)=35), coefficient == +-(n-1)^(n-1) e_n^(n-2): True; top coeff of D_n(tY) == prod(Y_i-Y_j)^2: True
(3) D_n(xi(a)) = 0 at random rational points of Lambda
   n=2: h_xi(a) has a multiple root at all sampled points: True
   n=3: h_xi(a) has a multiple root at all sampled points: True
   n=4: h_xi(a) has a multiple root at all sampled points: True
   n=5: h_xi(a) has a multiple root at all sampled points: True
   n=6: h_xi(a) has a multiple root at all sampled points: True
   n=7: h_xi(a) has a multiple root at all sampled points: True
   n=8: h_xi(a) has a multiple root at all sampled points: True
(4) 2x2x3 corner: f proportional to D_3(x213, x123, x111+x112)
   proportional: True ratio 1 terms 105 105
