On Wed, 1 Dec 2010, Richard Fateman wrote:
< On 12/1/2010 12:11 PM, Stavros Macrakis wrote:
< > ....
< >
< > So ... what exactly do you mean by "giving the same answer" in the absence
< > of simplification?
< >
< >
If I understand the context, then Chris likely wants to allow different
simplifications which depend on the question asked (is that right, Chris?).
Granting that,
I think the question is, how can the user control the simplifier so
that only certain subsets of simplifications are carried out. The
clean way to do this is through a policy mechanism, as I have suggested
before.
Leo
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.