> maxima-bounces at math.utexas.edu
>
> I just had occasion to look at the code for antid,
By the way, antidiff is pretty smart:
(%i35) load("antid")$
(%i36) diff(f(x) * (f(x) + 1)^5,x)$
(%i37) factor(antidiff(%,x,f(x)));
(%o37) f(x)*(f(x)+1)^5
(%i46) diff(f(x) * exp(x-x * diff(f(x),x) - x),x)$
(%i47) factor(antidiff(%,x,f(x)));
(%o47) f(x)*%e^(-x*('diff(f(x),x,1)))
Likely, the following bug might be due to code not in antid:
(%i48) diff(f(x) * (f(x) + 1)^a,x)$
(%i49) antidiff(%,x,f(x));
Is a zero or nonzero?nonzero;
Maxima encountered a Lisp error:
Barton