What is wrong with this rule?



hi dileep,

> Yes! It works now. But couldn't understand why this
> happened and only for the product of higher orders.

i;m not sure what-all is going on, but the motive behind the
quote mark is that apply1 is an argument-quoting function.
apply (foo, [a, b, c]); on the other hand evaluates the arguments ...
so quoting 'eq1 makes it look the same in apply (...)
as it does in an ordinary function call.

if this seems extremely obscure, you're right, it is.

anyway i'm glad to hear you're making progress.

robert dodier