By the way, among other things, I tried rootscontract---yikes:
(%i26) rootscontract(%i/%pi);
(%o26) -%i/%pi
(%i27) rootscontract(%);
(%o27) %i/%pi
Barton
-----maxima-bounces at math.utexas.edu wrote: -----
>Automatically,?we?have?(1-x^2)?*?sqrt(1-x^2)?-->?(1-x^2)^(3/2),?but?I
>don't even know?of?a?command?that?crunches?(4-4*x^2)*sqrt(1-x^2)?-->
4?*?(1-x^2)^
>(3/2).?Is?there a?command?that?does?this?simplification?