This method uses a Sturm sequence and a bisection method to isolate real solutions of a polynomialf to a real univariate polynomial and it lists an interval for which each real solution is located
i1 : R = QQ[t] o1 = R o1 : PolynomialRing |
i2 : f = 45 - 39*t - 34*t^2+38*t^3-11*t^4+t^5
5 4 3 2
o2 = t - 11t + 38t - 34t - 39t + 45
o2 : R
|
i3 : realRootIsolation(f,0.5)
69 23 23 69 23 207 299 161
o3 = {{- --, - --}, {--, --}, {--, ---}, {---, ---}}
64 32 32 64 8 64 64 32
o3 : List
|