solve - Maple Programming Help

Home : Support : Online Help : Mathematics : Factorization and Solving Equations : solve : solve/details

solve

solve one or more equations

 Calling Sequence solve(equations, variables, options)

Parameters

 equations - expression, equation, inequality, or procedure; or set or list of expressions, equations, or inequalities variables - (optional) name or set or list of names; unknown(s) for which to solve options - (optional) a sequence of equations option=value.

Options

Options may be supplied as listed below, or in all lower-case.

allsolutions

 allsolutions = truefalse
 Return more solutions for non-algebraic equations (default is false).

conditionalsolutions

 conditionalsolutions = truefalse
 Return piecewise conditional solutions (default is true).

dropmultiplicity

 dropmultiplicity = truefalse
 Do not return multiple identical solutions of polynomials (default is false).

explicit

 explicit = {posint, truefalse}
 Express RootOfs in solution as radicals when possible (default is false).

maxsols

 maxsols = {posint, pos_infinity}
 Limit the number of solutions returned (default is 100).

tryhard

 • tryhard = truefalse

useassumptions

 • useassumptions = truefalse
 Convert assumptions into additional inequalities (default is false).

useunits

 • useunits = {truefalse, list(variable::unit)}
 Do preprocessing to handle units in the solve input. By default solve does this automatically if it detects units. Set this option to true to force preprocessing if detection fails.  Set this option to false to have units treated as symbols. The default behavior is that solve analyzes the input to determine what units are associated with the symbols in the input.  To aid that analysis or to override the units it finds by other units, units can be specified in this option as a list of variable::unit pairs.

Basic Information

 • This help page contains complete information about the solve command. For basic information on the solve command, see the solve help page.

Description

 • The solve command solves one or more equations or inequalities for the specified unknowns. The unknowns may be names, including indexed names (though for efficiency reasons, indexed names should be avoided when possible), or functions. Both indexed names and functions are considered to be independent of each other and of all other unknowns.
 • To find parameterized solutions of the equations, specify variables that are functions of a free variable.
 • If you use the abs command, the solve command assumes that the argument to abs is real-valued.

Calling Sequence Shortcuts

 • In the equations parameter, if you specify an expression expr, Maple interprets it as the equation $\mathrm{expr}=0$.
 • If you do not specify the variables parameter, Maple solves for all the variables that appear in equations, that is, indets(equations, name).

Output

 • The data type of the solution depends on the data type of the first (equations) and second (unknowns for which to solve) arguments.
 - If the second argument is a name and the first argument is an equation, then the solution is an expression sequence.
 - If the second argument is a name and the first argument is a set or list of equations, then the solution is comprised of sets.
 - If the second argument is a list of names, then for any type of first argument,  the solution is a list of lists.
 - If there is no second argument, then the solution for a single variable equation is an expression sequence, and the solution for a multi variable equation or a set or list of equations is comprised of sets.
 • If the solve command does not find any solutions, then it returns the empty sequence (NULL) (instead of an expression sequence or sets) or empty list (instead of a list of lists). This means that there are no solutions or the solve command cannot find the solutions.

Missed Solutions

 • If the solve command cannot confirm that the solution set returned is complete, it sets the global variable _SolutionsMayBeLost to true and issues a warning.

Conditional Solutions

 • The solve command can return conditional solutions to many types of parametric equations and inequalities. Systems of linear inequalities in one or more variables are fully supported, as well as relations involving some types of simple functions of linear expressions. Conditional solutions are returned in the form of piecewise functions whose conditions depend upon the values of the parameters. Each output of the piecewise function will be a list of lists or sets, identifying all of the solutions that are valid under the corresponding condition. If a branch of the piecewise function contains no solutions, then its output will be an empty list.
 • To prevent solve from returning conditional solutions, use the solve option conditionalsolutions=false. In this case, if solve encounters a conditional solution, it will be discarded, a warning message will be displayed, and only solutions that hold unconditionally, if any, will be returned.  You can also set the environment variable _EnvConditionalSolutions := false.

Controlling the Form of Solutions

 • A single quadratic equation with constant coefficients in one variable is solved directly by substitution into the quadratic formula. To attempt to express solutions in the common radical form, which may take a longer time to process use the option tryhard=true. You can also set the environment variable _EnvTryHard := true.
 • In general, explicit solutions in terms of radicals do not exist for polynomial equations of degree greater than 4. The solve command returns explicit solutions for low degree polynomial equations (by default, degree less than 4). For higher degree equations, implicit solutions are given in terms of RootOf.
 To control the form of solutions returned, use the option explicit. The behavior is described in the following table.

 explicit=Value Behavior not given return explicit solutions for polynomial equations of degree less than or equal to 3 true return explicit solutions for polynomial equations of degree less than or equal to 4 false return explicit solutions for polynomial equation solutions that are rational numeric return explicit solutions for polynomial equations with a length less than the numeric value specified

You can also control this by setting the environment variable _EnvExplicit.

Controlling the Number of Solutions

 • By default, solve may return multiple identical solutions to a polynomial (i.e. the roots of multiplicity greater than one). To have solve return only one of each of these multiple roots use the option dropmultiplicity=true or set the environment variable _EnvDropMultiplicity := true.
 • To control the total number of solutions returned, use the option maxsols. This integer specifies the maximum number of solutions returned. The default value is 100. You can set the environment variable _MaxSols.
 • The solve command returns all solutions for polynomial equations. In general for transcendental equations, the solve command returns only one solution, but does not set _SolutionsMayBeLost to true. To force the solve command to return the entire set of solutions for all inverse transcendental functions, provide the solve option allsolutions = true or set the environment variable _EnvAllSolutions := true.
 In the solution, Maple may generate variables that take numeric values. Normally such variables are named with the prefix _Z for integer values, _NN for non-negative integer values, and _B for binary values (0 and 1).  If other conditions on these values apply, then the conditions will be converted to assumptions and simplified, if possible.  If such conditions are sufficient to allow Maple to determine that the variable may only take on a finite number of values, then the full list of solutions can be requested by using the option explicit=true.

Using Assumptions

 In most cases, solve ignores assumptions on the variables for which it is solving.  However, the useassumptions option may be supplied to force solve to inspect any assumptions on the variables, and extract inequalities that it will add to the input.  For example:
 > solve(x^2-1,{x}, useassumptions) assuming x>0;
 $\left\{{x}{=}{1}\right\}$ (1)

is equivalent to:

 > solve({x^2-1, x>0},{x});
 $\left\{{x}{=}{1}\right\}$ (2)

but, in some case, the user may find the former more convenient The useassumptions option will not make use of any assumptions that cannot be rewritten as polynomial inequations.  In particular, it does not process assumptions restricting the domain:

 > solve(x^2+1,{x}, useassumptions) assuming x::real;
 $\left\{{x}{=}{I}\right\}{,}\left\{{x}{=}{-I}\right\}$ (3)

instead one should use RealDomain[solve] or isolve for solutions over the real numbers or over the integers, respectively.

 • Further information is available for the subtopics solve/subtopic where subtopic is one of

Examples

Simple Examples

Solving an implicit equation

 > $\mathrm{solve}\left(2y-{\left(x-1\right)}^{2}=2,y\right)$
 $\frac{{1}}{{2}}{}{{x}}^{{2}}{-}{x}{+}\frac{{3}}{{2}}$ (4)

 > $\mathrm{solve}\left({x}^{2}-x=2025,x\right)$
 $\frac{{1}}{{2}}{+}\frac{\sqrt{{8101}}}{{2}}{,}\frac{{1}}{{2}}{-}\frac{\sqrt{{8101}}}{{2}}$ (5)

Specifying variables

 To ignore parameters, specify the variables for which to solve.
 > $\mathrm{solve}\left(\left\{\frac{{a}^{2}{c}^{2}-4{b}^{2}}{b}={a}^{6}b-4{a}^{3}b\right\},\left[c\right]\right)$
 $\left[\left[{c}{=}\frac{{b}{}\left({{a}}^{{3}}{-}{2}\right)}{{a}}\right]{,}\left[{c}{=}{-}\frac{{b}{}\left({{a}}^{{3}}{-}{2}\right)}{{a}}\right]\right]$ (6)

Solving a set of equations

 When the solved for variables are provided as set, the solutions to the set of equations are returned as sets of equation sequences.
 > $\left\{\mathrm{solve}\left(\left\{x+y<10,{x}^{2}=9\right\},\left\{x,y\right\}\right)\right\}$
 $\left\{\left\{{x}{=}{-3}{,}{y}{<}{13}\right\}{,}\left\{{x}{=}{3}{,}{y}{<}{7}\right\}\right\}$ (7)

Solving trigonometric equations

 > $\mathrm{solve}\left(\mathrm{cos}\left(x\right)+y=9,x\right)$
 ${\mathrm{\pi }}{-}{\mathrm{arccos}}{}\left({y}{-}{9}\right)$ (8)

Solving inequations

 > $\mathrm{solve}\left(5<{x}^{2}+x,x\right)$
 $\left({-}{\mathrm{\infty }}{,}{-}\frac{{1}}{{2}}{-}\frac{\sqrt{{21}}}{{2}}\right){,}\left({-}\frac{{1}}{{2}}{+}\frac{\sqrt{{21}}}{{2}}{,}{\mathrm{\infty }}\right)$ (9)
 > $\left\{\mathrm{solve}\left(\left\{{x}^{2}{y}^{2}=0,x-y=1\right\}\right)\right\}$
 $\left\{\left\{{x}{=}{0}{,}{y}{=}{-1}\right\}{,}\left\{{x}{=}{1}{,}{y}{=}{0}\right\}\right\}$ (10)
 You can add inequations to filter out unwanted solutions. In this case, the previous call to solve has two solutions. Adding $x\ne 0$ filters out one of these solutions.
 > $\mathrm{solve}\left(\left\{x\ne 0,{x}^{2}{y}^{2}=0,x-y=1\right\}\right)$
 $\left\{{x}{=}{1}{,}{y}{=}{0}\right\}$ (11)

Examples Involving Units

 > $\mathrm{solve}\left(\left\{{x}^{2}=4\mathrm{Unit}\left({m}^{2}\right)\right\},\left\{x\right\}\right)$
 $\left\{{x}{=}{2}{}⟦{m}⟧\right\}{,}\left\{{x}{=}{-}{2}{}⟦{m}⟧\right\}$ (12)
 > $\mathrm{solve}\left(\left\{{x}^{2}=4\mathrm{Unit}\left({m}^{2}\right)\right\},\left\{x\right\},\mathrm{useunits}=\mathrm{false}\right)$
 $\left\{{x}{=}{2}{}\sqrt{⟦{{m}}^{{2}}⟧}\right\}{,}\left\{{x}{=}{-}{2}{}\sqrt{⟦{{m}}^{{2}}⟧}\right\}$ (13)
 > $\mathrm{solve}\left(\left\{x-y,{x}^{2}=4\mathrm{Unit}\left({m}^{2}\right)\right\}\right)$
 $\left\{{x}{=}{2}{}⟦{m}⟧{,}{y}{=}{2}{}⟦{m}⟧\right\}{,}\left\{{x}{=}{-}{2}{}⟦{m}⟧{,}{y}{=}{-}{2}{}⟦{m}⟧\right\}$ (14)
 > $\mathrm{solve}\left(\left\{x-y,{x}^{2}=4\mathrm{Unit}\left({m}^{2}\right)\right\},\mathrm{useunits}=\left[x::\mathrm{Unit}\left(\mathrm{ft}\right),y::\mathrm{Unit}\left(\mathrm{cm}\right)\right]\right)$
 $\left\{{x}{=}\frac{{2500}}{{381}}{}⟦{\mathrm{ft}}⟧{,}{y}{=}{200}{}⟦{\mathrm{cm}}⟧\right\}{,}\left\{{x}{=}{-}\frac{{2500}}{{381}}{}⟦{\mathrm{ft}}⟧{,}{y}{=}{-}{200}{}⟦{\mathrm{cm}}⟧\right\}$ (15)
 Units can be specified for parameters
 > $\mathrm{solve}\left(\left\{x-y,{x}^{2}={a}^{2}\mathrm{Unit}\left({m}^{2}\right)\right\},\left\{x,y\right\}\right)$
 $\left\{{x}{=}{a}{}⟦{m}⟧{,}{y}{=}{a}{}⟦{m}⟧\right\}{,}\left\{{x}{=}{-}{a}{}⟦{m}⟧{,}{y}{=}{-}{a}{}⟦{m}⟧\right\}$ (16)
 > $\mathrm{solve}\left(\left\{x-y,{x}^{2}={a}^{2}\mathrm{Unit}\left({m}^{2}\right)\right\},\left\{x,y\right\},\mathrm{useunits}=\left\{a::\left(\mathrm{Unit}\left(\frac{1}{m}\right)\right)\right\}\right)$
 $\left\{{x}{=}{a}{,}{y}{=}{a}\right\}{,}\left\{{x}{=}{-}{a}{,}{y}{=}{-}{a}\right\}$ (17)

Ignoring Multiple Identical Solutions

 > $\mathrm{solve}\left({x}^{4},x\right)$
 ${0}{,}{0}{,}{0}{,}{0}$ (18)
 > $\mathrm{solve}\left({x}^{4},x,\mathrm{dropmultiplicity}\right)$
 ${0}$ (19)

Evaluating Solutions to Floating-Point Values and Verifying Solutions

 > $\mathrm{eq}≔{x}^{4}-5{x}^{2}+6x=2$
 ${\mathrm{eq}}{≔}{{x}}^{{4}}{-}{5}{}{{x}}^{{2}}{+}{6}{}{x}{=}{2}$ (20)
 > $\left[\mathrm{solve}\left(\mathrm{eq},x\right)\right]$
 $\left[\sqrt{{3}}{-}{1}{,}{-}{1}{-}\sqrt{{3}}{,}{1}{,}{1}\right]$ (21)
 > $\mathrm{solutions}≔\left[\mathrm{solve}\left(\mathrm{eq},x\right)\right]$
 ${\mathrm{solutions}}{≔}\left[\sqrt{{3}}{-}{1}{,}{-}{1}{-}\sqrt{{3}}{,}{1}{,}{1}\right]$ (22)
 > $\mathrm{solutions}\left[1\right]$
 $\sqrt{{3}}{-}{1}$ (23)
 To convert to floating-point values, use the evalf command.
 > $\mathrm{evalf}\left(\mathrm{solutions}\right)$
 $\left[{0.732050808}{,}{-2.732050808}{,}{1.}{,}{1.}\right]$ (24)
 > $\mathrm{solutions}≔\left\{\mathrm{solve}\left(\mathrm{eq},x\right)\right\}$
 ${\mathrm{solutions}}{≔}\left\{{1}{,}{-}{1}{-}\sqrt{{3}}{,}\sqrt{{3}}{-}{1}\right\}$ (25)
 > $\mathrm{solutions}\left[1\right]$
 ${1}$ (26)
 To verify the solution, use the eval command.
 > $\mathrm{eval}\left(\mathrm{eq},x=\mathrm{solutions}\left[1\right]\right)$
 ${2}{=}{2}$ (27)

Implicit Solutions

 > $\mathrm{solve}\left({x}^{4}+x+1,x\right)$
 ${\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{+}{\mathrm{_Z}}{+}{1}{,}{\mathrm{index}}{=}{1}\right){,}{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{+}{\mathrm{_Z}}{+}{1}{,}{\mathrm{index}}{=}{2}\right){,}{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{+}{\mathrm{_Z}}{+}{1}{,}{\mathrm{index}}{=}{3}\right){,}{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{+}{\mathrm{_Z}}{+}{1}{,}{\mathrm{index}}{=}{4}\right)$ (28)
 To convert to floating-point values, use the evalf command.
 > $\mathrm{evalf}\left(\left\{\right\}\right)$
 $\left\{{-0.7271360845}{-}{0.4300142883}{}{I}{,}{-0.7271360845}{+}{0.4300142883}{}{I}{,}{0.7271360845}{-}{0.9340992895}{}{I}{,}{0.7271360845}{+}{0.9340992895}{}{I}\right\}$ (29)
 To find an explicit symbolic representation for the roots, use map with the allvalues command.  This applies allvalues to each solution and is generally better than applying allvalues directly to all the solutions at once.
 > $\mathrm{solve}\left({x}^{4}-2{x}^{3}+2,x\right)$
 ${\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{-}{2}{}{{\mathrm{_Z}}}^{{3}}{+}{2}{,}{\mathrm{index}}{=}{1}\right){,}{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{-}{2}{}{{\mathrm{_Z}}}^{{3}}{+}{2}{,}{\mathrm{index}}{=}{2}\right){,}{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{-}{2}{}{{\mathrm{_Z}}}^{{3}}{+}{2}{,}{\mathrm{index}}{=}{3}\right){,}{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{-}{2}{}{{\mathrm{_Z}}}^{{3}}{+}{2}{,}{\mathrm{index}}{=}{4}\right)$ (30)
 > $\mathrm{map}\left(\mathrm{allvalues},\left\{\right\}\right)$
 $\left\{\frac{{1}}{{2}}{-}\frac{{I}}{{2}}{-}\frac{\sqrt{{4}{+}{2}{}{I}}}{{2}}{,}\frac{{1}}{{2}}{-}\frac{{I}}{{2}}{+}\frac{\sqrt{{4}{+}{2}{}{I}}}{{2}}{,}\frac{{1}}{{2}}{+}\frac{{I}}{{2}}{-}\frac{\sqrt{{4}{-}{2}{}{I}}}{{2}}{,}\frac{{1}}{{2}}{+}\frac{{I}}{{2}}{+}\frac{\sqrt{{4}{-}{2}{}{I}}}{{2}}\right\}$ (31)
 > $\mathrm{solve}\left(\left\{{x}^{2}{y}^{2}-b,{x}^{2}-{y}^{2}-a\right\},\left[x,y\right]\right)$
 $\left[\left[{x}{=}{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{2}}{-}{{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{+}{a}{}{{\mathrm{_Z}}}^{{2}}{-}{b}\right)}^{{2}}{-}{a}\right){,}{y}{=}{\mathrm{RootOf}}{}\left({{\mathrm{_Z}}}^{{4}}{+}{a}{}{{\mathrm{_Z}}}^{{2}}{-}{b}\right)\right]\right]$ (32)
 > $\mathrm{map}\left(\mathrm{allvalues},\right)$
 $\left[\left[{x}{=}\sqrt{\frac{{a}}{{2}}{+}\frac{\sqrt{{{a}}^{{2}}{+}{4}{}{b}}}{{2}}}{,}{y}{=}\frac{\sqrt{{2}{}\sqrt{{{a}}^{{2}}{+}{4}{}{b}}{-}{2}{}{a}}}{{2}}\right]{,}\left[{x}{=}{-}\sqrt{\frac{{a}}{{2}}{+}\frac{\sqrt{{{a}}^{{2}}{+}{4}{}{b}}}{{2}}}{,}{y}{=}\frac{\sqrt{{2}{}\sqrt{{{a}}^{{2}}{+}{4}{}{b}}{-}{2}{}{a}}}{{2}}\right]{,}\left[{x}{=}\sqrt{\frac{{a}}{{2}}{+}\frac{\sqrt{{{a}}^{{2}}{+}{4}{}{b}}}{{2}}}{,}{y}{=}{-}\frac{\sqrt{{2}{}\sqrt{{{a}}^{{2}}{+}{4}{}{b}}{-}{2}{}{a}}}{{2}}\right]{,}\left[{x}{=}{-}\sqrt{\frac{{a}}{{2}}{+}\frac{\sqrt{{{a}}^{{2}}{+}{4}{}{b}}}{{2}}}{,}{y}{=}{-}\frac{\sqrt{{2}{}\sqrt{{{a}}^{{2}}{+}{4}{}{b}}{-}{2}{}{a}}}{{2}}\right]{,}\left[{x}{=}\sqrt{\frac{{a}}{{2}}{-}\frac{\sqrt{{{a}}^{{2}}{+}{4}{}{b}}}{{2}}}{,}{y}{=}\frac{\sqrt{{-}{2}{}\sqrt{{{a}}^{{2}}{+}{4}{}{b}}{-}{2}{}{a}}}{{2}}\right]{,}\left[{x}{=}{-}\sqrt{\frac{{a}}{{2}}{-}\frac{\sqrt{{{a}}^{{2}}{+}{4}{}{b}}}{{2}}}{,}{y}{=}\frac{\sqrt{{-}{2}{}\sqrt{{{a}}^{{2}}{+}{4}{}{b}}{-}{2}{}{a}}}{{2}}\right]{,}\left[{x}{=}\sqrt{\frac{{a}}{{2}}{-}\frac{\sqrt{{{a}}^{{2}}{+}{4}{}{b}}}{{2}}}{,}{y}{=}{-}\frac{\sqrt{{-}{2}{}\sqrt{{{a}}^{{2}}{+}{4}{}{b}}{-}{2}{}{a}}}{{2}}\right]{,}\left[{x}{=}{-}\sqrt{\frac{{a}}{{2}}{-}\frac{\sqrt{{{a}}^{{2}}{+}{4}{}{b}}}{{2}}}{,}{y}{=}{-}\frac{\sqrt{{-}{2}{}\sqrt{{{a}}^{{2}}{+}{4}{}{b}}{-}{2}{}{a}}}{{2}}\right]\right]$ (33)

Assigning Solutions to Corresponding Names

 > $\mathrm{equations}≔\left\{3u+v=3,u+v+w=1,u-2v-w=0\right\}$
 ${\mathrm{equations}}{≔}\left\{{3}{}{u}{+}{v}{=}{3}{,}{u}{-}{2}{}{v}{-}{w}{=}{0}{,}{u}{+}{v}{+}{w}{=}{1}\right\}$ (34)
 > $\mathrm{solutions}≔\mathrm{solve}\left(\mathrm{equations}\right)$
 ${\mathrm{solutions}}{≔}\left\{{u}{=}\frac{{4}}{{5}}{,}{v}{=}\frac{{3}}{{5}}{,}{w}{=}{-}\frac{{2}}{{5}}\right\}$ (35)
 Check solutions.
 > $\mathrm{eval}\left(\mathrm{equations},\mathrm{solutions}\right)$
 $\left\{{0}{=}{0}{,}{1}{=}{1}{,}{3}{=}{3}\right\}$ (36)
 Select one solution.
 > $\mathrm{eval}\left(u,\mathrm{solutions}\right)$
 $\frac{{4}}{{5}}$ (37)
 Assign all solutions.
 > $\mathrm{assign}\left(\mathrm{solutions}\right)$
 > $u$
 $\frac{{4}}{{5}}$ (38)

Finding All Solutions

 > $\left\{\mathrm{solve}\left(\mathrm{sin}\left(x\right)=\mathrm{cos}\left(x\right)-1,x,\mathrm{allsolutions}\right)\right\}$
 $\left\{{2}{}{\mathrm{\pi }}{}{\mathrm{_Z2~}}{,}{-}\frac{{1}}{{2}}{}{\mathrm{\pi }}{+}{2}{}{\mathrm{\pi }}{}{\mathrm{_Z1~}}\right\}$ (39)
 > $r≔\mathrm{solve}\left(\mathrm{cos}\left(x\right),x,\mathrm{allsolutions}\right)$
 ${r}{≔}\frac{{1}}{{2}}{}{\mathrm{\pi }}{+}{\mathrm{\pi }}{}{\mathrm{_Z3~}}$ (40)
 Substitute 3 for $\mathrm{_Z3~}$ in $r$.
 > $\mathrm{eval}\left(r,\mathrm{op}\left(\mathrm{indets}\left(r\right)\right)=3\right)$
 $\frac{{7}{}{\mathrm{\pi }}}{{2}}$ (41)

Finding All Solutions with Restrictions

 > $\left\{\mathrm{solve}\left(\left[\mathrm{sin}\left(x\right)\mathrm{cos}\left(x\right)=0,0
 $\left\{\left\{{x}{=}{\mathrm{\pi }}{}{\mathrm{_Z5~}}\right\}{,}\left\{{x}{=}\frac{{1}}{{2}}{}{\mathrm{\pi }}{+}{\mathrm{\pi }}{}{\mathrm{_Z4~}}\right\}\right\}$ (42)
 > $\mathrm{about}\left(\mathrm{_Z4}\right)$
 Originally _Z4, renamed _Z4~:   is assumed to be: AndProp(integer,RealRange(0,2))
 > $\mathrm{about}\left(\mathrm{_Z5}\right)$
 Originally _Z5, renamed _Z5~:   is assumed to be: AndProp(integer,RealRange(1,3))
 > $\left\{\mathrm{solve}\left(\left[\mathrm{sin}\left(x\right)\mathrm{cos}\left(x\right)=0,0
 $\left\{\left\{{x}{=}{\mathrm{\pi }}\right\}{,}\left\{{x}{=}{2}{}{\mathrm{\pi }}\right\}{,}\left\{{x}{=}{3}{}{\mathrm{\pi }}\right\}{,}\left\{{x}{=}\frac{{\mathrm{\pi }}}{{2}}\right\}{,}\left\{{x}{=}\frac{{3}{}{\mathrm{\pi }}}{{2}}\right\}{,}\left\{{x}{=}\frac{{5}{}{\mathrm{\pi }}}{{2}}\right\}\right\}$ (43)

Conditional Solutions

 > $\mathrm{restart}$
 > $\mathrm{solve}\left(\left[b
 $\left\{\begin{array}{cc}\left[\left\{{x}{=}{x}\right\}\right]& {a}{=}{0}{\wedge }{b}{<}{0}\\ \left[\left\{\frac{{b}}{{a}}{<}{x}\right\}\right]& {0}{<}{a}\\ \left[\left\{{x}{<}\frac{{b}}{{a}}\right\}\right]& {a}{<}{0}\\ \left[\right]& {\mathrm{otherwise}}\end{array}\right\$ (44)
 > $\mathrm{solve}\left(2<\mathrm{abs}\left(x+a\right)+\mathrm{abs}\left(x+b\right),x\right)$
 $\left\{\begin{array}{cc}\left[\left\{{-}\frac{{a}}{{2}}{-}\frac{{b}}{{2}}{+}{1}{<}{x}\right\}{,}\left\{{x}{<}{-}\frac{{a}}{{2}}{-}\frac{{b}}{{2}}{-}{1}\right\}\right]& {-}{2}{+}{b}{\le }{a}{\wedge }{a}{\le }{b}{+}{2}\\ \left[\left\{{-}{b}{\le }{x}{,}{x}{<}{-}{a}\right\}{,}\left\{{-}{a}{\le }{x}\right\}{,}\left\{{x}{<}{-}{b}\right\}\right]& {a}{<}{-}{2}{+}{b}\\ \left[\left\{{-}{a}{\le }{x}{,}{x}{<}{-}{b}\right\}{,}\left\{{-}{b}{\le }{x}\right\}{,}\left\{{x}{<}{-}{a}\right\}\right]& {b}{+}{2}{<}{a}\\ \left[\right]& {\mathrm{otherwise}}\end{array}\right\$ (45)
 > $\mathrm{solve}\left(\left[\left(x-1\right)\left(x-2\right)\left(x-3\right)=0,a\left(x-1\right)<2+b\left(x-1\right)\right],\left[x\right]\right)$
 $\left\{\begin{array}{cc}\left[\left[{x}{=}{3}\right]{,}\left[{x}{=}{2}\right]{,}\left[{x}{=}{1}\right]\right]& {a}{<}{1}{+}{b}\\ \left[\left[{x}{=}{2}\right]{,}\left[{x}{=}{1}\right]\right]& {1}{+}{b}{\le }{a}{\wedge }{a}{<}{b}{+}{2}\\ \left[\left[{x}{=}{1}\right]\right]& {\mathrm{otherwise}}\end{array}\right\$ (46)
 > $\mathrm{solve}\left(\left[\left(x-1\right)\left(x-2\right)\left(x-3\right)=0,a\left(x-1\right)<2+b\left(x-1\right)\right],\left[x\right],\mathrm{conditionalsolutions}=\mathrm{false}\right)$
 $\left[\left[{x}{=}{1}\right]\right]$ (47)
 > 

Other Maple solvers

 dsolve - solve an ordinary differential equation (ODE) or system of ODEs
 fsolve - solve equations and inequalities using numeric methods
 intsolve - solve a linear integral equation
 isolve - solve equations for integer solutions
 Groebner[Solve] - preprocess an algebraic system before solving with the solve command (to solve using Groebner methods)
 LinearAlgebra[LinearSolve] - solve a linear system A . x = b
 msolve - solve equations in Z mod m
 pdsolve - solve a partial differential equation (PDE) or system of PDEs
 rsolve - solve a recurrence equation
 SolveTools - solve a system of algebraic equations using low-level commands