I'll second "Nice work!". Unsimplified expressions cause
bugs with tellsimp and tellsimpafter.
It should be possible to wrap a function inside a function that calls
well-formed-p on the input and the output. Maybe there is some general
scheme (a macro?) for doing this?
Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>I?have?written?a?test?function?to?detect?bad?simplified?Maxima
>expressions.?The?idea?is?that?a?well?simplified?or?well?formed?Maxima
>expression?does?not?have?any?nested?unsimplified?subexpression.