I admit to being concerned about changes to these programs, which date
back to 1963!
I'm not sure why, exactly.
What if there is not sqrt(2) but sqrt(11111111111111111);
Here is a sequence of computations:
b: 11111111111111111;
factor(b);
sqrt(%);
% / b;
(2071723^(-1/2)*sqrt(5363222357))/5363222357 ;;; a peculiarity of
wxmaxima which has problems with sqrt in denominator??
with your changes, the better result is
1/(sqrt(2071723)*sqrt(5363222357)).
What concerns me is how much work, in general, are you going to do to
find factors? apparently just numbers -- do you compute a GCD somewhere??
Still not quite right ...
sqrt(c/d)*c is not simplified
but sqrt(c)*c/d is simplified.
sqrt(x^2-1)*(x-1) unsimplified.
I guess you are just doing numbers..
not complex numbers, though. Consider
sqrt(2456*%i-1992)-26*%i*sqrt(%i+3)-18*sqrt(%i+3)
which is, at least choosing certain values of the sqrts, zero.
Well, I still have no specific bad examples...
Good luck
RJF