#16643: integrate() infinite loop
---------------------------------------+------------------------
Reporter: rws | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.3
Component: symbolics | Resolution:
Keywords: integration, maxima | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------------------+------------------------
Comment (by nbruin):
This may be a reportable issue upstream:
{{{
Maxima 5.33.0 http://maxima.sourceforge.net
using Lisp ECL 12.12.1
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) display2d: false;
(%o1) false
(%i2) load(abs_integrate);
(%o2) "/usr/local/sage/sage-
git/local/share/maxima/5.33.0/share/contrib/integration/abs_integrate.mac"
(%i3) f: diff((tan(x)+x)*exp(tan(x)),x);
(%o3) %e^tan(x)*sec(x)^2*(tan(x)+x)+%e^tan(x)*(sec(x)^2+1)
(%i4) integrate(f,x);
Maxima encountered a Lisp error:
In function CAR, the value of the first argument is
0
which is not of the expected type LIST
Automatically continuing.
To enable the Lisp debugger set *debugger-hook* to nil.
}}}
Without the `load(abs_integrate)` the code seems to execute fine (by
returning the integral unevaluated). This does not fully explain why sage
seems to get stuck on it, though. Perhaps a try/except that is a little
too agressive in suppressing problems?
Also, the problem does not arise in Maxima 5.30.0 on SBCL 1.1.8-2, so it
may be a problem with maxima-ecl interaction (so it depends a little on
how well the maxima-devs want to support ECL)
Also executing `domain: complex;load(to_poly_solve);load(simplify_sum);`
(as we do in sage) doesn't affect the outcome.
--
Ticket URL: <http://trac.sagemath.org/ticket/16643#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
