clicliclic@freenet.de  wrote:   
   >   
   > antispam@math.uni.wroc.pl schrieb:   
   > >   
   > > Nasser M. Abbasi  wrote:   
   > > >   
   > > > Any problems found, please let me know.   
   > > >   
   > >   
   > > Looking at results of Timofeev file results show truncated   
   > > after position 667.  I am not sure if this is due to   
   > > incompatiblity of markup with my browser or shows in   
   > > general.   
   > >   
   >   
   > What does this FriCAS failure on Timofeev Chapter 5, Example 81 (p.   
   > 276 in the book, #417 in the test suite) mean:   
   >   
   >   integrate((-2*sin(2*x)+(cos(x)*sin(x)^3)^(1/2))   
   >   /(-(cos(x)^3*sin(x))^(1/2)+tan(x)^(1/2)), x)   
   >   
   >   Error detected within library code: not invertible   
      
   This is rather excessive example of dependent roots:   
      
   (cos(x)*sin(x)^3)^(1/2) = +-sin(x)*(cos(x)*sin(x))^(1/2)   
   (cos(x)^3*sin(x))^(1/2) = +-cos(x)*(cos(x)*sin(x))^(1/2)   
   tan(x)^(1/2) = +-(cos(x)*sin(x))^(1/2)/cos(x)   
      
   So there are 4 essentially different combinations of branches   
   (8 together, but they are equvalent in pairs).   
      
   As I wrote, dependent roots may lead to division by zero,   
   which happens in this example.   
      
   --   
                                 Waldek Hebisch   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)