On 7/25/08, Barton Willis <willisb at unk.edu> wrote:
> A few versions ago, I think the following simplified to zero; now
> it doesn't:
>
> (%i6) sqrt(3) * sqrt(17) - sqrt(51);
> (%o6) sqrt(3) sqrt(17) - sqrt(51)
Are you sure about that? I tried several past versions on Windows & Linux
and got the same nonzero result shown above.
best
Robert Dodier