>

$\mathrm{with}\left(\mathrm{DEtools}\right)\:$

As a first example, we take the overdetermined system of two equations in one dependent variable f(x), and two constants a and b.
>

$\mathrm{sys1}\u2254\left[a\mathrm{diff}\left(f\left(x\right)\,x\,x\right)f\left(x\right)\,b\mathrm{diff}\left(f\left(x\right)\,x\right)f\left(x\right)\right]$

${\mathrm{sys1}}{\u2254}\left[{a}{}\left(\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right){}{f}{}\left({x}\right){\,}{b}{}\left(\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right){}{f}{}\left({x}\right)\right]$
 (1) 
Call rifsimp for a single case only (the default).
>

$\mathrm{ans1}\u2254\mathrm{rifsimp}\left(\mathrm{sys1}\right)$

${\mathrm{ans1}}{\u2254}{table}{}\left(\left[{\mathrm{Pivots}}{=}\left[{a}{\ne}{0}{\,}{b}{\ne}{0}{\,}{{b}}^{{2}}{}{a}{\ne}{0}\right]{\,}{\mathrm{Solved}}{=}\left[{f}{}\left({x}\right){=}{0}\right]{\,}{\mathrm{Case}}{=}\left[\left[{a}{\ne}{0}{\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]{\,}\left[{b}{\ne}{0}{\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]{\,}\left[{{b}}^{{2}}{}{a}{\ne}{0}{\,}{f}{}\left({x}\right)\right]\right]\right]\right)$
 (2) 
We see that under the given assumptions for the form of a and b (from Pivots), the only solution is given as f(x)=0 (from Solved). Now, run the system in multiple case mode using casesplit.
>

$\mathrm{ans1m}\u2254\mathrm{rifsimp}\left(\mathrm{sys1}\,\mathrm{casesplit}\right)$

${\mathrm{ans1m}}{\u2254}{table}{}\left(\left[{1}{=}{table}{}\left(\left[{\mathrm{Pivots}}{=}\left[{a}{\ne}{0}{\,}{b}{\ne}{0}{\,}{{b}}^{{2}}{}{a}{\ne}{0}\right]{\,}{\mathrm{Solved}}{=}\left[{f}{}\left({x}\right){=}{0}\right]{\,}{\mathrm{Case}}{=}\left[\left[{a}{\ne}{0}{\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]{\,}\left[{b}{\ne}{0}{\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]{\,}\left[{{b}}^{{2}}{}{a}{\ne}{0}{\,}{f}{}\left({x}\right)\right]\right]\right]\right){\,}{2}{=}{table}{}\left(\left[{\mathrm{Pivots}}{=}\left[{b}{\ne}{0}\right]{\,}{\mathrm{Solved}}{=}\left[\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right){=}\frac{{f}{}\left({x}\right)}{{b}}{\,}{a}{=}{{b}}^{{2}}\right]{\,}{\mathrm{Case}}{=}\left[\left[{a}{\ne}{0}{\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]{\,}\left[{b}{\ne}{0}{\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]{\,}\left[{{b}}^{{2}}{}{a}{=}{0}{\,}{f}{}\left({x}\right)\right]\right]\right]\right){\,}{3}{=}{table}{}\left(\left[{\mathrm{Pivots}}{=}\left[{a}{\ne}{0}\right]{\,}{\mathrm{Solved}}{=}\left[{f}{}\left({x}\right){=}{0}{\,}{b}{=}{0}\right]{\,}{\mathrm{Case}}{=}\left[\left[{a}{\ne}{0}{\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]{\,}\left[{b}{=}{0}{\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]\right]\right]\right){\,}{4}{=}{table}{}\left(\left[{\mathrm{Solved}}{=}\left[{f}{}\left({x}\right){=}{0}{\,}{a}{=}{0}\right]{\,}{\mathrm{Case}}{=}\left[\left[{a}{=}{0}{\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]\right]\right]\right){\,}{\mathrm{casecount}}{=}{4}\right]\right)$
 (3) 
We see that we have four cases:
>

$\mathrm{ans1m}\left[\mathrm{casecount}\right]$

All cases except 2 have f(x)=0.
Looking at case 2 in detail, we see that under the constraint a = b^2 (from Solved) and b <> 0 from Pivots, the solution to the system will be given by the remaining ODE in f(x) (in Solved). Note here that the constraint on the constants a and b, together with the assumption b <> 0, imply that a <> 0, so this constraint is not present in the Pivots entry due to simplification. It is still present in the Case entry because Case describes the decisions made in the algorithm, not their simplified result. Also, case 4 has no Pivots entry. This is because no assumptions of the form $\mathrm{expression}\ne 0$ were used for this case.
One could look at the caseplot with the command:
>

$\mathrm{caseplot}\left(\mathrm{ans1m}\right)$

As a final demonstration involving this system, suppose that we are only interested in nontrivial cases where f(x) is not identically zero. We can simply include this assumption in the input system, and rifsimp will take it into account.
>

$\mathrm{ans1a}\u2254\mathrm{rifsimp}\left(\left[\mathrm{op}\left(\mathrm{sys1}\right)\,f\left(x\right)\ne 0\right]\,\mathrm{casesplit}\right)$

${\mathrm{ans1a}}{\u2254}{table}{}\left(\left[{\mathrm{Pivots}}{=}\left[{f}{}\left({x}\right){\ne}{0}\right]{\,}{\mathrm{Solved}}{=}\left[\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right){=}\frac{{f}{}\left({x}\right)}{{b}}{\,}{a}{=}{{b}}^{{2}}\right]{\,}{\mathrm{Case}}{=}\left[\left[{a}{\ne}{0}{\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right){\,}{''false\; split''}\right]{\,}\left[{b}{\ne}{0}{\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right){\,}{''false\; split''}\right]\right]\right]\right)$
 (5) 
We see that the answer is returned in a single case with two false split Case entries. This means the computation discovered that the $a=0$ and $b=0$ cases lead to contradictions, so the entries in the Case list are labelled as false splits, and the alternatives for the binary case splittings (cases with $a=0$ or $b=0$) are not present.
For the next example, we have a simple inconsistent system:
>

$\mathrm{sys2}\u2254\left[\mathrm{diff}\left(u\left(x\right)\,x\,x\right)+{\mathrm{diff}\left(u\left(x\right)\,x\right)}^{2}1\,\mathrm{diff}\left(u\left(x\right)\,x\,x\right)+1\right]$

${\mathrm{sys2}}{\u2254}\left[\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}\right){+}{\left(\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}\right)\right)}^{{2}}{}{1}{\,}\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}\right){+}{1}\right]$
 (6) 
>

$\mathrm{rifsimp}\left(\mathrm{sys2}\right)$

${table}{}\left(\left[{\mathrm{status}}{=}{''system\; is\; inconsistent''}\right]\right)$
 (7) 
So there is no solution u(x) to the above system of equations.
The next example demonstrates the UnSolve list, while also warning about leaving indeterminates in unsolved form.
>

$\mathrm{sys3}\u2254\left[\mathrm{diff}\left(f\left(x\right)\,x\right)\left(\mathrm{diff}\left(g\left(x\right)\,x\right)g\left(x\right)\right)+{f\left(x\right)}^{2}\,\mathrm{diff}\left(g\left(x\right)\,x\right)g\left(x\right)\right]$

${\mathrm{sys3}}{\u2254}\left[\left(\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right){}\left(\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){}{g}{}\left({x}\right)\right){+}{{f}{}\left({x}\right)}^{{2}}{\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){}{g}{}\left({x}\right)\right]$
 (8) 
So we run rifsimp, but only solve for f(x), leaving g(x) in unsolved form. Unfortunately, the resulting system is inconsistent, but this is not recognized because equations containing only g(x) are left unsolved. As discussed earlier in the page, these equations come out in the UnSolve list.
>

$\mathrm{rifsimp}\left(\mathrm{sys3}\,\left[f\right]\,\mathrm{unsolved}\right)$

${table}{}\left(\left[{\mathrm{Pivots}}{=}\left[\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){}{g}{}\left({x}\right){\ne}{0}\right]{\,}{\mathrm{Solved}}{=}\left[\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right){=}{}\frac{{{f}{}\left({x}\right)}^{{2}}}{\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){}{g}{}\left({x}\right)}\right]{\,}{\mathrm{UnSolve}}{=}\left[{0}{=}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){}{g}{}\left({x}\right)\right]{\,}{\mathrm{Case}}{=}\left[\left[\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{g}{}\left({x}\right){}{g}{}\left({x}\right){\ne}{0}{\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right]\right]\right]\right)$
 (9) 
When equations are present in the UnSolve list, they must be manually examined.
Here is a nonlinear example.
>

$\mathrm{sys4}\u2254\left[\mathrm{diff}\left(f\left(x\right)\,x\,x\right)+f\left(x\right)\,{\mathrm{diff}\left(f\left(x\right)\,x\right)}^{2}{f\left(x\right)}^{2}\right]$

${\mathrm{sys4}}{\u2254}\left[\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right){+}{f}{}\left({x}\right){\,}{\left(\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right)}^{{2}}{}{{f}{}\left({x}\right)}^{{2}}\right]$
 (10) 
By default rifsimp spawns the nonlinear equation to obtain a leading linear equation, and performs any required simplifications. The end result gives the following output:
>

$\mathrm{rifsimp}\left(\mathrm{sys4}\,\mathrm{casesplit}\right)$

${table}{}\left(\left[{\mathrm{Solved}}{=}\left[{f}{}\left({x}\right){=}{0}\right]{\,}{\mathrm{Case}}{=}\left[\left[{f}{}\left({x}\right){=}{0}{\,}\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right){\,}{''false\; split''}\right]\right]\right]\right)$
 (11) 
We have only one consistent case. Attempting to perform this calculation with the spawn=false option gives the following:
>

$\mathrm{rifsimp}\left(\mathrm{sys4}\,\mathrm{casesplit}\,\mathrm{spawn}=\mathrm{false}\right)$

${table}{}\left(\left[{\mathrm{Solved}}{=}\left[\frac{{{\ⅆ}}^{{2}}}{{\ⅆ}{{x}}^{{2}}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right){=}{}{f}{}\left({x}\right)\right]{\,}{\mathrm{DiffConstraint}}{=}\left[{0}{=}{{f}{}\left({x}\right)}^{{2}}{}{\left(\frac{{\ⅆ}}{{\ⅆ}{x}}\phantom{\rule[0.0ex]{0.4em}{0.0ex}}{f}{}\left({x}\right)\right)}^{{2}}\right]\right]\right)$
 (12) 
So it is clear that by disabling spawning, the system is not in fully simplified form (as indicated by the presence of the DiffConstraint entry), and we do not obtain full information about the system.