psi_6 / y = 6*x*(x - 2)*(x**3 + 4)*(x**2 + 2*x + 4)*(x**3 + 6*x**2 + 4)*(x**6 - 6*x**5 + 36*x**4 + 8*x**3 - 24*x**2 + 16)
degree of exact-order-6 x-polynomial: 12 factored: 6*(x - 2)*(x**2 + 2*x + 4)*(x**3 + 6*x**2 + 4)*(x**6 - 6*x**5 + 36*x**4 + 8*x**3 - 24*x**2 + 16)
resultant in u (exact order 6): 3623878656*(u - 2)**3*(u + 1)**3*(u**6 - 3*u**5 + 60*u**4 - 115*u**3 + 60*u**2 - 3*u + 1)**3
resultant in u (3-torsion): 256*u*(u - 1)*(u**2 - u + 1)**3
factor u - 2 deg 1 mult 3  J on roots: [27/4]
factor u + 1 deg 1 mult 3  J on roots: [27/4]
factor u**6 - 3*u**5 + 60*u**4 - 115*u**3 + 60*u**2 - 3*u + 1 deg 6 mult 3  J on roots: [-54]
P_print - [(u^2-u+1)^3 - 6u^2(u-1)^2] = 0
P_print == (u^2-u-1)^3+2 ? True
Q_corr expanded: u**6 - 3*u**5 + 60*u**4 - 115*u**3 + 60*u**2 - 3*u + 1
minimal polynomial of BHRS tau: u**6 - 3*u**5 + 60*u**4 - 115*u**3 + 60*u**2 - 3*u + 1
equals Q_corr? True
P_print(tau) numerically: 0.97131600435053028535 + 0.40818793868545875642*I
Q_corr(tau) numerically: -0.e-141 - 0.e-140*I
