search

rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

Bind stack overflow when computing integrate(log(cos(x))^2*(log(cos(x))^2-6*x^2),x,0,%pi/2) #1134

Open rtoy opened 2 months ago

rtoy commented 2 months ago

Imported from SourceForge on 2024-07-04 00:45:55 Created by tomasriker on 2016-01-22 09:05:59 Original: https://sourceforge.net/p/maxima/bugs/3077

Here's an integral that generates a "bind stack overflow":

Maxima branch_5_37_base_407_g2af0c38 http://maxima.sourceforge.net
using Lisp GNU Common Lisp (GCL) GCL 2.6.12
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) integrate(log(cos(x))^2*(log(cos(x))^2-6*x^2),x,0,%pi/2);

Maxima encountered a Lisp error:

 Condition in MACSYMA-TOP-LEVEL [or a callee]: INTERNAL-SIMPLE-ERROR: Bind stack overflow.

Automatically continuing.
To enable the Lisp debugger set *debugger-hook* to nil.
rtoy commented 2 months ago

Imported from SourceForge on 2024-07-04 00:45:56 Created by robert_dodier on 2022-11-03 16:53:30 Original: https://sourceforge.net/p/maxima/bugs/3077/#db4c

Still present in post-5.46. A stack trace suggests TRIGINT or MONSTERTRIG is trying to reduce the problem to something simpler and work on the revised problem, but the problem gets bigger and bigger (huge exponents).