GNU Common Lisp (GCL) in Maxima's integration bug

[gene]

Binary package hint: maxima

upgraded to very buggy ubuntu 9.10 .
Here's one of the "strange bugs":

Maxima 5.17.1 http://maxima.sourceforge.net
Using Lisp GNU Common Lisp (GCL) GCL 2.6.7 (aka GCL)

how to reproduce:
Opne maxima (in the terminal, xmaxima, wxmaxima)
type :
integrate((x-1)/(x^3+1),x);

maxima gives:
Universal error handler called recursively (:ERROR NIL
                                                  CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER
                                                  ""
                                                  "Couldn't protect")
Universal error handler called recursively (:ERROR NIL
                                            CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER
                                            "" "Couldn't protect")
Maxima encountered a Lisp error:

 Error in CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER [or a callee]: Caught fatal error [memory may be damaged]

Automatically continuing.
To reenable the Lisp debugger set *debugger-hook* to nil.

Which is a nonsence. I remember doing it beforfe the upgrade

MOREOVER, On my FreeBSD box I just recently compiled the SAME VERSION of Maxima against Lisp CLISP 2.47 (2008-10-23) instead of GCL. That one did not compile for me.

OK if I do it in the freebsd maxima I get::

(%i1) integrate((x-1)/(x^3+1),x);
                             2
                        log(x - x + 1) 2 log(x + 1)
(%o1) --------------- - ------------
                               3 3
And of course this is right.
Here's the header again:
Maxima 5.17.1 http://maxima.sourceforge.net
Using Lisp CLISP 2.47 (2008-10-23)

[gene (eugenios)]

well the html garbled my FreeBSD Maxima's out put...

(%i1) integrate((x-1)/(x^3+1),x);
                             2
                        log(x - x + 1) 2 log(x + 1)
(%o1) --------------- - ------------
                               3 3
(%i2) tex(%o1)
;
$${{\log \left(x^2-x+1\right)}\over{3}}-{{2\,\log \left(x+1\right)
 }\over{3}}\leqno{\tt (\%o1)}$$
(%o2) (\%o1)

In tex output

[gene (eugenios)]

sad: the impression is 9.10 seems to accumulate every possible bug
:(

[gene (eugenios)]

OK just checked xMaxima in the introductory page all thing seem to work EXCEPT the operations related to ontegration, like integrate and solving ODE.
                                                 CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER
                                                  ""
                                                  "Couldn't protect")
Universal error handler called recursively (:ERROR NIL
                                            CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER
                                            "" "Couldn't protect")
Maxima encountered a Lisp error:

 Error in CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER [or a callee]: Caught fatal error [memory may be damaged]

Automatically continuing.
To reenable the Lisp debugger set *debugger-hook* to nil.
(%i2)
(%o2) - sin(x)
(%i3) (%i1)
                                       2
(%o1) -
                                       3
(%i2)
(%o2) false
(%i3) Universal error handler called recursively (:ERROR NIL
                                                  CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER
                                                  ""
                                                  "Couldn't protect")
Universal error handler called recursively (:ERROR NIL
                                            CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER
                                            "" "Couldn't protect")
Maxima encountered a Lisp error:

 Error in CONDITIONS::CLCS-UNIVERSAL-ERROR-HANDLER [or a callee]: Caught fatal error [memory may be damaged]

Automatically continuing.
To reenable the Lisp debugger set *debugger-hook* to nil.
(%i4)
                                45 1 19
(%o4) [[x = --, y = --, z = --]]
                                13 13 13
(%i5)
                                   [ 1 2 ]
(%o5) [ ]
                                   [ 3 4 ]
(%i6)
(%o6) a d - b c
(%i7) (%i1)

[gene (eugenios)]

Forgot to give the FreeBSD version that does not have this bug:
uname -a
FreeBSD freebsd.math 7.0-RELEASE FreeBSD 7.0-RELEASE #0: Sun Feb 24 19:59:52 UTC 2008 <email address hidden>:/usr/obj/usr/src/sys/GENERIC i386

Packages are updated through the upgradepackage and Maxima is irecently nstalled via ports

[gene (eugenios)]

Brrr, of course, not the "packageupgrade", but portupgrade utility

[michae7 (rpsmic001)]

Hi all,

I see that this bug has been marked as a duplicate of bug 303587. I have just updated my laptop today (26/01/2010, Maxima 5.17.1) and find that the bug described in 303587 does not occur but the bug described in this report does. I see that 303587 has numerous bugs marked as duplicates. I realize that these bugs throw similar errors, but since one seems to have been resolved while others remain perhaps they should not be marked as duplicates? Specifically:

describe(plot_options); // bug raised in 303587 evaluates correctly for me
integrate((x-1)/(x^3+1),x); // this bug does not evaluate correctly, throws the errors given in this report

Some other commands that failed on my machine :
sqrt(2 * %pi);

assume(a > 0)$
integrate (1 / (x^2 + 1), x);

wxplot3d( exp(-x^2 - y^2), [x,-2,2],[y,-2,2]); // fails, but seems to be a wxMaxima specific command.

assume(omega > 0);
ode2( 'diff(y, t, 2) + omega^2 * y = 0, y, t );

The majority of these I tested via wxMaxima (they come from the tutorial http://wxmaxima.sourceforge.net/wiki/files/5/53/10minute.zip), but I checked some of them using Maxima directly and those that I checked produced the same errors as with wxMaxima.

[Jorrit Kronjee (jorrit-wafel)]

@michae7: Could you try my workaround described here: https://bugs.launchpad.net/ubuntu/+source/maxima/+bug/303587/comments/14 and see if that works anyway?

If so, we are talking about the same bug.