Subject: Difference between substitution and evaluation
From: Wolfgang Jenkner
Date: Fri, 24 Dec 2004 15:21:03 +0100
Robert Dodier <robert_dodier@yahoo.com> writes:
> If it [evaluation understood as kind of substitution] helps we can
> restrict consideration to meval instead of considering ev in all its
> glory.
As others have pointed out, $EV is not directly related to MEVAL.
Rather, but my view on this might be controversial, $EV is best
understood as the user interface to MEVALATOMS, adorned by various
more or less confusing options.
But perhaps I am misunderstanding what you are after here?
Wolfgang