scanmap(gfactor, ... ) will reduce to the original form. ratsimp,
gcd:'subres or 'red also work.
But that leaves the problem of radcan causing bloat.
A simpler example:
(%i1) expr;
(%o1) (2*t^2-5*%i*t-2)/(4*t^2-4*%i*t-1)
(%i2) factor(expr);
(%o2) (2*t^2-5*%i*t-2)/(4*t^2-4*%i*t-1)
(%i3) gfactor(expr);
(%o3) (t-2*%i)/(2*t-%i)
(%i4) ratsimp(expr);
(%o4) (2*t^2-5*%i*t-2)/(4*t^2-4*%i*t-1)
(%i5) ratsimp(expr),gcd:'red;
(%o5) (t-2*%i)/(2*t-%i)
(%i6) ratsimp(expr),gcd:'subres;
(%o6) (t-2*%i)/(2*t-%i)
(%i7) radcan(exp(expr))
... a big mess... <<<< why?
(%i8) scanmap(gfactor,%);
(%o8) %e^((t-2*%i)/(2*t-%i))
(%i9) radcan(exp(expr)),gcd:'red;
(%o9) %e^((t-2*%i)/(2*t-%i))
(%i10) radcan(exp(expr)),gcd:'subres;
(%o10) %e^((t-2*%i)/(2*t-%i))
On Sat, May 28, 2011 at 13:17, Barton Willis <willisb at unk.edu> wrote:
> radcan(exp(((t-2*%i)*x^2)/(4*t-2*%i))), gcd : 'red;
>