§
Homotopy continuation
Rigorous arithmetic with approximate roots of polynomials --- CAG L16