This was the original problem I was trying to solve:
t = ((l2 * ( - ((t - 1)/((l2 + 1) * t)))^(1/l2))/(l2 * ( - ((t - 1)/((l2
+ 1) * t)))^(1/l2) + l2 + 1))
ratsubst(u^l2, - ((t - 1)/((l2 + 1) * t)),rhs(d1))
Both maxima rc4, 5.5 and Macsyma 2.4 left this as:
((l2 * (u^l2)^(1/l2))/(l2 * (u^l2)^(1/l2) + l2 + 1)).
After I executed assume(u >=0), then
in Macsyma 2.4, resimplify(d2) gave me:
((l2 * u)/(l2 * u + l2 + 1))
After I executed assume(u >=0) in 5.5,
ratsimp(d2) gave me
((l2 * u)/(l2 * u + l2 + 1)).
However the documentation indicates that the function simp will
resimplify a expression,
but I could not find it in the code.
I suppose resimplify should be implemented, how is the easiest way to do
it?
Thanks,
Dan Stanger