login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:08:37-08:00 (17 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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 a=-b. 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.

Status: open => fixed somewhere




  Subject: (replying)   Be Bold !!
  ( 15 subscribers )  
Please rate this page: