The casesplit function receives one DE,  or a set or a list of DEs (it is also possible to include inequations and non-differential equations) and splits the system into regular systems associated with different cases. The union of the non-singular solutions of these regular systems returned is equal to the full set of solutions, including the singular ones, of the original input system. Each regular system automatically satisfies all the integrability conditions. The splitting into cases is performed by using the Rif subpackage of DEtools (default), or using the DifferentialAlgebra package when the keyword 'diffalg' is given as an optional argument. casesplit also works with anticommutative variables set using the Physics package using the approach explained in PerformOnAnticommutativeSystem.

The casesplit command is useful for studying the different cases of a given DE system, uncoupling the system in different ways using different orderings for the solving variables (rankings), and determining whether the system is inconsistent. The casesplit command can also be used to remove redundancies and to make the system complete, including simplifying it by using all its integrability conditions. All these tasks are automatically performed each time casesplit is invoked.

Ranking is a fundamental concept related to the splitting process performed through casesplit. A ranking is basically an ordering of the variables of the problem (herein called solving variables) in the form of a list of functions or symbol variables, as in $\left[f\left(x\right)\,g\left(x\right)\,h\left(x\right)\,a\right]$ (one can also specify functions by using only their names as in $\left[f\,g\,h\,a\right]$). Different rankings imply different uncoupling orderings and, hence, different manners of splitting and uncoupling the DE system (see checkrank, DifferentialAlgebra[Tools][Display], and the examples below).

In the case of a system of ordinary differential equations (ODEs), provided the system is not subdetermined, the default output of casesplit consists of a sequence of uncoupled ODE systems, where the uncoupling ordering used is that of the solving variables in the ranking. The ranking is provided by the user as a list or automatically set by casesplit. That means, for instance, that if a system depending on the functions $\left[f\left(x\right)\,g\left(x\right)\,h\left(x\right)\right]$ is given with this list as ranking, the equations in each returned system are of the form $\[\mathrm{..}f\left(x\right)\mathrm{..}=\mathrm{..}\left(f\left(x\right),g\left(x\right),h\left(x\right)\right)\mathrm{..},\mathrm{..}g\left(x\right)=\mathrm{..}\left(g\left(x\right),h\left(x\right)\right)\mathrm{..},\mathrm{..}h\left(x\right)\mathrm{..}=\mathrm{..}\left(h\left(x\right)\right)\]$. So, the last equation involves only $h\left(x\right)$, the next to the last equation involves $g\left(x\right)$ and $h\left(x\right)$, and the first equation involves the three functions. This is called sequential uncoupling.

In the case of a system of partial differential equations (PDEs), the situation is the same as with ODEs but the concept of sequential uncoupling requires clarification. Concretely, instead of one equation related to each function, one could receive many equations. For instance, if a system depending on the functions $\left[f\left(x\,y\,z\right)\,g\left(x\,y\,z\right)\,h\left(x\,y\,z\right)\right]$ is given and with this list as ranking, the equations in each returned system are of the form $\[\mathrm{eqs}\left(f=\mathrm{..}\left(f,g,h\right)\mathrm{..}\right),\mathrm{eqs}\left(g=\mathrm{..}\left(g,h\right)\mathrm{..}\right),\mathrm{eqs}\left(h=\mathrm{..}\left(h\right)\mathrm{..}\right)\]$, where $\mathrm{eqs}\left(h=\mathrm{..}\left(h\right)\mathrm{..}\right)$ means equations (possibly PDEs) only depending on 'h' and so on.

The casesplit command also works with systems of equations that involve mathematical functions, provided that they have a differential equation representation that is rational in the independent variables, the function and its derivatives - i.e a differential polynomial form. That is indeed the case of most of the mathematical functions as well as of indefinite integrals, fractional and symbolic (generic) powers. For example, the exponential function, $f\left(x\right)={\ⅇ}^x$ satisfies $f^{\text{'}}=f$. When these functions are present in the system, they are replaced by auxiliary unknowns representing them and the corresponding differential equations they satisfy are added to the system, the system is processed, and before returning these auxiliary unknowns are replaced by the actual functions they represent.

The arguments of mathematical functions present in the system can be arbitrary algebraic expressions, possibly including other mathematical functions, with no limits to the levels of nesting, for example: $g\left(x\right)={\ⅇ}^{\mathrm{BesselJ}\left(n\,\sqrt{x}\right)}$. These cases are processed by first performing changes of variables that result in a differential polynomial form representing the expression, then proceeding as explained in the previous item.

The casesplit command also works with systems that involve unknown functions whose arguments are not just variables (i.e.: of type name) but generic algebraic expressions. Provided that some conditions are met, through changes of variables the system of equations can be transformed into an equivalent system where the transformed functions all depend on simple variables of type name, this system is processed, a further change of variables to revert to the original variables is performed, and the result is returned.

Finally, casesplit works as well with systems that involve D derivatives evaluated at points represented by algebraic expressions. The key idea is that any D derivative of this type can be mapped into a function of variables not of type name that can in turn be represented in differential polynomial form as a first order PDE, obtained by running backwards what is know as the PDE characteristic strip solving method. This approach makes it possible to perform differential elimination with these objects, as well as solving PDE systems in terms of arbitrary functions, that, at some point in the solving process, become functions of algebraic expressions (variables not of type name) and where the intermediate subsystem involves D derivatives of these functions.

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

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

$\mathrm{declare}\left(\left[f\left(t\right)\,g\left(t\right)\,h\left(t\right)\,j\left(t\right)\,y\left(t\right)\right]\,\mathrm{prime}=t\right)$

$f\left(t\right)\mathrm{will\; now\; be\; displayed\; as}f$

$g\left(t\right)\mathrm{will\; now\; be\; displayed\; as}g$

$h\left(t\right)\mathrm{will\; now\; be\; displayed\; as}h$

$j\left(t\right)\mathrm{will\; now\; be\; displayed\; as}j$

$y\left(t\right)\mathrm{will\; now\; be\; displayed\; as}y$

$\mathrm{derivatives\; with\; respect\; to}t\mathrm{of\; functions\; of\; one\; variable\; will\; now\; be\; displayed\; with\; \text{'}}$

$\mathrm{ode}\left[1\right]≔{\mathrm{diff}\left(y\left(t\right)\,t\,t\right)}^2+2\mathrm{diff}\left(y\left(t\right)\,t\,t\right){y\left(t\right)}^3\mathrm{diff}\left(y\left(t\right)\,t\right)-4{y\left(t\right)}^2{\mathrm{diff}\left(y\left(t\right)\,t\right)}^3$

${\mathrm{ode}}_1≔{\mathrm{y\text{'}\text{'}}}^2+2\mathrm{y\text{'}\text{'}}{y}^3\mathrm{y\text{'}}-4y^2{\mathrm{y\text{'}}}^3$

$\left[\mathrm{casesplit}\left(\mathrm{ode}\left[1\right]\right)\right]$

$\left[\left[{\mathrm{y\text{'}\text{'}}}^2=-2\mathrm{y\text{'}\text{'}}{y}^3\mathrm{y\text{'}}+4y^2{\mathrm{y\text{'}}}^3\right]\mathbf{where}\left[y^3\mathrm{y\text{'}}+\mathrm{y\text{'}\text{'}}\ne 0\right]\,\left[\mathrm{y\text{'}}=-\frac{y^4}{4}\right]\mathbf{where}\left[y\ne 0\right]\,\left[\mathrm{y\text{'}}=0\right]\mathbf{where}\left[y\ne 0\right]\,\left[y=0\right]\mathbf{where}\left[\right]\right]$

$\mathrm{casesplit}\left(\mathrm{ode}\left[1\right]\,'\mathrm{caseplot}'\right)$

$\mathrm{=========\; Pivots\; Legend\; =========}$

$\mathrm{p1}=y^3\mathrm{y\text{'}}+\mathrm{y\text{'}\text{'}}$

$\mathrm{p2}=y$

$\mathrm{p3}=\mathrm{y\text{'}}$

$\mathrm{PLOT}\left(\mathrm{...}\right)$

$\left[{\mathrm{y\text{'}\text{'}}}^2=-2\mathrm{y\text{'}\text{'}}{y}^3\mathrm{y\text{'}}+4y^2{\mathrm{y\text{'}}}^3\right]\mathbf{where}\left[y^3\mathrm{y\text{'}}+\mathrm{y\text{'}\text{'}}\ne 0\right],\left[\mathrm{y\text{'}}=-\frac{y^4}{4}\right]\mathbf{where}\left[y\ne 0\right],\left[\mathrm{y\text{'}}=0\right]\mathbf{where}\left[y\ne 0\right],\left[y=0\right]\mathbf{where}\left[\right]$

$\mathrm{sys}\left[1\right]≔\left\{\mathrm{diff}\left(x\left(t\right)\,t\right)=y\left(t\right)\,\mathrm{diff}\left(y\left(t\right)\,t\right)=-{x\left(t\right)}^2\right\}$

${\mathrm{sys}}_1≔\left\{\mathrm{x\text{'}}=y\,\mathrm{y\text{'}}=-{x\left(t\right)}^2\right\}$

$\mathrm{infolevel}\left[:-\mathrm{casesplit}\right]≔2$

${\mathrm{infolevel}}_{\mathrm{casesplit}}≔2$

$\mathrm{casesplit}\left(\mathrm{sys}\left[1\right]\right)$

-> Solving ordering to be used: [y, x]
Ranking for 1st round is: [[y, x]]
Ranking for 2nd round is: [y, x]
1st round is performed, original system is split into 1 cases
2nd round is performed; processing answer ...

$\left[y=\mathrm{x\text{'}}\,\mathrm{x\text{'}\text{'}}=-{x\left(t\right)}^2\right]\mathbf{where}\left[\right]$

$\left[\mathrm{casesplit}\left(\mathrm{sys}\left[1\right]\,\left[x\,y\right]\right)\right]$

Ranking for 1st round is: [[x, y]]
Ranking for 2nd round is: [x, y]
1st round is performed, original system is split into 1 cases
2nd round is performed, original system is now split into 2 cases. Processing answer ...

$\left[\left[x\left(t\right)=-\frac{\mathrm{y\text{'}\text{'}}}{2y}\,\mathrm{y\text{'}\text{'}\text{'}}=\frac{-2y^3+\mathrm{y\text{'}\text{'}}\mathrm{y\text{'}}}{y}\,{\mathrm{y\text{'}\text{'}}}^2=-4\mathrm{y\text{'}}{y}^2\right]\mathbf{where}\left[y\ne 0\right]\,\left[x\left(t\right)=0\,y=0\right]\mathbf{where}\left[\right]\right]$

$\mathrm{sys}\left[2\right]≔\left\{\mathrm{diff}\left(\mathrm{diff}\left(h\left(t\right)\,t\right)\,t\right)=j\left(t\right)+{g\left(t\right)}^{\frac{1}{2}}\,\mathrm{diff}\left(f\left(t\right)\,t\right)=h\left(t\right)+g\left(t\right)\,\mathrm{diff}\left(g\left(t\right)\,t\right)=-{f\left(t\right)}^{\frac{1}{2}}\,\mathrm{diff}\left(j\left(t\right)\,t\right)=-h\left(t\right)\right\}$

${\mathrm{sys}}_2≔\left\{\mathrm{h\text{'}\text{'}}=j+\sqrt{g}\,\mathrm{f\; \text{'}}=h+g\,\mathrm{g\text{'}}=-\sqrt{f}\,\mathrm{j\text{'}}=-h\right\}$

$\mathrm{casesplit}\left(\mathrm{sys}\left[2\right]\right)$

-> Solving ordering to be used: [j, h]
Ranking for 1st round is: [[j, h, f, _F1, g, _F2]]
Ranking for 2nd round is: [j, h, f, _F1, g, _F2]
1st round is performed, original system is split into 2 cases
2nd round is performed; processing answer ...

$\left[j=2\mathrm{g\text{'}\text{'}\text{'}\text{'}}\mathrm{g\text{'}}+6\mathrm{g\text{'}\text{'}\text{'}}\mathrm{g\text{'}\text{'}}-\mathrm{g\text{'}\text{'}}-\sqrt{g}\,h=2\mathrm{g\text{'}}\mathrm{g\text{'}\text{'}}-g\,\sqrt{f}=-\mathrm{g\text{'}}\,\mathrm{g\text{'}\text{'}\text{'}\text{'}\text{'}}=-\frac{16\mathrm{g\text{'}\text{'}\text{'}\text{'}}\mathrm{g\text{'}\text{'}}+12{\mathrm{g\text{'}\text{'}\text{'}}}^2+4\mathrm{g\text{'}}\mathrm{g\text{'}\text{'}}-\frac{\mathrm{g\text{'}}}{\sqrt{g}}-2\mathrm{g\text{'}\text{'}\text{'}}-2g}{4\mathrm{g\text{'}}}\right]\mathbf{where}\left[\mathrm{g\text{'}}\ne 0\right],\left[j=0\,h=0\,f=0\,g=0\right]\mathbf{where}\left[\right]$

$\mathrm{infolevel}\left[:-\mathrm{casesplit}\right]≔1$

${\mathrm{infolevel}}_{\mathrm{casesplit}}≔1$

$f\left(x\right)=\exp \left(\mathrm{BesselJ}\left(\mathrm{\nu }\,\mathrm{sqrt}\left(x\right)\right)\right)$

$f\left(x\right)={\ⅇ}^{\mathrm{BesselJ}\left(\mathrm{\nu }\,\sqrt{x}\right)}$

$\mathrm{dpolyform}\left(\,\mathrm{no\_Fn}\right)$

$\left[f_{x,x,x}=\left(\frac{3f_x}{f\left(x\right)}+\frac{3{\mathrm{\nu }}^2-2x}{x\left(-{\mathrm{\nu }}^2+x\right)}\right)f_{x,x}-\frac{2{f_x}^3}{{f\left(x\right)}^2}+\frac{\left(3{\mathrm{\nu }}^2-2x\right){f_x}^2}{x\left({\mathrm{\nu }}^2-x\right)f\left(x\right)}+\frac{\left(-{\mathrm{\nu }}^4+\left(2x+4\right){\mathrm{\nu }}^2-x^2\right)f_x}{4x^2\left(-{\mathrm{\nu }}^2+x\right)}\right]\mathbf{where}\left[f\left(x\right)f_{x,x}x-{f_x}^{2}x+f\left(x\right)f_x\ne 0\right]$

$\mathrm{odetest}\left(\,\right)$

$\left[0\right]$

$F\left(y-\mathrm{I}x\right)+G\left(y+\mathrm{I}x\right)=H\left(x\right)$

$F\left(y-\mathrm{I}x\right)+G\left(y+\mathrm{I}x\right)=H\left(x\right)$

$\mathrm{casesplit}\left(\right)$

$\left[H\left(x\right)=F\left(y-\mathrm{I}x\right)+G\left(y+\mathrm{I}x\right)\right]\mathbf{where}\left[\right]$

$\mathrm{casesplit}\left(\,\left[F\,G\right]\right)$

$\left[F\left(y-\mathrm{I}x\right)=-G\left(y+\mathrm{I}x\right)+H\left(x\right)\,\mathrm{D}\left(G\right)\left(y+\mathrm{I}x\right)=-\frac{\mathrm{I}}{2}{H}_x\right]\mathbf{where}\left[\right]$

$F\left(x\,t\right)=H\left(tx+G\left(\frac{1}{t}\right)\right)$

$F\left(x\,t\right)=H\left(tx+G\left(\frac{1}{t}\right)\right)$

$\mathrm{dpolyform}\left(\,\mathrm{no\_Fn}\right)$

$\left[F_{t,x}=\frac{F_t{F}_{x,x}}{F_x}+\frac{F_x}{t}\right]\mathbf{where}\left[F_x\ne 0\right]$

$\mathrm{pdetest}\left(\,\right)$

$\left[0\right]$

$\mathrm{pde}≔\mathrm{diff}\left(u\left(x\,t\right)\,x\,t\right)=\mathrm{D}\left(\mathrm{D}\left(\mathrm{D}\left(f\right)\right)\right)\left(x-t\right)$

$\mathrm{pde}≔u_{t,x}={\mathrm{D}}^{\left(3\right)}\left(f\right)\left(x-t\right)$

$\mathrm{dpolyform}\left(\mathrm{pde}\,\mathrm{no\_Fn}\right)$

$\left[u_{t,x,x}=-u_{t,t,x}\right]\mathbf{where}\left[\right]$

$\mathrm{pdsolve}\left(\right)$

$\left\{u\left(x\,t\right)=\mathrm{f\_\_1}\left(t\right)+\mathrm{f\_\_2}\left(x\right)+\mathrm{f\_\_3}\left(t-x\right)\right\}$

$\mathrm{pde}\left[1\right]≔\mathrm{diff}\left(f\left(x\,y\,z\right)\,x\,y\right)\mathrm{diff}\left(f\left(x\,y\,z\right)\,y\right)=h\left(x\right)g\left(y\,z\right)$

${\mathrm{pde}}_1≔f_{x,y}{f}_y=h\left(x\right)g\left(y\,z\right)$

$\left[\mathrm{casesplit}\left(\mathrm{pde}\left[1\right]\,f\right)\right]$

$\left[\left[f_{x,y}=\frac{h\left(x\right)g\left(y\,z\right)}{f_y}\right]\mathbf{where}\left[f_y\ne 0\right]\,\left[f_y=0\,h\left(x\right)=0\right]\mathbf{where}\left[g\left(y\,z\right)\ne 0\right]\,\left[f_y=0\,g\left(y\,z\right)=0\right]\mathbf{where}\left[\right]\right]$

$\mathrm{pde}\left[2\right]≔\left[\mathrm{diff}\left(u\left(x\,y\right)\,x\right)+v\left(x\,y\right)=y\,\mathrm{diff}\left(u\left(x\,y\right)\,y\right)+v\left(x\,y\right)=0\,\mathrm{diff}\left(v\left(x\,y\right)\,x\right)=\mathrm{diff}\left(v\left(x\,y\right)\,y\right)\right]$

${\mathrm{pde}}_2≔\left[u_x+v\left(x\,y\right)=y\,u_y+v\left(x\,y\right)=0\,v_x=v_y\right]$

$\mathrm{casesplit}\left(\mathrm{pde}\left[2\right]\right)$

Warning: System is inconsistent

$\mathrm{declare}\left(y\left(x\right)\,\mathrm{prime}=x\right)$

$y\left(x\right)\mathrm{will\; now\; be\; displayed\; as}y$

$\mathrm{derivatives\; with\; respect\; to}x\mathrm{of\; functions\; of\; one\; variable\; will\; now\; be\; displayed\; with\; \text{'}}$

$\mathrm{ode}\left[3\right]≔\mathrm{diff}\left(y\left(x\right)\,x\,x\right)=y\left(x\right)\mathrm{diff}\left(y\left(x\right)\,x\right)x$

${\mathrm{ode}}_3≔\mathrm{y\text{'}\text{'}}=y\mathrm{y\text{'}}x$

$\mathrm{odepde}\left(\mathrm{ode}\left[3\right]\,\mathrm{\_\μ}=\mathrm{\mu }\left(x\,y\left(x\right)\right)\right)$

${\mathrm{\_y1}}^2{\mathrm{\mu }}_{y,y}+2{\mathrm{\mu }}_{x,y}\mathrm{\_y1}+y\mathrm{\mu }\left(x\,y\right)+2\mathrm{\_y2}{\mathrm{\mu }}_y+{\mathrm{\mu }}_{x,x}+{\mathrm{\mu }}_{x}xy$

$\mathrm{sys}\left[3\right]≔\left[\mathrm{gensys}\left(\mathrm{ode}\left[3\right]\,\mathrm{\_\μ}=\mathrm{\mu }\left(x\,y\right)\right)\right]$

${\mathrm{sys}}_3≔\left[{\mathrm{\mu }}_y\,{\mathrm{\mu }}_{y,y}\,{\mathrm{\mu }}_{x,y}\,y\mathrm{\mu }\left(x\,y\right)+{\mathrm{\mu }}_{x,x}+{\mathrm{\mu }}_{x}xy\right]$

$\mathrm{casesplit}\left(\mathrm{sys}\left[3\right]\right)$

$\left[\mathrm{\mu }\left(x\,y\right)=0\right]\mathbf{where}\left[\right]$

$\mathrm{sys}\left[4\right]≔\left[\mathrm{gensys}\left(\mathrm{ode}\left[3\right]\,\mathrm{\_\μ}=\mathrm{\mu }\left(x\,\mathrm{diff}\left(y\left(x\right)\,x\right)\right)\right)\right]$

${\mathrm{sys}}_4≔\left[\mathrm{\_y1}x{\mathrm{\mu }}_{\mathrm{\_y1},\mathrm{\_y1}}+2x{\mathrm{\mu }}_{\mathrm{\_y1}}\,{\mathrm{\mu }}_{\mathrm{\_y1},x}\,\mathrm{\_y1}x{\mathrm{\mu }}_{\mathrm{\_y1},x}+\mathrm{\_y1}{\mathrm{\mu }}_{\mathrm{\_y1}}+{\mathrm{\mu }}_{x}x+\mathrm{\mu }\left(x\,\mathrm{\_y1}\right)\,{\mathrm{\mu }}_{\mathrm{\_y1}}{\mathrm{\_y1}}^{2}x+{\mathrm{\mu }}_{x,x}\right]$

$\mathrm{casesplit}\left(\mathrm{sys}\left[4\right]\right)$

$\left[\mathrm{\mu }\left(x\,\mathrm{\_y1}\right)=0\right]\mathbf{where}\left[\right]$

$\mathrm{sys}\left[5\right]≔\left[\mathrm{gensys}\left(\mathrm{ode}\left[3\right]\,\mathrm{\_\μ}=\mathrm{\mu }\left(x\,\mathrm{diff}\left(y\left(x\right)\,x\right)\right)\right)\right]$

${\mathrm{sys}}_5≔\left[\mathrm{\_y1}x{\mathrm{\mu }}_{\mathrm{\_y1},\mathrm{\_y1}}+2x{\mathrm{\mu }}_{\mathrm{\_y1}}\,{\mathrm{\mu }}_{\mathrm{\_y1},x}\,\mathrm{\_y1}x{\mathrm{\mu }}_{\mathrm{\_y1},x}+\mathrm{\_y1}{\mathrm{\mu }}_{\mathrm{\_y1}}+{\mathrm{\mu }}_{x}x+\mathrm{\mu }\left(x\,\mathrm{\_y1}\right)\,{\mathrm{\mu }}_{\mathrm{\_y1}}{\mathrm{\_y1}}^{2}x+{\mathrm{\mu }}_{x,x}\right]$

$\mathrm{casesplit}\left(\mathrm{sys}\left[5\right]\right)$

$\left[\mathrm{\mu }\left(x\,\mathrm{\_y1}\right)=0\right]\mathbf{where}\left[\right]$

$\mathrm{ode}\left[4\right]≔\mathrm{diff}\left(y\left(x\right)\,x\,x\right)-3y\left(x\right)\mathrm{diff}\left(y\left(x\right)\,x\right)-3a{y\left(x\right)}^2-4a^{2}y\left(x\right)-b=0$

${\mathrm{ode}}_4≔\mathrm{y\text{'}\text{'}}-3y\mathrm{y\text{'}}-3a{y}^2-4a^{2}y-b=0$

$\mathrm{sys}\left[6\right]≔\left[\mathrm{gensys}\left(\mathrm{ode}\left[4\right]\,\left[\mathrm{\xi }\left(x\,y\right)\,\mathrm{\eta }\left(x\,y\right)\right]\right)\right]$

${\mathrm{sys}}_6≔\left[{\mathrm{\xi }}_{y,y}\,-6{\mathrm{\xi }}_{y}y+{\mathrm{\eta }}_{y,y}-2{\mathrm{\xi }}_{x,y}\,-12{\mathrm{\xi }}_y{a}^{2}y-9{\mathrm{\xi }}_{y}a{y}^2-3{\mathrm{\xi }}_{y}b-3{\mathrm{\xi }}_{x}y-3\mathrm{\eta }\left(x\,y\right)+2{\mathrm{\eta }}_{x,y}-{\mathrm{\xi }}_{x,x}\,-8{\mathrm{\xi }}_x{a}^{2}y-6{\mathrm{\xi }}_{x}a{y}^2+4{\mathrm{\eta }}_y{a}^{2}y+3{\mathrm{\eta }}_{y}a{y}^2-4\mathrm{\eta }\left(x\,y\right)a^2-6\mathrm{\eta }\left(x\,y\right)ay-2{\mathrm{\xi }}_{x}b+{\mathrm{\eta }}_{y}b-3{\mathrm{\eta }}_{x}y+{\mathrm{\eta }}_{x,x}\right]$

$\mathrm{casesplit}\left(\mathrm{sys}\left[6\right]\right)$

$\left[\mathrm{\eta }\left(x\,y\right)=0\,{\mathrm{\xi }}_x=0\,{\mathrm{\xi }}_y=0\right]\mathbf{where}\left[\right]$

$\mathrm{ode}\left[5\right]≔\mathrm{diff}\left(y\left(x\right)\,x\,x\right)-\frac{{\mathrm{diff}\left(y\left(x\right)\,x\right)}^2}{y\left(x\right)}-g\left(x\right)y\left(x\right)\mathrm{diff}\left(y\left(x\right)\,x\right)-\mathrm{diff}\left(g\left(x\right)\,x\right){y\left(x\right)}^2=0$

${\mathrm{ode}}_5≔\mathrm{y\text{'}\text{'}}-\frac{{\mathrm{y\text{'}}}^2}{y}-g\left(x\right)y\mathrm{y\text{'}}-\mathrm{g\text{'}}{y}^2=0$

$\mathrm{sys}\left[7\right]≔\mathrm{gensys}\left(\mathrm{ode}\left[5\right]\,\left[\mathrm{\xi }\left(x\,y\right)\,\mathrm{\eta }\left(x\,y\right)\right]\,y\left(x\right)\right)$

${\mathrm{sys}}_7≔-{\mathrm{\xi }}_{y,y}{y}^2-{\mathrm{\xi }}_{y}y,-2{\mathrm{\xi }}_{y}g\left(x\right)y^3+{\mathrm{\eta }}_{y,y}{y}^2-2{\mathrm{\xi }}_{x,y}{y}^2-{\mathrm{\eta }}_{y}y+\mathrm{\eta }\left(x\,y\right),-3{\mathrm{\xi }}_y\mathrm{g\text{'}}{y}^4-{\mathrm{\xi }}_{x}g\left(x\right)y^3-\mathrm{g\text{'}}\mathrm{\xi }\left(x\,y\right)y^3-\mathrm{\eta }\left(x\,y\right)g\left(x\right)y^2+2{\mathrm{\eta }}_{x,y}{y}^2-{\mathrm{\xi }}_{x,x}{y}^2-2{\mathrm{\eta }}_{x}y,-2{\mathrm{\xi }}_x\mathrm{g\text{'}}{y}^4+{\mathrm{\eta }}_y\mathrm{g\text{'}}{y}^4-\mathrm{\xi }\left(x\,y\right)\mathrm{g\text{'}\text{'}}{y}^4-2\mathrm{\eta }\left(x\,y\right)\mathrm{g\text{'}}{y}^3-{\mathrm{\eta }}_{x}g\left(x\right)y^3+{\mathrm{\eta }}_{x,x}{y}^2$

$\mathrm{ineqs}\left[7\right]≔\mathrm{\xi }\left(x\,y\right)\ne 0,\mathrm{\eta }\left(x\,y\right)\ne 0$