Mathematica 2.0 for SPARC
Copyright 1988-91 Wolfram Research, Inc.
 -- Terminal graphics initialized -- 

In[1]:= <<Sturm.m

Global`Modulus::shdw: 
   Warning: Symbol Modulus appears in multiple contexts {Global`, System`}
    ; definitions in context Global`
     may shadow or be shadowed by other definitions.
Package Polynom` loaded
Package Euclid` loaded
Package Sturm` loaded
0.766667 Second

In[2]:= Sturm`STrace[s__]:=Print[s]
0. Second

In[3]:= f = Expand[ Product[x-i, {i, 0, 10}] ]
0.0333333 Second

                              2             3            4            5
Out[3]= 3628800 x - 10628640 x  + 12753576 x  - 8409500 x  + 3416930 x  - 
 
             6           7          8         9       10    11
>    902055 x  + 157773 x  - 18150 x  + 1320 x  - 55 x   + x

In[4]:= RealRoots[f, x, 1/2^5]
                          2             3            4            5
f = 3628800 x - 10628640 x  + 12753576 x  - 8409500 x  + 3416930 x  - 
 
             6           7          8         9       10    11
>    902055 x  + 157773 x  - 18150 x  + 1320 x  - 55 x   + x  , D[f, x]=
 
                                     2             3             4
>   3628800 - 21257280 x + 38260728 x  - 33638000 x  + 17084650 x  - 
 
              5            6           7          8        9       10
>    5412330 x  + 1104411 x  - 145200 x  + 11880 x  - 550 x  + 11 x
                    25             810             304             294
ss = {-1, -5 + x, -(--), -5 + x, -(---), -5 + x, -(---), -5 + x, -(---), 
                    19             323             85              65
 
               765             200             20             36
>    -5 + x, -(---), -5 + x, -(---), -5 + x, -(--), -5 + x, -(--), -5 + x, 
               143             33              3              5
 
       429                      5     x
>    -(---), -55 + 11 x, -10, -(--) + --}
        5                       11    11
a = -128, va =11, b = 128, vb =0
Interval searched: a =-128, b =128, va - vb =11
Interval searched: a =-128, b =0, va - vb =1
Interval searched: a =-64, b =0, va - vb =1
Interval searched: a =-32, b =0, va - vb =1
Interval searched: a =-16, b =0, va - vb =1
Interval searched: a =-8, b =0, va - vb =1
Interval searched: a =-4, b =0, va - vb =1
Interval searched: a =-2, b =0, va - vb =1
Interval searched: a =-1, b =0, va - vb =1
                        1
Interval searched: a =-(-), b =0, va - vb =1
                        2
                        1
Interval searched: a =-(-), b =0, va - vb =1
                        4
                        1
Interval searched: a =-(-), b =0, va - vb =1
                        8
                        1
Interval searched: a =-(--), b =0, va - vb =1
                        16
                        1
Interval searched: a =-(--), b =0, va - vb =1
                        32
                        1
Interval searched: a =-(--), b =0, va - vb =1
                        64
Interval searched: a =0, b =128, va - vb =10
Interval searched: a =0, b =64, va - vb =10
Interval searched: a =0, b =32, va - vb =10
Interval searched: a =0, b =16, va - vb =10
Interval searched: a =0, b =8, va - vb =8
Interval searched: a =0, b =4, va - vb =4
Interval searched: a =0, b =2, va - vb =2
Interval searched: a =0, b =1, va - vb =1
                      1
Interval searched: a =-, b =1, va - vb =1
                      2
                      3
Interval searched: a =-, b =1, va - vb =1
                      4
                      7
Interval searched: a =-, b =1, va - vb =1
                      8
                      15
Interval searched: a =--, b =1, va - vb =1
                      16
                      31
Interval searched: a =--, b =1, va - vb =1
                      32
                      63
Interval searched: a =--, b =1, va - vb =1
                      64
Interval searched: a =1, b =2, va - vb =1
                      3
Interval searched: a =-, b =2, va - vb =1
                      2
                      7
Interval searched: a =-, b =2, va - vb =1
                      4
                      15
Interval searched: a =--, b =2, va - vb =1
                      8
                      31
Interval searched: a =--, b =2, va - vb =1
                      16
                      63
Interval searched: a =--, b =2, va - vb =1
                      32
                      127
Interval searched: a =---, b =2, va - vb =1
                      64
Interval searched: a =2, b =4, va - vb =2
Interval searched: a =2, b =3, va - vb =1
                      5
Interval searched: a =-, b =3, va - vb =1
                      2
                      11
Interval searched: a =--, b =3, va - vb =1
                      4
                      23
Interval searched: a =--, b =3, va - vb =1
                      8
                      47
Interval searched: a =--, b =3, va - vb =1
                      16
                      95
Interval searched: a =--, b =3, va - vb =1
                      32
                      191
Interval searched: a =---, b =3, va - vb =1
                      64
Interval searched: a =3, b =4, va - vb =1
                      7
Interval searched: a =-, b =4, va - vb =1
                      2
                      15
Interval searched: a =--, b =4, va - vb =1
                      4
                      31
Interval searched: a =--, b =4, va - vb =1
                      8
                      63
Interval searched: a =--, b =4, va - vb =1
                      16
                      127
Interval searched: a =---, b =4, va - vb =1
                      32
                      255
Interval searched: a =---, b =4, va - vb =1
                      64
Interval searched: a =4, b =8, va - vb =4
Interval searched: a =4, b =6, va - vb =2
Interval searched: a =4, b =5, va - vb =1
                      9
Interval searched: a =-, b =5, va - vb =1
                      2
                      19
Interval searched: a =--, b =5, va - vb =1
                      4
                      39
Interval searched: a =--, b =5, va - vb =1
                      8
                      79
Interval searched: a =--, b =5, va - vb =1
                      16
                      159
Interval searched: a =---, b =5, va - vb =1
                      32
                      319
Interval searched: a =---, b =5, va - vb =1
                      64
Interval searched: a =5, b =6, va - vb =1
                      11
Interval searched: a =--, b =6, va - vb =1
                      2
                      23
Interval searched: a =--, b =6, va - vb =1
                      4
                      47
Interval searched: a =--, b =6, va - vb =1
                      8
                      95
Interval searched: a =--, b =6, va - vb =1
                      16
                      191
Interval searched: a =---, b =6, va - vb =1
                      32
                      383
Interval searched: a =---, b =6, va - vb =1
                      64
Interval searched: a =6, b =8, va - vb =2
Interval searched: a =6, b =7, va - vb =1
                      13
Interval searched: a =--, b =7, va - vb =1
                      2
                      27
Interval searched: a =--, b =7, va - vb =1
                      4
                      55
Interval searched: a =--, b =7, va - vb =1
                      8
                      111
Interval searched: a =---, b =7, va - vb =1
                      16
                      223
Interval searched: a =---, b =7, va - vb =1
                      32
                      447
Interval searched: a =---, b =7, va - vb =1
                      64
Interval searched: a =7, b =8, va - vb =1
                      15
Interval searched: a =--, b =8, va - vb =1
                      2
                      31
Interval searched: a =--, b =8, va - vb =1
                      4
                      63
Interval searched: a =--, b =8, va - vb =1
                      8
                      127
Interval searched: a =---, b =8, va - vb =1
                      16
                      255
Interval searched: a =---, b =8, va - vb =1
                      32
                      511
Interval searched: a =---, b =8, va - vb =1
                      64
Interval searched: a =8, b =16, va - vb =2
Interval searched: a =8, b =12, va - vb =2
Interval searched: a =8, b =10, va - vb =2
Interval searched: a =8, b =9, va - vb =1
                      17
Interval searched: a =--, b =9, va - vb =1
                      2
                      35
Interval searched: a =--, b =9, va - vb =1
                      4
                      71
Interval searched: a =--, b =9, va - vb =1
                      8
                      143
Interval searched: a =---, b =9, va - vb =1
                      16
                      287
Interval searched: a =---, b =9, va - vb =1
                      32
                      575
Interval searched: a =---, b =9, va - vb =1
                      64
Interval searched: a =9, b =10, va - vb =1
                      19
Interval searched: a =--, b =10, va - vb =1
                      2
                      39
Interval searched: a =--, b =10, va - vb =1
                      4
                      79
Interval searched: a =--, b =10, va - vb =1
                      8
                      159
Interval searched: a =---, b =10, va - vb =1
                      16
                      319
Interval searched: a =---, b =10, va - vb =1
                      32
                      639
Interval searched: a =---, b =10, va - vb =1
                      64
9.8 Second

Out[4]= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

In[5]:= Quit[]