On 8/4/08, Dieter Kaiser <drdieterkaiser at web.de> wrote:
> I have formulated the test function the following way:
>
> equal_function(exp1,exp2):=block(
> if (?listp(exp1)
> and (?listp(exp2))
> and is(equal(?stripdollar(op(exp1)),?stripdollar(op(exp2))))
> and is(equal(args(exp1), args(exp2)))) then return(true),
> false
> );
Dunno if it really matters, but: the above test can be expressed more briefly
(and avoiding Lisp functions) as
equal_function (exp1, exp2) :=
not atom (exp1)
and not atom (exp2)
and verbify (op (exp1)) = verbify (op (exp2))
and args (exp1) = args (exp2);
FWIW
Robert Dodier