Subject: new comm.lisp causes maxima to hang (a case)
From: Edwin Woollett
Date: Wed, 15 Feb 2012 16:25:07 -0800
If I don't load new comm.lisp (in compiled form)
I get expected result (first example)
If I do load new comm.lisp, the same example
hangs maxima (gcl):
-------------------------------------
/****** ok w/o comm-new.o *****/
Maxima 5.26.0 http://maxima.sourceforge.net
using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (a.k.a. GCL)
(%i1) load("defint-new.o")$
(%i2) load("limit-new.o")$
(%i3) load("unwind_protect.lisp")$
(%i4) simp_assuming(e, [fcts]) ::=
buildq([e,fcts], unwind_protect((apply(assume, fcts), expand(e,0,0)),
apply(forget,fcts)))$
(%i5) integrate(2^(%i*x),x,1,10^4);
(%o5) 2^%i*%i/log(2)-%i*2^(10000*%i)/log(2)
(%i6) expand(float(rectform(%)));
(%o6) 0.47915862215474*%i+0.37574425579291
(%i7) simp_assuming(integrate(sin(sin(x)),x,0,2), x >= 0, x <= 2);
(%o7) 'integrate(sin(sin(x)),x,0,2)
/*** not ok with comm-new.o ****/
Maxima 5.26.0 http://maxima.sourceforge.net
using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (a.k.a. GCL)
(%i1) load("defint-new.o")$
(%i2) load("limit-new.o")$
(%i3) load ("comm-new.o")$
(%i4) load("unwind_protect.lisp")$
(%i5) simp_assuming(e, [fcts]) ::=
buildq([e,fcts], unwind_protect((apply(assume, fcts), expand(e,0,0)),
apply(forget,fcts)))$
(%i6) integrate(2^(%i*x),x,1,10^4);
(%o6) 2^%i*%i/log(2)-%i*2^(10000*%i)/log(2)
(%i7) expand(float(rectform(%)));
(%o7) 0.47915862215474*%i+0.37574425579291
/* this hangs maxima */
(%i8) simp_assuming(integrate(sin(sin(x)),x,0,2), x >= 0, x <= 2);
--------------------------------
Ted Woollett
(%i1) build_info()$
Maxima version: 5.26.0
Maxima build date: 22:48 1/15/2012
Host type: i686-pc-mingw32
Lisp implementation type: GNU Common Lisp (GCL)
Lisp implementation version: GCL 2.6.8