2009/4/15 Martin Sch?necker <ms_usenet at gmx.de>:
> After the block, Maxima doesn't seem to know any feature about h, but
> still insists on the integral to evaluate to zero. - There may be a bug?
Yes, here is a simpler demonstration of the bug:
(%i1) [ block([], local(f),
declare(f,oddfun),
[ f(-x), featurep(f,oddfun) ] ),
[ f(-x), featurep(f,oddfun) ] ];
(%o1) [[- f(x), true], [- f(x), false]]
The effect of declare/oddfun persists, which it should not.
And the value of featurep/oddfun is inconsistent with the behavior of f.
Both of these are bugs, but I don't know if they have the same cause
or different causes.
-s