Engine - Maple Help

SolveTools

 Engine

 Calling Sequence SolveTools:-Engine( eqns, vars, options )

Parameters

 eqns - set vars - {set,list} options - (optional) a sequence of keyword options

Options

 • allsolutions
 Return parameterized solutions for non-algebraic equations which may have infinitely many solutions (default is false)
 • conditionalsolutions
 Return piecewise conditional solutions (default is true).
 • dropmultiplicity
 Do not return multiple identical solutions of polynomials (default is false).
 • explicit
 Express RootOfs in solution as radicals when possible (default is false).
 • maxsols = posint or pos_infinity
 Limit the number of solutions returned (default is $\mathrm{\infty }$).

Description

 • Programming level interface to the solve engine. It does a minimal amount of pre- and post-processing and returns a list of solutions of the form {var1 = expr1, var2 <= expr2, .. }.

Examples

 > $\mathrm{SolveTools}:-\mathrm{Engine}\left(\left\{{x}^{2}+1\right\},\left\{x\right\}\right)$
 $\left[\left\{{x}{=}{-I}\right\}{,}\left\{{x}{=}{I}\right\}\right]$ (1)
 > $\mathrm{SolveTools}:-\mathrm{Engine}\left(\left\{\mathrm{cos}\left(x\right)-1\right\},\left\{x\right\},\mathrm{allsolutions}\right)$
 $\left[\left\{{x}{=}{2}{}{\mathrm{\pi }}{}{\mathrm{_Z1~}}\right\}\right]$ (2)
 > $\mathrm{SolveTools}:-\mathrm{Engine}\left(\left\{{x}^{4}+1\right\},\left\{x\right\},\mathrm{explicit}\right)$
 $\left[\left\{{x}{=}{-}\frac{\sqrt{{2}}}{{2}}{+}\frac{{I}{}\sqrt{{2}}}{{2}}\right\}{,}\left\{{x}{=}{-}\frac{\sqrt{{2}}}{{2}}{-}\frac{{I}{}\sqrt{{2}}}{{2}}\right\}{,}\left\{{x}{=}\frac{\sqrt{{2}}}{{2}}{+}\frac{{I}{}\sqrt{{2}}}{{2}}\right\}{,}\left\{{x}{=}\frac{\sqrt{{2}}}{{2}}{-}\frac{{I}{}\sqrt{{2}}}{{2}}\right\}\right]$ (3)