The fact that ANYTHING works with simp:false is surprising.
I suspect that your (minimal) example isn't minimal at all --
gcd(a,b) ignores the simp flag, anyway. It converts a and b to
rational form
and then computes the gcd. The RESULT of the gcd looks like ((mplus
ratsimp) $x -1)
The only circumstances in which I sometimes expect expressions to be
unsimplified
is when they are inside the body of a function, e.g. f(a,b):= a+b-a
to test for roundoff. Maybe that is what you need.
Clearly checking to see if exp1-exp2 = 0 is not going to work if
simp:false.
RJF
On 12/1/2010 7:09 AM, Chris Sangwin wrote:...
..snip...
>
> What is the best approach to using the automatic testing with simp:false?
>
Um, leave simp:true.
RJF