MathAction #207 certain limit failure

Topics

Consider the following two expressions:

fricas

exa:=integrate(log(1/x)/x^a,x)

$\label{eq1}-{{x \ {\log \left({1 \over x}\right)}}\over{{\left(a - 1 \right)}\ {{e}^{-{a \ {\log \left({1 \over x}\right)}}}}}}$

Type: Union(Expression(Integer),...)

fricas

exb:=integrate(log(1/x)*x^b,x)

$\label{eq2}{x \ {\log \left({1 \over x}\right)}\ {{e}^{-{b \ {\log \left({1 \over x}\right)}}}}}\over{b + 1}$

Type: Union(Expression(Integer),...)

which are equivalent by setting . However, the operation limit doesn't like both equally well:

fricas

limit(exa,x=0)

   >> Error detected within library code:
   can not determine sign

fricas

limit(exb,x=0)

   >> Error detected within library code:
   can not determine sign

Martin

Now they both fail, as they should.

... --test1, Mon, 05 Oct 2015 17:46:54 +0000 reply

Status: open => fixed somewhere