## #2138 antid gives stack overflow

closed
nobody
4
2011-03-03
2011-01-11
No

The antidiff function works pretty well, but it should handle problems it can't do more gracefully:

(Lisp Clozure Common Lisp Version 1.6-dev (WindowsX8632)

(%i2) antidiff(diff(f(x),x,a) * f(x)^x,x,f(x));

Maxima encountered a Lisp error:

Stack overflow on value stack.

A nounform would be better than a Lisp error.

## Discussion

• Barton Willis - 2011-01-12

Related, but more simple:

(%i4) antidiff(diff(f(x),x,a) + diff(f(x),x,b),x,f(x));
Maxima encountered a Lisp error:

• Dieter Kaiser - 2011-01-13

I do not observe Lisp errors. All examples work and give a noun form. In revision 1.4 of antid.mac a check was added to avoid endless loops.

Maxima version: 5.23post
Maxima build date: 11:42 1/8/2011
Host type: i686-pc-linux-gnu
Lisp implementation type: SBCL
Lisp implementation version: 1.0.45

(%i5) antidiff(diff(f(x),x,a) * f(x)^x,x,f(x));

(%o5) antidiff(f(x)^x*'diff(f(x),x,a),x,f(x))
(%i6) antidiff(diff(f(x),x,a) + diff(f(x),x,b),x,f(x));

(%o6) antidiff('diff(f(x),x,b)+'diff(f(x),x,a),x,f(x))
(%i7) antidiff(diff(f(x) * (f(x)+1)^a,x),x,f(x));

(%o7) antidiff((f(x)+1)^a*'diff(f(x),x,1)
+a*f(x)*(f(x)+1)^(a-1)*'diff(f(x),x,1),x,f(x))

Dieter Kaiser

• Dieter Kaiser - 2011-02-17
• status: open --> pending

• Dieter Kaiser - 2011-02-17

As written in the last posting I can not observe an error with the current Maxima version.
Setting the status to pending and the resolution to "works for me".
Dieter Kaiser

• SourceForge Robot - 2011-03-03

This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by