SolveTools
DisplaySolutions
Calling Sequence
Parameters
Description
Examples
Compatibility
DisplaySolutions(solutions)
DisplaySolutions(solutions, exclusions)
solutions
-
list, set, or expression returned by solve (note, solve will often return an expression sequence of solutions, and those need to be wrapped in a list or set to be passed to this command)
exclusions
(optional) list, set, or expression; typically the original equations corresponding to the the solutions in the first parameter. If provided these will be used to avoid processing any _NN and _Z symbols that appear in this parameter.
The DisplaySolutions command is intended for displaying solutions from the solve command together with the assumptions on any parameters added to the solutions via use of the allsolutions option to solve. Added parameters to solve will have names starting with _NN, _Z, or _B, and have conditions encoded as assumptions. DisplaySolutions displays those parameters as subscripted lowercase variables (named n by default, but another letter will be chosen if n already appears in the solutions). The output is displayed in the form of a piecewise, in two columns: the first column is the solutions, one solution to a row, the second column is the conditions on the parameters, one parameter to a row.
If a second argument is provided, this command will ignore any parameters that occur in that argument.
If there are no special parameters, the solutions are displayed in single column.
SolveTools:-DisplaySolutions⁡solve⁡x2−x,x
x=0x=1
This command is most useful for solutions of trig functions with the allsolutions option.
eq1≔x⁢sin⁡x2=x
sol1≔solve⁡eq1,x,allsolutions
sol1≔0,12⁢π+2⁢π⁢_Z1~,−12⁢π+2⁢π⁢_Z2~
SolveTools:-DisplaySolutions⁡sol1
012⁢π+2⁢π⁢n__1n__1∈ℤ−12⁢π+2⁢π⁢n__2n__2∈ℤ
One can pass in the equations as a second argument if there were _Z variables in the original equations and they will be excluded from being treated as parameters.
eq2≔x+sol12=π2
eq2≔x+12⁢π+2⁢π⁢_Z1~=π2
sol2≔solve⁡eq2,x
sol2≔x=−2⁢π⁢_Z1~
SolveTools:-DisplaySolutions⁡sol2,eq2
x=−2⁢π⁢_Z1~
If n or n[i] or n__i appear in the solution, then another name will be used for the parameter in the displayed output.
sol3≔solve⁡sin⁡n1+cos⁡n1,n1,allsolutions
sol3≔n1=−14⁢π+π⁢_Z3~
SolveTools:-DisplaySolutions⁡sol3
n1=−14⁢π+π⁢mm∈ℤ
The SolveTools:-DisplaySolutions command was introduced in Maple 2024.
For more information on Maple 2024 changes, see Updates in Maple 2024.
See Also
solve,details
Download Help Document