clicliclic@freenet.de  wrote:   
   >   
   > "Nasser M. Abbasi" schrieb:   
   > >   
   > > 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(Ex   
   ression(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.   
   > >   
   >   
   > I would consider it a natural behaviour for the FriCAS parser to   
   > resolve:   
   >   
   >   Polynomial(Fraction(Integer)) - AlgebraicNumber   
   >   
   > by automatically downgrading to Polynomial(AlgebraicNumber), assuming   
   > that is a valid FriCAS type. Presumably, the integrand would then again   
   > end up as Expression(Integer) and thus be palatable to the integrator.   
   >   
   > Martin.   
      
   Yes, this should happen.  And now developement version works in this   
   way.   
      
   --   
                                 Waldek Hebisch   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)