
radsimp - simplify expressions with radicals

Calling sequence:
radsimp(e)

Parameter:

e  --   expression

Summary:

radsimp(e) returns a simpler expression which is equivalent to e, or e otherwise.
It applies specially to constant expression with square roots. This function
implements the algorithms described in Decreasing the Nesting Depth of
Expressions Involving Square Roots, by Borodin, Fagin, Hopcroft and Tompa,
JSC 1, 1985, pages 169-188.

>>  radsimp(sqrt(4+2*sqrt(3)));

                            1/2
                           3    + 1

>>  radsimp(sqrt(14+3*sqrt(3+2*sqrt(5-12*sqrt(3-2*sqrt(2))))));

                            1/2
                           2    + 3

>>  radsimp(3/(sqrt(7)-2));

                             1/2
                            7    + 2

>>  radsimp(sqrt(1+sqrt(3))+sqrt(3+3*sqrt(3))-sqrt(10+6*sqrt(3)));

                               0

See also:  combine , simplify

