rsimp again

[Ralf Hemmecke]

Hi Waldek,

I know that rsimp isn't perfect and that you will improve it in the
future. But somehow I find this result a bit weird given that 31^2=961.

Ralf

%%% (240) -> xx := sqrt(-155*sqrt(5)+543)

+----------------+
| +-+
(240) \|- 155 \|5 + 543
%%% (241) -> (rsimp(xx)$RootSimplification)

+---+
+-+ |961
(31 \|5 - 25) |---
\| 10
(241) --------------------
31

[Waldek Hebisch]

The attached patch makes this simpler: when numerator or denominator
is an exact power it pulls corresponding factor before root sign.

--
Waldek Hebisch

[Ralf Hemmecke]

Thank you. That's much better.

%%% (150) -> 1/((rsimp(xx)$RootSimplification)::AN)

+-+
31 \|5 - 25
(150) ------------
+--+
\|10


Ralf