Expanded the ability to solve nonlinear 2nd order ODEs, perform differential elimination, and solve PDEs with Boundary Conditions - Maple Programming Help

 Expanded the ability to solve nonlinear 2nd order ODEs, perform differential elimination, and solve PDEs with Boundary Conditions

For Partial differential equations with boundary condition (PDE and BC) see the corresponding what's new in Partial Differential Equations with Boundary Conditions. What follows below describes the novelties in solving nonlinear Ordinary Differential Equations of second order, as well as the new differential elimination package DifferentialThomas.

Nonlinear Ordinary Differential Equations of 2nd order that do not admit Lie point symmetries

Maple 2018 continues to push the frontiers in differential equation solving and extends its lead in computing closed-form solutions to differential equations, adding even more classes of problems that can be handled. The four new ODE classes solvable in this release do not admit point symmetries. The method used is based on the S-function method (see dsolve/references) and a generalization of it to classes of equations with infinitely many members.

Examples

To display special functions using textbook notation, use extended typesetting and enable the typesetting of mathematical functions.

 >

Representatives of the four classes are as follows

 >
 ${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{'}}}$ (1)
 >
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right){,}{x}\right){=}{-}\frac{\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right){}\left({{x}}^{{4}}{-}{4}{}{{x}}^{{3}}{+}{y}{}\left({x}\right)\right)}{{{x}}^{{4}}{+}{y}{}\left({x}\right)}$ (2)
 >
 ${y}{}\left({x}\right){=}\left(\frac{{{x}}^{{4}}}{{-}{\mathrm{exp}}{}\left({-}{x}\right){+}{\mathrm{_C1}}}{-}\frac{{{x}}^{{4}}}{{\mathrm{_C1}}}{-}\frac{{4}{}{{x}}^{{3}}{}{\mathrm{ln}}{}\left({1}{-}\frac{{\mathrm{exp}}{}\left({-}{x}\right)}{{\mathrm{_C1}}}\right)}{{\mathrm{_C1}}}{+}\frac{{12}{}{{x}}^{{2}}{}{\mathrm{polylog}}{}\left({2}{,}\frac{{\mathrm{exp}}{}\left({-}{x}\right)}{{\mathrm{_C1}}}\right)}{{\mathrm{_C1}}}{+}\frac{{24}{}{x}{}{\mathrm{polylog}}{}\left({3}{,}\frac{{\mathrm{exp}}{}\left({-}{x}\right)}{{\mathrm{_C1}}}\right)}{{\mathrm{_C1}}}{+}\frac{{24}{}{\mathrm{polylog}}{}\left({4}{,}\frac{{\mathrm{exp}}{}\left({-}{x}\right)}{{\mathrm{_C1}}}\right)}{{\mathrm{_C1}}}{+}{\mathrm{_C2}}\right){}\left({\mathrm{exp}}{}\left({-}{x}\right){-}{\mathrm{_C1}}\right)$ (3)
 > $\mathrm{odetest}\left(\mathrm{sol}\left[1\right],\mathrm{ode}\left[1\right]\right)$
 ${0}$ (4)

To verify that ode[1] does not admit point symmetries, construct the determining system and solve it

 > $\mathrm{PDEtools}:-\mathrm{declare}\left(\left(\mathrm{xi},\mathrm{eta}\right)\left(x,y\right)\right)$
 ${\mathrm{xi}}{}\left({x}{,}{y}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\xi }}$
 ${\mathrm{eta}}{}\left({x}{,}{y}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\eta }}$ (5)
 >
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right){}{\left({{x}}^{{4}}{+}{y}\right)}^{{2}}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{η}}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right){}{\left({{x}}^{{4}}{+}{y}\right)}^{{2}}{-}{2}{}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right){}{\left({{x}}^{{4}}{+}{y}\right)}^{{2}}{+}{2}{}\left({{x}}^{{4}}{+}{y}\right){}\left({{x}}^{{4}}{-}{4}{}{{x}}^{{3}}{+}{y}\right){}{\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{y}\right){,}{-}{4}{}\left({{x}}^{{4}}{-}{4}{}{{x}}^{{3}}{+}{y}\right){}{\mathrm{ξ}}{}\left({x}{,}{y}\right){}{{x}}^{{3}}{+}{2}{}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{η}}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right){}{\left({{x}}^{{4}}{+}{y}\right)}^{{2}}{-}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right){}{\left({{x}}^{{4}}{+}{y}\right)}^{{2}}{+}\left({{x}}^{{4}}{+}{y}\right){}\left({{x}}^{{4}}{-}{4}{}{{x}}^{{3}}{+}{y}\right){}{\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{x}\right){+}\left({{x}}^{{4}}{+}{y}\right){}\left({4}{}{{x}}^{{3}}{-}{12}{}{{x}}^{{2}}\right){}{\mathrm{ξ}}{}\left({x}{,}{y}\right){+}{\mathrm{η}}{}\left({x}{,}{y}\right){}\left({{x}}^{{4}}{+}{y}\right){-}{\mathrm{η}}{}\left({x}{,}{y}\right){}\left({{x}}^{{4}}{-}{4}{}{{x}}^{{3}}{+}{y}\right){,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{η}}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right){}{\left({{x}}^{{4}}{+}{y}\right)}^{{2}}{+}\left({{x}}^{{4}}{+}{y}\right){}\left({{x}}^{{4}}{-}{4}{}{{x}}^{{3}}{+}{y}\right){}{\mathrm{diff}}{}\left({\mathrm{η}}{}\left({x}{,}{y}\right){,}{x}\right)$ (6)

In this easy case, it suffices to run a differential elimination round (see PDEtools:-casesplit) to verify, without actually solving the PDE system (6), that in only admits trivial solutions, i.e. no point symmetries

 > $\mathrm{PDEtools}:-\mathrm{casesplit}\left(\left[\right]\right)$
 ${\mathrm{casesplit/ans}}{}\left(\left[{\mathrm{ξ}}{}\left({x}{,}{y}\right){=}{0}{,}{\mathrm{η}}{}\left({x}{,}{y}\right){=}{0}\right]{,}\left[{}\right]\right)$ (7)

A representative of Non Point Symmetries Class II

 >
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right){,}{x}\right){=}\frac{\left({-}{x}{+}{2}\right){}{\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right)}^{{2}}{+}\left({{x}}^{{2}}{-}{x}{-}{y}{}\left({x}\right)\right){}\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right){+}{y}{}\left({x}\right){}\left({x}{+}{1}\right)}{{{x}}^{{2}}{+}{y}{}\left({x}\right)}$ (8)
 >
 ${y}{}\left({x}\right){=}\left({\mathrm{Int}}{}\left({-}\frac{{\mathrm{_C1}}{}{x}{}{\mathrm{exp}}{}\left({\mathrm{Int}}{}\left(\frac{{\mathrm{exp}}{}\left({-}{x}\right)}{{\mathrm{exp}}{}\left({-}{x}\right){}{x}{-}{\mathrm{_C1}}}{,}{x}\right)\right)}{{\mathrm{exp}}{}\left({-}{x}\right){}{x}{-}{\mathrm{_C1}}}{,}{x}\right){+}{\mathrm{_C2}}\right){}{\mathrm{exp}}{}\left({\mathrm{Int}}{}\left({-}\frac{{\mathrm{exp}}{}\left({-}{x}\right)}{{\mathrm{exp}}{}\left({-}{x}\right){}{x}{-}{\mathrm{_C1}}}{,}{x}\right)\right)$ (9)
 > $\mathrm{odetest}\left(\mathrm{sol}\left[2\right],\mathrm{ode}\left[2\right]\right)$
 ${0}$ (10)

Representatives of the other classes

 >
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right){,}{x}\right){=}\frac{\left({2}{}{x}{}{y}{}\left({x}\right){+}{2}\right){}{\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right)}^{{2}}{+}\left({{y}{}\left({x}\right)}^{{2}}{-}{y}{}\left({x}\right)\right){}\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right){-}{{y}{}\left({x}\right)}^{{3}}{}\left({x}{+}{1}\right)}{{y}{}\left({x}\right){}\left({x}{}{y}{}\left({x}\right){+}{1}\right)}$ (11)
 >
 ${y}{}\left({x}\right){=}\frac{{\mathrm{exp}}{}\left({x}\right)}{{\mathrm{ln}}{}\left({-}\frac{{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}}{{\mathrm{_C1}}}\right){}{\mathrm{exp}}{}\left({x}\right){}{x}{-}{\mathrm{_C1}}{}{\mathrm{ln}}{}\left({-}\frac{{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}}{{\mathrm{_C1}}}\right){}{x}{+}{\mathrm{dilog}}{}\left({-}\frac{{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}}{{\mathrm{_C1}}}\right){}{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{dilog}}{}\left({-}\frac{{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}}{{\mathrm{_C1}}}\right){}{\mathrm{_C1}}{+}{\mathrm{ln}}{}\left({\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}\right){}{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{ln}}{}\left({\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}\right){}{\mathrm{_C1}}{+}{\mathrm{exp}}{}\left({x}\right){}{\mathrm{_C2}}{-}{\mathrm{exp}}{}\left({x}\right){}{x}{-}{\mathrm{_C2}}{}{\mathrm{_C1}}}$ (12)
 > $\mathrm{odetest}\left(\mathrm{sol}\left[3\right],\mathrm{ode}\left[3\right]\right)$
 ${0}$ (13)
 >
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right){,}{x}\right){=}\frac{\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right){-}{1}\right){}\left({y}{}\left({x}\right){+}{\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right){}\left({x}{+}{1}\right)}{{x}{}{y}{}\left({x}\right){+}{1}}$ (14)
 >
 ${y}{}\left({x}\right){=}\left({\mathrm{Int}}{}\left({-}\frac{{\mathrm{_C1}}{}{\mathrm{exp}}{}\left({\mathrm{dilog}}{}\left({-}\frac{{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}}{{\mathrm{_C1}}}\right)\right){}{\left({-}\frac{{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}}{{\mathrm{_C1}}}\right)}^{{x}}}{{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}}{,}{x}\right){+}{\mathrm{_C2}}\right){}{\mathrm{exp}}{}\left({-}{\mathrm{dilog}}{}\left({-}\frac{{\mathrm{exp}}{}\left({x}\right){-}{\mathrm{_C1}}}{{\mathrm{_C1}}}\right)\right){}{\left(\frac{{-}{\mathrm{exp}}{}\left({x}\right){+}{\mathrm{_C1}}}{{\mathrm{_C1}}}\right)}^{{-}{x}}$ (15)
 > $\mathrm{odetest}\left(\mathrm{sol}\left[4\right],\mathrm{ode}\left[4\right]\right)$
 ${0}$ (16)

New DifferentialThomas package for performing differential elimination

Previous Maple versions already include differential eliminations package, state-of-the-art, as DEtools[rifsimp] and DifferentialAlgebra, that use different methods to perform differential elimination, a key process towards decoupling a system of differential equations.

Maple 2018 adds a third elimination package, DifferentialThomas, which uses yet another method, in this way succeeding in triangularizing some nonlinear DE systems that cannot be handled in practical time by the previous two existing packages. Also, both DEtools[rifsimp] and DifferentialThomas when used through the PDEtools:-casesplit command admit a case time limit option. Combining different methods with a case-time-limit option is extremely useful in that branches of the splitting of nonlinear systems that cannot be handled in practical time by one package frequently can now be reconstructed and handled by the other one.

In addition, the new DifferentialThomas returns a disjoint decomposition of the given system, that is a decomposition where the solution of each case has no intersection with the solutions of the other cases (are not particular cases of the other other cases returned, as it may happen with the decompositions returned by DEtools[rifsimp] and DifferentialAlgebra)

Examples

 > $\mathrm{with}\left(\mathrm{DifferentialThomas}\right);$
 $\left[{\mathrm{ComplementOfDecomposition}}{,}{\mathrm{Display}}{,}{\mathrm{Equations}}{,}{\mathrm{Inequations}}{,}{\mathrm{IntersectDecompositions}}{,}{\mathrm{LinearCombination}}{,}{\mathrm{NormalForm}}{,}{\mathrm{PowerSeriesSolution}}{,}{\mathrm{Ranking}}{,}{\mathrm{ReducedForm}}{,}{\mathrm{ThomasDecomposition}}{,}{\mathrm{Tools}}\right]$ (17)
 >
 ${\mathrm{ODE}}{≔}{\left({2}{}{y}{}\left({x}\right){}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}\right)}^{{3}}{+}{32}{}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}{\left({x}{}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}$ (18)

This is one of Kamke's book 2nd order nonlinear examples, and is now decomposed into five disjoint cases - the general and four singular cases. This problem cannot be decomposed with DEtools[rifsimp] or DifferentialAlgebra

When calling PDEtools:-casesplit, to indicate the use of the DifferentialThomas package, pass the package's name as additional argument (the same holds for RIF and DifferentialAlgebra)

 > $\mathrm{PDEtools}:-\mathrm{casesplit}\left(\mathrm{ODE},\mathrm{DifferentialThomas}\right)$
 $\left[{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{4}}{=}\frac{{-}{8}{}{{y}{}\left({x}\right)}^{{3}}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}{+}{12}{}{{y}{}\left({x}\right)}^{{2}}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{-}{6}{}{y}{}\left({x}\right){}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{4}}{+}{96}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}{{x}}^{{2}}{+}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{6}}{-}{96}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{}{x}{+}{32}{}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}}{{32}{}{{x}}^{{3}}}\right]\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{&where}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\left[{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}{,}{-}{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}{,}{x}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{2}{}{y}{}\left({x}\right){\ne }{0}{,}\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){\ne }{0}{,}{512}{}{{x}}^{{3}}{}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}{-}{768}{}{{x}}^{{2}}{}{y}{}\left({x}\right){}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{+}{27}{}{{y}{}\left({x}\right)}^{{4}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{48}{}{x}{}{{y}{}\left({x}\right)}^{{2}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){+}{1728}{}{{x}}^{{2}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{64}{}{{y}{}\left({x}\right)}^{{3}}{\ne }{0}\right]{,}\left[{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}{=}\frac{{768}{}{{x}}^{{2}}{}{y}{}\left({x}\right){}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{-}{27}{}{{y}{}\left({x}\right)}^{{4}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){+}{48}{}{x}{}{{y}{}\left({x}\right)}^{{2}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{1728}{}{{x}}^{{2}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){+}{64}{}{{y}{}\left({x}\right)}^{{3}}}{{512}{}{{x}}^{{3}}}\right]\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{&where}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\left[{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}{,}{-}{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}\right]{,}\left[\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){=}\frac{{2}{}{y}{}\left({x}\right)}{{x}}\right]\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{&where}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\left[{y}{}\left({x}\right){\ne }{0}{,}{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}\right]{,}\left[\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){=}{0}\right]\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{&where}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\left[{y}{}\left({x}\right){\ne }{0}\right]{,}\left[{{y}{}\left({x}\right)}^{{2}}{=}{8}{}{x}\right]\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{&where}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\left[\right]$ (19)
 > $\mathrm{nops}\left(\left[\right]\right)$
 ${5}$ (20)

One can also call directly the package commands with a list of differential equations as first argument and the ranking set by the package's Ranking command

 >
 $\left[{\mathrm{DifferentialSystem}}{,}{\mathrm{DifferentialSystem}}{,}{\mathrm{DifferentialSystem}}{,}{\mathrm{DifferentialSystem}}{,}{\mathrm{DifferentialSystem}}\right]$ (21)
 >
 $\left[{32}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{4}}{}{{x}}^{{3}}{+}{8}{}{{y}{}\left({x}\right)}^{{3}}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}{-}{12}{}{{y}{}\left({x}\right)}^{{2}}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{+}{6}{}{y}{}\left({x}\right){}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{4}}{-}{96}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}{{x}}^{{2}}{-}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{6}}{+}{96}{}{\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{}{x}{-}{32}{}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}{=}{0}{,}{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}{,}{-}{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}{,}{x}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{2}{}{y}{}\left({x}\right){\ne }{0}{,}\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){\ne }{0}{,}{y}{}\left({x}\right){\ne }{0}{,}{512}{}{{x}}^{{3}}{}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}{-}{768}{}{{x}}^{{2}}{}{y}{}\left({x}\right){}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{+}{27}{}{{y}{}\left({x}\right)}^{{4}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{48}{}{x}{}{{y}{}\left({x}\right)}^{{2}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){+}{1728}{}{{x}}^{{2}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{64}{}{{y}{}\left({x}\right)}^{{3}}{\ne }{0}\right]$
 $\left[{512}{}{{x}}^{{3}}{}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{3}}{-}{768}{}{{x}}^{{2}}{}{y}{}\left({x}\right){}{\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right)}^{{2}}{+}{27}{}{{y}{}\left({x}\right)}^{{4}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{48}{}{x}{}{{y}{}\left({x}\right)}^{{2}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){+}{1728}{}{{x}}^{{2}}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{64}{}{{y}{}\left({x}\right)}^{{3}}{=}{0}{,}{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}{,}{-}{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}\right]$
 $\left[{x}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right)\right){-}{2}{}{y}{}\left({x}\right){=}{0}{,}{y}{}\left({x}\right){\ne }{0}{,}{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{\ne }{0}\right]$
 $\left[\frac{{ⅆ}}{{ⅆ}{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({x}\right){=}{0}{,}{y}{}\left({x}\right){\ne }{0}\right]$
 $\left[{-}{{y}{}\left({x}\right)}^{{2}}{+}{8}{}{x}{=}{0}\right]$ (22)
 >