combine radicals in products
combine(expr, radical, symbolic)
The combine/radical function is used to combine products of radicals of the same power that appear in an expression.
The main transformation made by combine/radical is
where x and y are both positive, (i.e. signum⁡x=signum⁡y =1) and 0<m,n<d where m,n,d are integers.
For example: 212⁢312→612
If the condition 0<m<d above is not satisfied, then let m=q⁢d+r where 0<r<d. Then expand xmd=xq⁢d+rd =xq+rd as xq xrd so that the condition is now satisfied. If x is an integer, Maple applies this transformation automatically.
For example: 232→2⋅212.
Suppose the sign of x is known to be negative, i.e. signum⁡x=−1. Then expand xmd as −1md −xmd so that the positive part −xmd can now be combined.
For example: −212⋅312→I⋅212⋅312→I⋅612
The new radical xm⁢yn1d needs to be simplified. The new radicand xm⁢yn is simplified by applying normal(x^m*y^n, expanded). For example:10+2⁢10−2→10+2⁢10−2→normal/expanded98 which after simplification yields 7⁢2
If the sign of x and y is not known, then combine will not combine the radicals because that is not correct for all x and y in general. For example x⁢y≠x⁢y for negative x and y. The user has two possibilities to force Maple to combine radicals of unknown sign. The first is to use assume to tell Maple the sign of the radicands. The second is to specify the optional argument symbolic which will assume all radicands of unknown sign are real and positive.
If the sign of one radicand is unknown -- for example, suppose that signum⁡x=1 and signum⁡y is unknown -- then combine will still combine the radicands x and y because x is known to be positive.
f1 ≔ 2⁢6+2⁢x+1
f2 ≔ 4−3⁢4+3
f3 ≔ x⁢y+2⁢x+13⁢y
Download Help Document
What kind of issue would you like to report? (Optional)