(b) lam=1/4: GF basis == recurrence basis: True; disc(GF)==disc(rec): True; deg_A disc = 4; LC_A = -432*(Q - 1)**2; LC + 432(Q-1)^2 == 0: True
(b) lam=3/4: GF basis == recurrence basis: True; disc(GF)==disc(rec): True; deg_A disc = 4; LC_A = -432*(Q - 1)**2; LC + 432(Q-1)^2 == 0: True
(b) lam=2: GF basis == recurrence basis: True; disc(GF)==disc(rec): True; deg_A disc = 4; LC_A = -432*(Q - 1)**2; LC + 432(Q-1)^2 == 0: True
(c) lam=1/4 rho=1/2: first A=10^k with disc<0: k=1
(c) lam=1/4 rho=9/10: first A=10^k with disc<0: k=1
(c) lam=1/4 rho=99/100: first A=10^k with disc<0: k=1
(c) lam=1/4 rho=101/100: first A=10^k with disc<0: k=1
(c) lam=1/4 rho=11/10: first A=10^k with disc<0: k=1
(c) lam=1/4 rho=2: first A=10^k with disc<0: k=2
(c) lam=3/4 rho=1/2: first A=10^k with disc<0: k=1
(c) lam=3/4 rho=9/10: first A=10^k with disc<0: k=1
(c) lam=3/4 rho=99/100: first A=10^k with disc<0: k=1
(c) lam=3/4 rho=101/100: first A=10^k with disc<0: k=1
(c) lam=3/4 rho=11/10: first A=10^k with disc<0: k=1
(c) lam=3/4 rho=2: first A=10^k with disc<0: k=2
(c) lam=2 rho=1/2: first A=10^k with disc<0: k=1
(c) lam=2 rho=9/10: first A=10^k with disc<0: k=1
(c) lam=2 rho=99/100: first A=10^k with disc<0: k=1
(c) lam=2 rho=101/100: first A=10^k with disc<0: k=1
(c) lam=2 rho=11/10: first A=10^k with disc<0: k=2
(c) lam=2 rho=2: first A=10^k with disc<0: k=3
(d) witness disc = -29043991764668664081/8192; equals -29043991764668664081/8192: True
(d) image roots at witness: 6 total, 2 real, 4 nonreal
(d) perturbed input: 6/6 real roots; even-basis coefficient signs (c0,c2,c4,c6) = [-1, 1, -1, 1]; image disc in Y = -3.54540887456E+15 (<0: True); image real roots 2/6
exit 0
