realRootIsolation -- a list that isolates the real roots of a univariate polynomial with rational coefficients

• Usage:

  realRootIsolation(f,r)

• Inputs:
  • f, a ring element, a univariate polynomial with rational coefficients
  • r, a rational number, a positive rational number
• Outputs:
  • a list, of disjoint intervals

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,1/2)

         3        1       5       9
o3 = {{- -, -1}, {-, 1}, {-, 3}, {-, 5}}
         2        2       2       2

o3 : List