simplify expressions with radicals
simplify(expr, radical, symbolic)
literal name; radical
(optional) literal name; symbolic
The simplify/radical command is used to simplify expressions which contain radicals. For the case of square roots only, see simplify/sqrt. Additional simplification facilities for expressions containing radicals include the radnormal, rationalize, and combine commands.
The simplify/radical command has three phases. In the first phase, it tries to simplify each radical individually. In the second phase, it looks at the set of all the radicals that appear in the expression and tries to eliminate radicals by writing one radical in terms of others. Finally, the expression as a whole is normalized as a rational expression.
The main simplification applied to individual radicals is
Example 1: 2413→2⁢313.
Example 2: π2x→π⁢x.
If sign of x is unknown, the user can force Maple to do this transformation either by using the assume facility, or by specifying the symbolic option. If the sign of x is unknown, and the symbolic option is given, x is assumed real and positive.
The main simplification applied to the set of radicals is to try to write a radical as a constant times another radical.
Example 1: Given 30+2, apply 30→15⁢2.
Example 2: Given 2⁢x−2+x−1, apply 2⁢x−2→2⁢x−1.
The main simplification applied during the rationalization of the resulting expression is the following.
Given xmn=xq+rn where 0<n<m, write this as xq⁢Ard, normalize, and replace the dummy A by x on output.
e ≔ 2413,24−13,−2413
e ≔ 613+2513,613+1513
e ≔ −8⁢b3⁢a13
f ≔ x4+3⁢x3⁢y+3⁢x2⁢y2+x⁢y313
f ≔ 2⁢x+213+4⁢x+413+3⁢x−313
f ≔ x+143−x⁢x+113
Download Help Document