help links subscribe changes refresh edit

	IssueTracker
#206 Interpreter code generation failed for function returning a Type ←	↑	→ #208 interpret(x::InputFor)=x is broken for functions and types

#207 certain limit failure

Edit detail for #207 certain limit failure revision 2 of 3

added:
\end{axiom}

\begin{axiom}

removed:
-

added:

Now they both fail, as they should.

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.