On Mon, Sep 05, 2022 at 02:48:00PM +0200, Ralf Hemmecke wrote:
> Consider c>0.
>
> (1) -> integrate(exp(-c*x)*log(x),x=0..%plusInfinity)
>
>(1) "faileed"
>
> Can FriCAS specify "c>0" somehow?
Instead of c you can use c^2, FriCAS assumes that square is
nonnegative. However, there is
I guess the problem is limit(Ei(-x),x=%plusInfinity) --> failed
https://en.wikipedia.org/wiki/Exponential_integral
Even with c:=1:
I:=integrate(exp(-x)*log(x),x=eps..1/eps,"noPole")
1
- ---
- eps 2eps
Consider c>0.
(1) -> integrate(exp(-c*x)*log(x),x=0..%plusInfinity)
(1) "faileed"
Can FriCAS specify "c>0" somehow?
In Mathematica I get.
In[1]:= Integrate[Exp[-c*x]*Log[x], {x, 0, Infinity}]
Out[1]= ConditionalExpression[-((EulerGamma + Log[c])/c), Re[c] > 0]
In Maple I get at
