home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.math.symbolic      Symbolic algebra discussion      10,432 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 10,238 of 10,432   
   Nasser M. Abbasi to All   
   Re: alarum: Risch integrator fails to di   
   19 Jun 22 15:49:40   
   
   From: nma@12000.org   
      
   On 6/19/2022 8:15 AM, Валерий Заподовников wrote:   
   > But that is the same integral, Nasser.   
      
   You are right. But they are written differently. Since one gave an error   
   and not the second, I assumed they are different and I thought I copied   
   the wrong one from somewhere else.   
      
   This looks like bug in Fricas parser in this case?   
      
   (1) -> setSimplifyDenomsFlag(true)   
   (2) -> r=integrate(x/((x^2 - ((1 + 2*sqrt(-1))/5))*sqrt(x^3 - x)), x);   
                                              Type: Equation(Expression(Integer))   
      
   (3) -> r2=integrate(x/(x^2 - 1/5 - 2*sqrt(-1)/5)/sqrt(x^3 - x),x);   
       There are 9 exposed and 6 unexposed library operations named -   
          having 2 argument(s) but none was determined to be applicable.   
          Use HyperDoc Browse, or issue   
                                    )display op -   
          to learn more about the available operations. Perhaps   
          package-calling the operation or using coercions on the arguments   
          will allow you to apply the operation.   
      
       Cannot find a definition or applicable library operation named -   
          with argument type(s)   
                            Polynomial(Fraction(Integer))   
                                   AlgebraicNumber   
      
          Perhaps you should use "@" to indicate the required return type,   
          or "$" to specify which version of the function you need.   
      
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca