solve one or more equations
equation or inequality, or set or list of equations or inequalities
(optional) name or set or list of names; unknown(s) for which to solve
The solve command solves one or more equations or inequalities for their unknowns.
If the second argument is a name or a set of names, then the solutions to a single equation are returned as an expression sequence. If the second argument is a list, then the solutions are returned as a list.
If the second argument is a name or a set of names, then the solutions to a set or list of equations are returned as sets of equation sequences. If the second argument is a list, then the solutions are returned as a sorted listlist of equations.
If the solve command does not find any solutions, then if the second argument is a name or set of names, then the empty sequence (NULL) is returned; if the second argument is a list, then the empty list is returned. This means that there are no solutions, or the solve command cannot find the solutions. In the second case, a warning is issued, and the global variable _SolutionsMayBeLost is set to true.
If the output of the solve command is a piecewise-defined expression, then the assuming command can be used to isolate the desired solution(s). If the output is not piecewise-defined, in particular, if the output is constant, assumptions on the independent variables may be ignored. If there are parameters in the input equations, the solve command will use those assumptions in its computations. See examples below.
For higher degree polynomial equations, Maple returns implicit solutions in terms of RootOf.
Solve for x.
Solve for a.
Solve a quadratic equation
To ignore parameters, specify the variables for which to solve.
Solving linear systems
The solve command can solve linear systems.
The solve command can solve inequations.
Using the assuming command to isolate a solution
Assumptions on parameters can be used to get more specific solutions. Note also, the form of the output changes when variables are given in a list.
Using RootOf expressions as placeholders to solutions of high-degree polynomials
The explicit solutions to high-degree polynomials can be very large, so Maple may return a solution using RootOf expressions as placeholders.
Maple may also use RootOf expressions as placeholders when it cannot find an explicit form for the solution of a non-algebraic equation in one variable.
No solutions found
In the following example, solve does not find a solution to the set of equations, and as mentioned above in the Description section, if the second argument variables is a set, the empty sequence is returned.
Here, solve does not find a solution to the list of equations. Since more than one variable is received in a list, the empty list is returned.
For detailed information including:
A complete description of all calling sequences and resulting output forms
How to use units in the input of solve
Shortcuts for specifying equations and unknowns
Controlling the form and number of solutions returned
see the solve/details help page.
Download Help Document