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 3 of 3

	1 2 3
Editor: test1 Time: 2015/10/05 17:46:54 GMT+0
Note:

added:

From test1 Mon Oct 5 17:46:54 +0000 2015
From: test1
Date: Mon, 05 Oct 2015 17:46:54 +0000
Subject: 
Message-ID: <20151005174654+0000@axiom-wiki.newsynthesis.org>

Status: open => fixed somewhere

Consider the following two expressions:

fricas

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

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

(1)

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

fricas

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

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

(2)

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