parametric - Maple Help

solve/parametric

solve, with case discussion, equations involving parameters

 Calling Sequence solve(equations, variables, parametric) solve(equations, variables, parametric=mode, parameters=params) solve(equations, variables, parametric, real)

Parameters

 equations - polynomial equation, or set or list of polynomial equations or inequations variables - (optional) name, or set or list of names mode - one of lazy, proviso, or full; specify level of detail of solution params - (optional) set of parameters

Description

 • The solve command with the parametric option solves a system of polynomial equations with parameters.
 • It builds a full parametric discussion of the solutions to the equations with respect to the parameters in the equations using a piecewise expression. By default, an efficient approach is used that returns the result as a lazily evaluated piecewise expression.  That is, the piecewise solution contains inert function calls in some branches of the form %SolveTools[Parametric].  To compute an answer in one of these cases, use the value command. The intention behind this output format is to do as little computation as possible but to make it easy to compute the answer in non-general cases, if needed.
 • Currently only polynomial equations are supported.
 • If the real option is given, the SolveTools[SemiAlgebraic] command is called on the equations.  In this case, only a full case discussion on non-variable symbols is available.
 • The parametric option can also be given as an equation parametric=lazy, parametric=full or parametric=proviso which will return answers in the corresponding modes for SolveTools[Parametric].  (The default is parametric=lazy.)
 • The parameters option can be used to specify that only a subset of the non-variable symbols in the equations should be treated as parameters.

Examples

 > $\mathrm{solve}\left(\left\{y=nx+c,y=mx+b\right\},\left\{x,y\right\},'\mathrm{parametric}'\right)$
 $\left\{\begin{array}{cc}{\mathrm{Typesetting}}{:-}{\mathrm{_Hold}}{}\left(\left[{{\mathrm{%SolveTools}}}_{{\mathrm{Parametric}}}\right]\right){}\left(\left\{{-}{m}{}{x}{-}{b}{+}{y}{,}{-}{m}{}{x}{-}{c}{+}{y}\right\}{,}\left\{{x}{,}{y}\right\}{,}\left\{{b}{,}{c}{,}{m}\right\}\right)& {m}{-}{n}{=}{0}\\ \left[\left\{{x}{=}{-}\frac{{b}{-}{c}}{{m}{-}{n}}{,}{y}{=}{-}\frac{{b}{}{n}{-}{c}{}{m}}{{m}{-}{n}}\right\}\right]& {m}{-}{n}{\ne }{0}\end{array}\right\$ (1)
 > $\mathrm{solve}\left(\left\{y=nx+c,y=mx+b\right\},\left\{x,y\right\},'\mathrm{parametric}'='\mathrm{full}','\mathrm{parameters}'=\left\{m,n\right\}\right)$
 $\left\{\begin{array}{cc}\left[\right]& {m}{-}{n}{=}{0}\\ \left[\left\{{x}{=}{-}\frac{{b}{-}{c}}{{m}{-}{n}}{,}{y}{=}{-}\frac{{b}{}{n}{-}{c}{}{m}}{{m}{-}{n}}\right\}\right]& {m}{-}{n}{\ne }{0}\end{array}\right\$ (2)
 > $\mathrm{solve}\left(\left\{y
 $\left\{\begin{array}{cc}\left[\left[{x}{=}{x}{,}{x}{}{n}{+}{b}{<}{y}{,}{y}{<}{x}{}{n}{+}{c}\right]\right]& {m}{=}{n}{\wedge }{b}{<}{c}\\ \left[\left[{-}\frac{{b}{-}{c}}{{m}{-}{n}}{<}{x}{,}{x}{}{m}{+}{b}{<}{y}{,}{y}{<}{x}{}{n}{+}{c}\right]\right]& {m}{<}{n}\\ \left[\left[{x}{<}{-}\frac{{b}{-}{c}}{{m}{-}{n}}{,}{x}{}{m}{+}{b}{<}{y}{,}{y}{<}{x}{}{n}{+}{c}\right]\right]& {n}{<}{m}\\ \left[\right]& {\mathrm{otherwise}}\end{array}\right\$ (3)

Compatibility

 • The solve/parametric command was introduced in Maple 15.
 • The parametric option was introduced in Maple 15.