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 }$).

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, .. }.

$\mathrm{SolveTools}:-\mathrm{Engine}\left(\left\{x^2+1\right\}\&comma;\left\{x\right\}\right)$

$\left[\left\{x=\mathrm{-I}\right\}\&comma;\left\{x=\mathrm{I}\right\}\right]$

$\mathrm{SolveTools}:-\mathrm{Engine}\left(\left\{\cos \left(x\right)-1\right\}\&comma;\left\{x\right\}\&comma;\mathrm{allsolutions}\right)$

$\left[\left\{x=2\mathrm{\pi }\mathrm{\_Z1~}\right\}\right]$

$\mathrm{SolveTools}:-\mathrm{Engine}\left(\left\{x^4+1\right\}\&comma;\left\{x\right\}\&comma;\mathrm{explicit}\right)$

$\left[\left\{x=-\frac{\sqrt{2}}{2}+\frac{\mathrm{I}\sqrt{2}}{2}\right\}\&comma;\left\{x=-\frac{\sqrt{2}}{2}-\frac{\mathrm{I}\sqrt{2}}{2}\right\}\&comma;\left\{x=\frac{\sqrt{2}}{2}+\frac{\mathrm{I}\sqrt{2}}{2}\right\}\&comma;\left\{x=\frac{\sqrt{2}}{2}-\frac{\mathrm{I}\sqrt{2}}{2}\right\}\right]$