c = ['-3', '-3', '2', '2', '2'], sum = 0; proportional to (29) for k=2: ['-1/2', '-1/2', '1/3', '1/3', '1/3'] * 6 = ['-3', '-3', '2', '2', '2']
u = ['3', '3', '2', '2', '2']
L1 = T(3,2,3) = [('-1', '3'), ('0', '-2'), ('1', '3')]; g_L1 = ['2', '0', '4'] (const, t, t^2)
W_1 = 4; T(4,2,2) = [('-1', '4'), ('1/9', '-2'), ('1', '2')]; 18 g = ['40', '-48', '72']
L2 (delta=1/2) sorted = [('-3/2', '3'), ('-1', '-2'), ('-1/2', '3'), ('1/9', '-2'), ('1', '2')]
18 g_L2 = ['33', '14', '25', '96', '72'] (const..t^4); paper: 33,14,25,96,72
g_L2 real roots: Sturm 0, Descartes 0; A_L2 = 4
gamma = (-7/25,24/25), (-15/17,8/17), (-3/5,4/5), (-323/325,-36/325), (3/5,4/5)
gamma equal to the paper's: True; unit: True
(5^6*13*17/4) P: x^4:923481  x^3y:-1275450  x^2y^2:541472  xy^3:120800  y^4:623616
all integers: True; paper: 923481, -1275450, 541472, 120800, 623616
v G v^T coefficients (x^4..y^4): ['923481', '-1275450', '541472', '120800', '623616']; match: True
leading principal minors: 923481, 555086428407, 296959066692499712; paper: 923481, 555086428407, 296959066692499712
P(t,1) real roots: Sturm 0, Descartes 0; P(1,0) = 284148/265625
