[Maxima-bugs] [ maxima-Bugs-2843628 ] defint causes a stack overflow and Maxima crashes

[SourceForge.net <no...@so...>]

Bugs item #2843628, was opened at 2009-08-24 17:41
Message generated for change (Comment added) made by stefano_ferri
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2843628&group_id=4933

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Lisp Core - Integration
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Stefano Ferri (stefano_ferri)
Assigned to: Nobody/Anonymous (nobody)
Summary: defint causes a stack overflow and Maxima crashes

Initial Comment:
defint causes a program stack overflow if one of its limits is an unevaluated element of an array. This is an example:

(%i3) defint(x,x,l[1],l[2]);

*** - Program stack overflow. RESET

[../src/eval.d:573] reset() found no driver frame (sp=0xbf863090-0xbf85d2a0)
Exiting on signal 6
Aborted

Maxima crashes with signal 6. Nothing changes if one writes:

 (%i1) array(l,5);
(%o1) l
(%i2) defint(x,x,l[1],l[2]);

*** - Program stack overflow. RESET

[../src/eval.d:573] reset() found no driver frame (sp=0xbfbdb410-0xbfbd5620)
Exiting on signal 6
Aborted

This problem is very annoying: in fact it also makes impossible to do an evaluation of a noun form of an integral:

(%i2) 'integrate(x,x,l[1],l[2]);
(%o2) 'integrate(x,x,l[1],l[2])
(%i3) ev(%,nouns);

*** - Program stack overflow. RESET

[../src/eval.d:573] reset() found no driver frame (sp=0xbf907130-0xbf901340)
Exiting on signal 6
Aborted

My build_info():

(%i1) build_info();

Maxima version: 5.19.0
Maxima build date: 7:23 8/10/2009
host type: i486-slackware-linux-gnu
lisp-implementation-type: CLISP
lisp-implementation-version: 2.46 (2008-07-02) (built on slacky.slacky.eu [127.0.0.1])

Stefano





----------------------------------------------------------------------

>Comment By: Stefano Ferri (stefano_ferri)
Date: 2009-08-24 18:08

Message:
I've just tryed on a Windows XP machine with Maxima compiled with GCL
instead of CLISP. I get no errors in Maxima 5.17.1 and 5.18.0, while there
is an error in Maxima 5.19.1, but with no crashes. These are the details.

for Maxima 5.17.1 (and similarly in 5.18.0):

(%i3) defint(x,x,l[1],l[2]);
(%o3) l[2]^2/2-l[1]^2/2

(%i5) build_info();

Maxima version: 5.17.1
Maxima build date: 19:10 12/18/2008
host type: i686-pc-mingw32
lisp-implementation-type: GNU Common Lisp (GCL)
lisp-implementation-version: GCL 2.6.8


In Maxima 5.19.1:

(%i3) integrate(x,x,l[1],l[2]);

Maxima encountered a Lisp error:

 Error in PROGN [or a callee]: Bind stack overflow.

Automatically continuing.
To reenable the Lisp debugger set *debugger-hook* to nil.
(%i4) build_info();

Maxima version: 5.19.1
Maxima build date: 11:22 8/17/2009
host type: i686-pc-mingw32
lisp-implementation-type: GNU Common Lisp (GCL)
lisp-implementation-version: GCL 2.6.8


Since GCL version is the same, it seems defint has got a problem in
versions starting from 5.19. Could somebody check what's chamged?

Stefano


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2843628&group_id=4933