-----maxima-bounces at math.utexas.edu wrote: -----
>that?should?work?but?does?not?partly?because?limit(signum(x),x,inf)?cannot
>be?computed.??Is?there?a?work?around?
A workaround:
(%i1) load("abs_integrate.mac")$
(%i9) simp_assuming(limit(signum(x),x,inf), x > 0);
(%o9) 1
(%i6) simp_assuming(limit(signum(x),x,minf), x < 0);
(%o6) -1
(%i7) simp_assuming(limit(signum(x) * atan(x),x,inf), x > 0);
(%o7) %pi/2
You could build your own limit function that does the simp_assuming
automatically.
Barton