[Maxima] tellsimpafter issue

[Daniel Lakeland]

A perfect example of how I can't figure out the pattern/rules stuff...

matchdeclare(aa,atom,bb,atom,cc,atom);

tellsimpafter(laplace(signum(aa-bb),aa,cc),exp(-bb*cc)/cc);
laplace(signum(x-a),x,s);

why doesn't tellsimpafter cause laplace(signum(x-a),x,s) to be
converted to exp(-a*s)/s???

I suspect it somehow has to do with the way that x-a is matched... but
the manual doesn't help me understand it.

-- 
Daniel Lakeland
dlakelan at street-artists.org
http://www.street-artists.org/~dlakelan