The output of the rifsimp command is a table. A number of possible table formats (or entries) may or may not be present as they depend on specific options. The format changes from a table containing the simplified system to a nested table when casesplit is activated.

Single Case

Here are examples of status messages:

Of the above, only the "object too large" message actually indicates an error.

To summarize, if the input system is fully linear in all indeterminates (including unknown constants), then only the Solved entry will be present. If the system is (and remains) linear in its leading indeterminates throughout the calculation, but has indeterminate expressions in the leading coefficients, then Solved, Pivots, and Case will be present. If equations that are nonlinear in their leading indeterminates result during a calculation, then Constraint will also be present. If the status entry is present, then not all information for the case will be given.

If mindim is used, then the dimension entry will be set to the dimension of the linear part of the system for the case when status is not set, and an upper bound for the dimension of the case if the count fell below the minimum dimension requirement.

Multiple Cases

For multiple cases (using the casesplit option), numbered entries appear in the output table, each of which is itself a table of the form described above.

For example, if a calculation resulted in 10 cases, the output table would have entries '1=...',..., '10=...', where each of these entries is itself a table that contains Solved, Pivots, Case, or other entries from the single case description.

In addition to the numbered tables is the entry casecount, which gives a count of the number of cases explored. Cases that rejected for reasons other than inconsistency will have the Case entry assigned, in addition to the status entry. Inconsistent cases, for multiple case solutions, are removed automatically.

So what is the difference between Pivots and Case?

The Pivots entry contains the inequations for the given case in simplified form with respect to the output system. The Case entry is a list with elements of the form [assumption,leading derivative] or [assumption,leading derivative,"false split"]. It describes the actual decision made for the case split in unsimplified form (i.e. as it was encountered in the algorithm). The assumption will be of the form $\mathrm{expr}\ne 0$ or $\mathrm{expr}=0$, where $\mathrm{expr}$ depends on the dependent variables, derivatives and/or constants of the problem. The leading derivative is the indeterminate the algorithm was isolating that required the assumption. If the third "false split" entry is present, then it was later discovered that one branch of the split is entirely inconsistent, so the actual splitting was a false splitting, as the displayed assumption is always true with respect to the rest of the system. For example, if the algorithm were to split on an equation of the form $a\left(\frac{\&DifferentialD;}{\&DifferentialD;y}f\left(y\right)\right)+f\left(y\right)=0$, the Case entries that correspond to this case split are $\left[a\ne 0\&comma;\frac{\&DifferentialD;}{\&DifferentialD;y}f\left(y\right)\right]$, and $\left[a=0\&comma;\frac{\&DifferentialD;}{\&DifferentialD;y}f\left(y\right)\right]$. If it was found later in the algorithm that $a=0$ leads to a contradiction, then the Case entry would be given by [a<>0,diff(f(y),y),"false split"].

Note that when faclimit or factoring are used (of which factoring is turned on by default), it is possible to introduce a splitting that does not isolate a specific derivative. When this occurs, the case entry will be of the form $\left[\mathrm{assumption}\&comma;''faclimit''\right]$ or $\left[\mathrm{assumption}\&comma;''factor''\right]$.

Occasionally both the Case and Pivots entries contain the same information, but it should be understood that they represent different things.

Important

As discussed above, some options have the effect of preventing rifsimp from fully simplifying the system. Whenever DiffConstraint or UnSolve entries are present in the output, some parts of the algorithm have been disabled by options, and the resulting cases must be manually examined for consistency and completeness.

$\mathrm{with}\left(\mathrm{DEtools}\right)\&colon;$

$\mathrm{sys1}≔\left[a\mathrm{diff}\left(f\left(x\right)\&comma;x\&comma;x\right)-f\left(x\right)\&comma;b\mathrm{diff}\left(f\left(x\right)\&comma;x\right)-f\left(x\right)\right]$

$\mathrm{sys1}≔\left[a\left(\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}f\left(x\right)\right)-f\left(x\right)\&comma;b\left(\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\right)-f\left(x\right)\right]$

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

$\mathrm{ans1}≔table\left(\left[\mathrm{Case}=\left[\left[a\ne 0\&comma;\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}f\left(x\right)\right]\&comma;\left[b\ne 0\&comma;\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\right]\&comma;\left[b^2-a\ne 0\&comma;f\left(x\right)\right]\right]\&comma;\mathrm{Solved}=\left[f\left(x\right)=0\right]\&comma;\mathrm{Pivots}=\left[a\ne 0\&comma;b\ne 0\&comma;b^2-a\ne 0\right]\right]\right)$

$\mathrm{ans1m}≔\mathrm{rifsimp}\left(\mathrm{sys1}\&comma;\mathrm{casesplit}\right)$

$\mathrm{ans1m}≔table\left(\left[1=table\left(\left[\mathrm{Case}=\left[\left[a\ne 0\&comma;\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}f\left(x\right)\right]\&comma;\left[b\ne 0\&comma;\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\right]\&comma;\left[b^2-a\ne 0\&comma;f\left(x\right)\right]\right]\&comma;\mathrm{Solved}=\left[f\left(x\right)=0\right]\&comma;\mathrm{Pivots}=\left[a\ne 0\&comma;b\ne 0\&comma;b^2-a\ne 0\right]\right]\right)\&comma;2=table\left(\left[\mathrm{Case}=\left[\left[a\ne 0\&comma;\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}f\left(x\right)\right]\&comma;\left[b\ne 0\&comma;\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\right]\&comma;\left[b^2-a=0\&comma;f\left(x\right)\right]\right]\&comma;\mathrm{Solved}=\left[\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)=\frac{f\left(x\right)}{b}\&comma;a=b^2\right]\&comma;\mathrm{Pivots}=\left[b\ne 0\right]\right]\right)\&comma;3=table\left(\left[\mathrm{Case}=\left[\left[a\ne 0\&comma;\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}f\left(x\right)\right]\&comma;\left[b=0\&comma;\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\right]\right]\&comma;\mathrm{Solved}=\left[f\left(x\right)=0\&comma;b=0\right]\&comma;\mathrm{Pivots}=\left[a\ne 0\right]\right]\right)\&comma;4=table\left(\left[\mathrm{Case}=\left[\left[a=0\&comma;\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}f\left(x\right)\right]\right]\&comma;\mathrm{Solved}=\left[f\left(x\right)=0\&comma;a=0\right]\right]\right)\&comma;\mathrm{casecount}=4\right]\right)$

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

$4$

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

$\mathrm{ans1a}≔\mathrm{rifsimp}\left(\left[\mathrm{op}\left(\mathrm{sys1}\right)\&comma;f\left(x\right)\ne 0\right]\&comma;\mathrm{casesplit}\right)$

$\mathrm{ans1a}≔table\left(\left[\mathrm{Case}=\left[\left[a\ne 0\&comma;\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}f\left(x\right)\&comma;''false\; split''\right]\&comma;\left[b\ne 0\&comma;\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\&comma;''false\; split''\right]\right]\&comma;\mathrm{Solved}=\left[\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)=\frac{f\left(x\right)}{b}\&comma;a=b^2\right]\&comma;\mathrm{Pivots}=\left[f\left(x\right)\ne 0\right]\right]\right)$

$\mathrm{sys2}≔\left[\mathrm{diff}\left(u\left(x\right)\&comma;x\&comma;x\right)+{\mathrm{diff}\left(u\left(x\right)\&comma;x\right)}^2-1\&comma;\mathrm{diff}\left(u\left(x\right)\&comma;x\&comma;x\right)+1\right]$

$\mathrm{sys2}≔\left[\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}u\left(x\right)+{\left(\frac{\&DifferentialD;}{\&DifferentialD;x}u\left(x\right)\right)}^2-1\&comma;\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}u\left(x\right)+1\right]$

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

$table\left(\left[\mathrm{status}=''system\; is\; inconsistent''\right]\right)$

$\mathrm{sys3}≔\left[\mathrm{diff}\left(f\left(x\right)\&comma;x\right)\left(\mathrm{diff}\left(g\left(x\right)\&comma;x\right)-g\left(x\right)\right)+{f\left(x\right)}^2\&comma;\mathrm{diff}\left(g\left(x\right)\&comma;x\right)-g\left(x\right)\right]$

$\mathrm{sys3}≔\left[\left(\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\right)\left(\frac{\&DifferentialD;}{\&DifferentialD;x}g\left(x\right)-g\left(x\right)\right)+{f\left(x\right)}^2\&comma;\frac{\&DifferentialD;}{\&DifferentialD;x}g\left(x\right)-g\left(x\right)\right]$

$\mathrm{rifsimp}\left(\mathrm{sys3}\&comma;\left[f\right]\&comma;\mathrm{unsolved}\right)$

$table\left(\left[\mathrm{Case}=\left[\left[\frac{\&DifferentialD;}{\&DifferentialD;x}g\left(x\right)-g\left(x\right)\ne 0\&comma;\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\right]\right]\&comma;\mathrm{Solved}=\left[\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)=-\frac{{f\left(x\right)}^2}{\frac{\&DifferentialD;}{\&DifferentialD;x}g\left(x\right)-g\left(x\right)}\right]\&comma;\mathrm{UnSolve}=\left[0=\frac{\&DifferentialD;}{\&DifferentialD;x}g\left(x\right)-g\left(x\right)\right]\&comma;\mathrm{Pivots}=\left[\frac{\&DifferentialD;}{\&DifferentialD;x}g\left(x\right)-g\left(x\right)\ne 0\right]\right]\right)$

$\mathrm{sys4}≔\left[\mathrm{diff}\left(f\left(x\right)\&comma;x\&comma;x\right)+f\left(x\right)\&comma;{\mathrm{diff}\left(f\left(x\right)\&comma;x\right)}^2-{f\left(x\right)}^2\right]$

$\mathrm{sys4}≔\left[\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}f\left(x\right)+f\left(x\right)\&comma;{\left(\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\right)}^2-{f\left(x\right)}^2\right]$

$\mathrm{rifsimp}\left(\mathrm{sys4}\&comma;\mathrm{casesplit}\right)$

$table\left(\left[\mathrm{Case}=\left[\left[f\left(x\right)=0\&comma;\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\&comma;''false\; split''\right]\right]\&comma;\mathrm{Solved}=\left[f\left(x\right)=0\right]\right]\right)$

$\mathrm{rifsimp}\left(\mathrm{sys4}\&comma;\mathrm{casesplit}\&comma;\mathrm{spawn}=\mathrm{false}\right)$

$table\left(\left[\mathrm{Solved}=\left[\frac{{\&DifferentialD;}^2}{\&DifferentialD;x^2}f\left(x\right)=-f\left(x\right)\right]\&comma;\mathrm{DiffConstraint}=\left[0={f\left(x\right)}^2-{\left(\frac{\&DifferentialD;}{\&DifferentialD;x}f\left(x\right)\right)}^2\right]\right]\right)$