Lemma 2.4: g = A t^2 + B t + C symbolic: True
Lemma 2.4: S^2 (B^2-4AC) = (S^2 b - D(2W2-S))^2 - 16 A W1 W2 W3 symbolic: True
Lemma 2.4: B(b*) = 2AD/S symbolic: True
Lemma 2.4 iff: 2302/2302 random (W,b) agree (good <=> S^4(b-b*)^2 < 16AW1W2W3)
Lemma 2.1: 200/200 random reversal identities hold exactly
Lemma 2.3: 200/200 random exact checks of P(theta u,-v) = theta^(n-1) G_theta(u,v)
Lemma 2.5: 200/200 random exact checks of (2.2) and (2.3)
Remark 2.7: 300/300 random good lists alternate in sign with odd places of sign A_L and larger total |a| (5875 tries)
Remark 2.7: 300/300 random even-length lists are not good (as they must be)
Remark 2.9: 200/200 random stars with a parallel pair vanish at the orthogonal direction
Example 2.8 (regular star): sign of prod_(l=1)^(m-1) sin(2 pi l/m) equals (-1)^k for 15/15 odd m in 3..31
Example 2.8 (regular star): P changes sign for 100/100 random mixed-sign weight vectors
