move Data.Polynomial.RootSeparation.Sturm to Data.AlgebraicNumber.Sturm