Solving Equations with Branch Cuts
New functionality has been added to the solve command to account for branch cuts in the input equations and build piecewise expressions that are correct for substitution of parameters. This functionality is controlled with the new option symbolic=false. The default behavior in Maple 17 and previous versions of Maple, is the same as specifying symbolic=true.
expr:=a=a+y+1;sol1≔solveexpr,y,symbolic=true;sol2≔solveexpr,y,symbolic=false
expr:=a=a+y+1
sol1:=y=−3a+a2+1
sol2:={y=−3a+a2+1And2argumenta−1≤π,−π<2argumenta−1otherwise
While both sol1 and sol2 are valid for some values of the parameter a:
sol1a=1|sol1a=1,sol2a=1|sol2a=1,solveexpra=1|expra=1,y
Only the solution using the symbolic=false option are valid for other values of the parameter:
sol1a=−1|sol1a=−1,sol2a=−1|sol2a=−1,solveexpra=−1|expra=−1,y
y=5,,
Important Note: The default of the symbolic option is expected to change to false in a future version of Maple. Applications that rely on the current branch cut behavior should add symbolic=true to their calls to solve.
See Also
solve/symbolic
Download Help Document
