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

Submitted by : kratt6 at: 2008-01-22T13:08:00-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

Axiom seems to take forever on:

  integrate(sqrt(1-z)*(sqrt(1-sqrt(z))+sqrt(sqrt(z)+1))*(2*sqrt(1-_
          sqrt(z))*sqrt(sqrt(z)+1)*(2*z-1)-2*z-sqrt(z)+1)/z^(3/4), z=0..1, "noPole")

same for the indefinite version. (Vladimir 49)

Martin

This is quite heavy computation and in current implementation it is done in rather inefficient way. So very long compute time is expected. After doing setSimplifyDenomsFlag(true) FriCAS handles the last example below reasonably fast. The first below still needs too much time for MathAction. Also, FriCAS thinks that the first below is nonelementary, so it is left unevaluated). The case above is more complicated.

Another failure:
  integrate(sqrt(1 - z)*sqrt(sqrt(1 + z^2)), z)

It seems that friCAS finally hangs calling reduce from FiniteDivisor?, which in turn is called by torsionIfCan in PFO. Similar::

fricas
setSimplifyDenomsFlag(true)

\label{eq1} \mbox{\rm false} (1)
Type: Boolean
fricas
integrate(2*z*sqrt(sqrt(2*z*z+2*sqrt(2)*z+2)+z+sqrt(2)),z)

\label{eq2}{\left({\left({
\begin{array}{@{}l}
\displaystyle
{{\left({
\begin{array}{@{}l}
\displaystyle
{
\begin{array}{@{}l}
\displaystyle
2 \  \cdot 
\
\
\displaystyle
z \  \cdot 
\
\
\displaystyle
{\sqrt{2}}
(2)
Type: Union(Expression(Integer),...)

(Vladimir 48)

Name: #417 integration failure => #417 slow integration




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