From: nma@12000.org   
      
   On 10/19/2019 1:15 PM, Nasser M. Abbasi wrote:   
   > On 10/19/2019 1:05 PM, Nasser M. Abbasi wrote:   
   >> it next checks for "integral" as long as it is   
   >> part of "exp_integral","sin_integral","cos_integral",   
   >> "sinh_integral","cosh_integral", then it is failed.   
   >   
   > opps, should be   
   >   
   >         as long as it is _NOT_ part of ...   
   >   
   > Because I've seen Fricas return "integral" on its own, meaning it is   
   > not a complete evaluation. Do not have an example now to show.   
   >   
      
   Here is example where Fricas returns "integral" for   
   non-evaluated, which is counted as failed:   
      
   integrate(sin(x)^p,x, algorithm="fricas")   
      
          integral(sin(x)^p, x)   
      
   Notice: I am running Fricas from inside sagemath 8.9. The   
   above is what sagemath returns.   
      
   On side note: Notice that there are few issues when calling   
   Fricas from sagemath, where something would fail, but would   
   pass if calling Fricas directly. We talked about this before.   
      
   These are sagemath<->Fricas interface issues and hopefully   
   will be fixed. For example in sagemth 8.9, problem   
   174 in Hearn file gives   
      
   ---------------------   
   sage: var('x')   
   sage: integrate(sqrt(2)*x^2 + 2*x,x, algorithm="fricas")   
       File "", line unknown   
   SyntaxError: Malformed expression   
   ------------------------   
      
   But in Fricas 1.5 itself, there is no problem   
      
   ii:=integrate(sqrt(2)*x^2 + 2*x,x);   
   unparse(ii::InputForm)   
      
        (3)  "((2^(1/2))/3)::AlgebraicNumber()*x^3+1::AlgebraicNumber()*x^2"   
      
   I report any problem I find in the interface to sagemath.   
   -------------------------   
      
   I am rebuilding CAS integration tests now again for fricas   
   after adding the additional explicit check for "log_integral"   
   there. Will update web page when done. Might take about a day.   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)