RosenfeldGroebner - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

DifferentialAlgebra

 RosenfeldGroebner
 the RosenfeldGroebner function

 Calling Sequence RosenfeldGroebner(sys, R, opts)

Parameters

 sys - a list or a set of differential equations or inequations; all rational in the independent and dependent variables and their derivatives R - a differential polynomial ring built by DifferentialRing specifying the independent and dependent variables and a ranking (ordering) for them additionally - (optional) used together with arbitrary and relations to add to the arbitrary of the differential ring arbitrary - (optional) a function or a name, or a list of them, specifying arbitrary objects, that either override those specified in the differential ring R or add to them when additionally is given assumeisprime - (optional) used when sys is a regular differential chain and proceeds changing rankings regardless of whether sys is prime or not attributes - (optional) to specify the attributes expected for the differential chains (cases) returned discardlowerdimension - (optional) to discard inexistent cases based on their (differential) dimension notation - (optional) to request the output to be in any of jet, tjet, diff or Diff notations relations - (optional) to specify relations that are satisfied by the arbitrary objects singsol - (optional) can be all (default), none or essential, to request the computation of all, none or only the essential singular cases

Options

 • additionally is used together with arbitrary, to add variables to the list declared as arbitrary when creating the differential ring using DifferentialRing
 • arbitrary = ...  a function or a name, or a list of them, specifying arbitrary objects. This option permits to run a computation with different arbitrary objects than those specified in the differential ring R passed to RosenfeldGroebner, or to add arbitrary objects to those in R when additionally is passed together.
 • assumeisprime used when changing the ranking of a regular differential chain, this option tells RosenfeldGroebner to proceed disregarding whether the received differential chain is or not prime.
 • attributes = L where L is a list involving some of the keywords differential, prime, primitive, squarefree, coherent, autoreduced, normalized. This option permits to modify the behavior of the function (e.g. if differential is omitted, the decomposition is purely algebraic ; if normalized is omitted, the returned regular differential chains do not need to be normalized). The presence of some of the attributes may imply, automatically, the presence of some other ones. For more details, see the Glossary.
 • discardlowerdimension = nocase, safecase, odecase, pdecase. This option controls the splittings performed by RosenfeldGroebner by discarding any component whose dimension (differential dimension in the differential case) is lower than the number of input equations simplified with respect to their integrability conditions.
 – nocase disables this option.
 – safecase is the default value. The option is only activated in the non-differential case and in the case of a single input equation. These two cases are theoretically proven.
 – odecase applies also the option to general ODE systems. The option implements a conjecture in this case [R50, Questions for investigation, 10].
 – pdecase applies also the option to general PDE systems. The option implements a conjecture in this case.
 • notation = jet, tjet, diff or Diff. Specifies the notation used for the result of the function call. If not specified, the notation of the input is used.
 • memout = nonnegative. Specifies a memory limit, in MB, for the computation. Default is zero (no memory out).
 • relations = ... where the right-hand-side is a set of equations satisfied by the arbitrary objects of the differential ring R or passed with the option arbitrary. Note that all the functions and names (symbolic variables) involved in these relations will automatically be taken as arbitrary, even if they were not declared as such in the differential ring R. Also, all the dependent variables of the differential ring R that are ranked lower than the objects found in the given relations, or within a same orderly sublist of the ranking, are also considered arbitrary.
 • singsol = all, essential, none. This option controls the splittings performed by RosenfeldGroebner.
 – all is the default value.
 – essential ensures that the returned decomposition is irredundant whenever this is possible, i.e., whenever sys is made of only one equation.
 – none makes RosenfeldGroebner return at most one regular differential chain. The returned chain is the first one that would have been computed without setting this option. In many cases, this first regular differential chain could be considered as the general component, though this notion is not algebraically well-defined in general.

Description

 • Given a system of equations sys, containing equations (of the form algebraic or algebraic = algebraic) and inequations (of the form algebraic <> 0), RosenfeldGroebner(sys, R) splits the given system sys into cases, each one specified by their Equations and Inequations. One and only one of these cases is the general case, and the rest are singular cases that may exist only when sys is nonlinear. In each of the cases returned, there is no one equation that is the consequence of the other equations and all the integrability conditions are taken into account. The relation between the system sys and the systems of each of theses cases is the solutions, general and singular, of sys are given by the union of the general solutions of each of the returned systems. NOTE: the number of cases returned and the equations and inequations that appear in these cases depend on how the dependent and independent variables are ranked inside R.
 • More technically, RosenfeldGroebner(sys, R) returns a representation of the radical of the differential ideal generated by sys, as an intersection of radical differential ideals saturated by the multiplicative family generated by the inequations found in sys. This representation consists of a list of regular differential chains with respect to the ranking of R.
 • The system sys may involve rational differential fractions, that is the ratio between differential polynomials. In that case, the denominators of these rational fractions are automatically considered inequations.
 • The second argument, R representing a differential ring, is constructed using DifferentialRing, and specifies the dependent and independent variables and a ranking for them.
 • The differential polynomials in sys are expected to have coefficients in the field $Q$(${x}_{1}$, ..., ${x}_{p}$), obtained by adjoining the independent variables to the field of the rational numbers. Arbitrary symbolic variables and functions can also be part of the coefficient field, for that purpose you can use the option arbitrary = ... when declaring the differential ring or pass this option directly to RosenfeldGroebner.
 REMARK: By default, all symbolic variables and functions that were not stated as dependent variables when defining the differential ring are automatically considered arbitrary (equivalent to have indicated them as arbitrary to DifferentialRing). When that happens a related warning message is displayed on the screen.
 • The regular differential chains in the output of RosenfeldGroebner are assumed to hold the attributes: differential, autoreduced, primitive, squarefree, normalized and coherent. For more details on attributes, see the Glossary.
 • The returned list may also be empty. In that case sys has no solutions and so the radical of the differential ideal generated by sys is the unit ideal, see [R50, chapter II, Theorem of zeros]. Also, if sys is empty, the returned representation involves a single regular differential chain also empty, which describes the zero ideal.

Recomputing ideals changing the ranking

 • RosenfeldGroebner can also receive as first argument a prime regular differential chain - say regchain - computed with some ranking, by RosenfeldGroebner or by PretendRegularDifferentialChain, plus an indication of the form blocks = ..., derivations = ... that specifies a new ranking for either or both the dependent (blocks) and independent (derivations) variables, and it recomputes regchain with respect to the new ranking. The returned differential chain defines the same prime differential ideal as regchain and holds the same attributes as regchain. To specify the new ranking for the dependent and/or independent variables you can also directly pass, anywhere after the first argument, a differential ring computed with DifferentialRing. In all cases the new ranking must involve the same dependent and independent variables of the old ranking with which regchain got computed.
 • NOTE: The method used only applies to prime differential ideals. To know whether a regular differential chain is or not prime use the Is command, as in Is(prime, regchain). If regchain passed to RosenfeldGroebner is not prime, you can nevertheless request RosenfeldGroebner to proceed assuming that regchain is prime by passing the optional argument assumeisprime, but the resulting differential ideal is not guaranteed to represent the same ideal as regchain.

Examples

Main usage

 > $\mathrm{with}\left(\mathrm{DifferentialAlgebra}\right)$
 $\left[{\mathrm{BelongsTo}}{,}{\mathrm{DifferentialRing}}{,}{\mathrm{Equations}}{,}{\mathrm{Get}}{,}{\mathrm{Inequations}}{,}{\mathrm{Is}}{,}{\mathrm{NormalForm}}{,}{\mathrm{PowerSeriesSolution}}{,}{\mathrm{ReducedForm}}{,}{\mathrm{RosenfeldGroebner}}{,}{\mathrm{Tools}}\right]$ (1)
 • NOTE: Prior to any computations with the DifferentialAlgebra package, the appropriate differential indeterminates (dependent variables) and derivation variables (independent variables) with the ranking for them must be defined with the command DifferentialRing as shown in the following examples.

Removing consequences and simplifying taking into account the integrability conditions

 When tackling a system of equations with RosenfeldGroebner, in each of the cases returned, there is no one equation that is the consequence of the other equations of the case and all the integrability conditions are taken into account. If during this simplification process the system proves to be inconsistent (say arriving at $1=0$) an empty list is returned meaning the system has no solution. To illustrate this consider the following equations
 > $\mathrm{p1}≔\frac{\partial }{\partial y}v\left(x,y\right)+u\left(x,y\right)$
 ${\mathrm{p1}}{≔}\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{v}{}\left({x}{,}{y}\right){+}{u}{}\left({x}{,}{y}\right)$ (2)
 > $\mathrm{p2}≔\frac{\partial }{\partial x}u\left(x,y\right)-\left(\frac{\partial }{\partial y}u\left(x,y\right)\right)$
 ${\mathrm{p2}}{≔}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right){-}\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)$ (3)
 Indicate the dependent and independent variables and an ordering (ranking) for them. Because the purpose in this example is to only remove consequences and take into account integrability conditions, use an orderly ranking, that could be $\left[\left[u,v\right]\right]$ or $\left[\left[v,u\right]\right]$ (see DifferentialRing)
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{blocks}=\left[\left[u,v\right]\right],\mathrm{derivations}=\left[x,y\right]\right)$
 ${R}{≔}{\mathrm{differential_ring}}$ (4)
 Consider now the system constructed with $\mathrm{p1}$ and $\mathrm{p2}$ in this way:
 > $\mathrm{sys}≔\mathrm{expand}\left(\left[\mathrm{p1}=0,\mathrm{p2}=0,\frac{\partial }{\partial x}\left(\mathrm{p1}\mathrm{p2}\right)=0,\frac{\partial }{\partial y}\mathrm{p2}=0\right]\right)$
 ${\mathrm{sys}}{≔}\left[\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{v}{}\left({x}{,}{y}\right){+}{u}{}\left({x}{,}{y}\right){=}{0}{,}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right){-}\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right){=}{0}{,}\left(\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{v}{}\left({x}{,}{y}\right)\right){}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){-}\left(\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{v}{}\left({x}{,}{y}\right)\right){}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){+}{\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right)}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){+}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{v}{}\left({x}{,}{y}\right)\right){}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){-}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{v}{}\left({x}{,}{y}\right)\right){}\left(\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){+}{u}{}\left({x}{,}{y}\right){}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){-}{u}{}\left({x}{,}{y}\right){}\left(\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){=}{0}{,}\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right){-}\frac{{{\partial }}^{{2}}}{{\partial }{{y}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right){=}{0}\right]$ (5)
 By construction, we know that the third and fourth equations, diff(p1*p2, x) = 0 and diff(p2, y) = 0, bring no additional information. They are consequences of $\mathrm{p1}=0,\mathrm{p2}=0$ and so they are simplified away in the system returned
 > $\mathrm{simplified_sys}≔\mathrm{RosenfeldGroebner}\left(\mathrm{sys},R\right)$
 ${\mathrm{simplified_sys}}{≔}\left[{\mathrm{regular_differential_chain}}\right]$ (6)
 > $\mathrm{Equations}\left(\mathrm{simplified_sys}\right)$
 $\left[\left[\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right){-}\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right){,}\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{v}{}\left({x}{,}{y}\right){+}{u}{}\left({x}{,}{y}\right)\right]\right]$ (7)
 Detection of inconsistencies in a differential system
 Add now a third equation
 > $\mathrm{p3}≔\frac{\partial }{\partial x}v\left(x,y\right)+u\left(x,y\right)-y$
 ${\mathrm{p3}}{≔}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{v}{}\left({x}{,}{y}\right){+}{u}{}\left({x}{,}{y}\right){-}{y}$ (8)
 What RosenfeldGroebner tells us about the system {p1, p2, p3}
 > $\mathrm{RosenfeldGroebner}\left(\left\{\mathrm{p1},\mathrm{p2},\mathrm{p3}\right\},R\right)$
 $\left[\right]$ (9)
 This result indicates that the system bears a contradiction; $\mathrm{p1}$, $\mathrm{p2}$, and $\mathrm{p3}$ have no common solution. In this case it is possible to visually detect the contradiction:
 > $\frac{ⅆ}{ⅆx}\left(\mathrm{p1}=0\right)-\left(\frac{ⅆ}{ⅆy}\left(\mathrm{p3}=0\right)\right)-\left(\mathrm{p2}=0\right)$
 ${1}{=}{0}$ (10)
 The three equations cannot be satisfied simultaneously. The system is inconsistent; it has no solution.

Solving ordinary differential systems: Elimination ranking

 To perform a chain resolution of a system of ordinary differential equations, use an elimination ranking. Consider the differential system defined by the following set $S$ of differential polynomials in the unknown functions $x\left(t\right),y\left(t\right),z\left(t\right)$.
 > $S≔\left[\frac{ⅆ}{ⅆt}x\left(t\right)-x\left(t\right)\left(x\left(t\right)+y\left(t\right)\right),\frac{ⅆ}{ⅆt}y\left(t\right)+y\left(t\right)\left(x\left(t\right)+y\left(t\right)\right),{\left(\frac{ⅆ}{ⅆt}x\left(t\right)\right)}^{2}+{\left(\frac{ⅆ}{ⅆt}y\left(t\right)\right)}^{2}+{\left(\frac{ⅆ}{ⅆt}z\left(t\right)\right)}^{2}-1\right]$
 ${S}{≔}\left[\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({t}\right){-}{x}{}\left({t}\right){}\left({x}{}\left({t}\right){+}{y}{}\left({t}\right)\right){,}\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({t}\right){+}{y}{}\left({t}\right){}\left({x}{}\left({t}\right){+}{y}{}\left({t}\right)\right){,}{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({t}\right)\right)}^{{2}}{+}{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({t}\right)\right)}^{{2}}{+}{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{z}{}\left({t}\right)\right)}^{{2}}{-}{1}\right]$ (11)
 Using an elimination ranking where $z\left(t\right)>y\left(t\right)>x\left(t\right)$, you obtain differential chains containing an equation in $x\left(t\right)$ alone, an equation determining $y\left(t\right)$ in terms of $x\left(t\right)$, and finally an equation determining $z\left(t\right)$ in terms of $y\left(t\right)$ and $x\left(t\right)$. Such an elimination ranking is represented by $\left[z,y,x\right]$
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{blocks}=\left[z,y,x\right],\mathrm{derivations}=\left[t\right]\right):$
 > $G≔\mathrm{RosenfeldGroebner}\left(S,R\right)$
 ${G}{≔}\left[{\mathrm{regular_differential_chain}}{,}{\mathrm{regular_differential_chain}}\right]$ (12)
 In the result above we see two cases. The equations of the first case satisfying this elimination ranking mentioned are
 > $\mathrm{Equations}\left({G}_{1},\mathrm{solved}\right)$
 $\left[{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{z}{}\left({t}\right)\right)}^{{2}}{=}{-}\frac{{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({t}\right)\right)}^{{4}}{-}{2}{}{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({t}\right)\right)}^{{3}}{}{{x}{}\left({t}\right)}^{{2}}{+}{2}{}{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({t}\right)\right)}^{{2}}{}{{x}{}\left({t}\right)}^{{4}}{-}{{x}{}\left({t}\right)}^{{4}}}{{{x}{}\left({t}\right)}^{{4}}}{,}{y}{}\left({t}\right){=}{-}\frac{{-}\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({t}\right){+}{{x}{}\left({t}\right)}^{{2}}}{{x}{}\left({t}\right)}{,}\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{t}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({t}\right){=}{2}{}\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({t}\right)\right){}{x}{}\left({t}\right)\right]$ (13)
 The equations of the second case also satisfying the elimination ranking proposed are
 > $\mathrm{Equations}\left({G}_{2},\mathrm{solved}\right)$
 $\left[{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{z}{}\left({t}\right)\right)}^{{2}}{=}{-}{{y}{}\left({t}\right)}^{{4}}{+}{1}{,}\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({t}\right){=}{-}{{y}{}\left({t}\right)}^{{2}}{,}{x}{}\left({t}\right){=}{0}\right]$ (14)

Constrained systems: Orderly and mixed rankings

 Consider the set of equations describing the motion of a pendulum, that is, a point mass $m$ suspended from a massless rod of length $l$ under the influence of gravity $g$, in Cartesian coordinates $x,y$. The Lagrangian formulation leads to two second order differential equations with an algebraic constraint. $T$ is the Lagrangian multiplier.
 > $P≔\left[m\left(\frac{{ⅆ}^{2}}{ⅆ{t}^{2}}y\left(t\right)\right)+T\left(t\right)y\left(t\right)+g,m\left(\frac{{ⅆ}^{2}}{ⅆ{t}^{2}}x\left(t\right)\right)+T\left(t\right)x\left(t\right),{x\left(t\right)}^{2}+{y\left(t\right)}^{2}-{l}^{2}\right]$
 ${P}{≔}\left[{m}{}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{t}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({t}\right)\right){+}{T}{}\left({t}\right){}{y}{}\left({t}\right){+}{g}{,}{m}{}\left(\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{t}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{x}{}\left({t}\right)\right){+}{T}{}\left({t}\right){}{x}{}\left({t}\right){,}{{x}{}\left({t}\right)}^{{2}}{+}{{y}{}\left({t}\right)}^{{2}}{-}{{l}}^{{2}}\right]$ (15)
 Orderly Ranking
 • To find the lowest order equations vanishing on the zeros of the system modeling the pendulum and in particular all the algebraic constraints (that is, the equations of order $0$), use an orderly ranking $\left[\left[T,x,y\right]\right]$
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{blocks}=\left[\left[T,x,y\right]\right],\mathrm{derivations}=\left[t\right],\mathrm{arbitrary}=\left[m,l,g\right]\right):$
 > $G≔\mathrm{RosenfeldGroebner}\left(P,R\right)$
 ${G}{≔}\left[{\mathrm{regular_differential_chain}}{,}{\mathrm{regular_differential_chain}}\right]$ (16)
 > $\mathrm{Equations}\left({G}_{1},\mathrm{solved}\right)$
 $\left[\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{T}{}\left({t}\right){=}{-}\frac{{3}{}\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({t}\right)\right){}{g}}{{{l}}^{{2}}}{,}{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({t}\right)\right)}^{{2}}{=}{-}\frac{{T}{}\left({t}\right){}{{y}{}\left({t}\right)}^{{2}}{}{{l}}^{{2}}{-}{T}{}\left({t}\right){}{{l}}^{{4}}{+}{{y}{}\left({t}\right)}^{{3}}{}{g}{-}{y}{}\left({t}\right){}{{l}}^{{2}}{}{g}}{{m}{}{{l}}^{{2}}}{,}{{x}{}\left({t}\right)}^{{2}}{=}{-}{{y}{}\left({t}\right)}^{{2}}{+}{{l}}^{{2}}\right]$ (17)
 > $\mathrm{Equations}\left({G}_{2},\mathrm{solved}\right)$
 $\left[{T}{}\left({t}\right){=}{-}\frac{{y}{}\left({t}\right){}{g}}{{{l}}^{{2}}}{,}{x}{}\left({t}\right){=}{0}{,}{{y}{}\left({t}\right)}^{{2}}{=}{{l}}^{{2}}\right]$ (18)
 The second component in the output of RosenfeldGroebner corresponds to the equilibria of the pendulum. From the first component of the output, it can be seen that the actual motion is described by two first order differential equations with a constraint: the solution depends on only two arbitrary constants.
 Mixed Ranking
 To obtain the differential system satisfied by $x$ and $y$ alone, eliminate $T$ with regards to $x,y$, so this ranking is $\left[T,\left[x,y\right]\right]$
 > $\mathrm{RM}≔\mathrm{DifferentialRing}\left(R,\mathrm{blocks}=\left[T,\left[x,y\right]\right]\right)$
 ${\mathrm{RM}}{≔}{\mathrm{differential_ring}}$ (19)
 > $\mathrm{GM}≔\mathrm{RosenfeldGroebner}\left(P,\mathrm{RM}\right)$
 ${\mathrm{GM}}{≔}\left[{\mathrm{regular_differential_chain}}{,}{\mathrm{regular_differential_chain}}\right]$ (20)
 > $\mathrm{Equations}\left({\mathrm{GM}}_{1},\mathrm{solved}\right)$
 $\left[{T}{}\left({t}\right){=}{-}\frac{{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({t}\right)\right)}^{{2}}{}{m}{}{{l}}^{{2}}{+}{{y}{}\left({t}\right)}^{{3}}{}{g}{-}{y}{}\left({t}\right){}{{l}}^{{2}}{}{g}}{{{y}{}\left({t}\right)}^{{2}}{}{{l}}^{{2}}{-}{{l}}^{{4}}}{,}\frac{{{ⅆ}}^{{2}}}{{ⅆ}{{t}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({t}\right){=}{-}\frac{{-}{\left(\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{y}{}\left({t}\right)\right)}^{{2}}{}{y}{}\left({t}\right){}{m}{}{{l}}^{{2}}{-}{{y}{}\left({t}\right)}^{{4}}{}{g}{+}{2}{}{{y}{}\left({t}\right)}^{{2}}{}{{l}}^{{2}}{}{g}{-}{{l}}^{{4}}{}{g}}{{{y}{}\left({t}\right)}^{{2}}{}{m}{}{{l}}^{{2}}{-}{m}{}{{l}}^{{4}}}{,}{{x}{}\left({t}\right)}^{{2}}{=}{-}{{y}{}\left({t}\right)}^{{2}}{+}{{l}}^{{2}}\right]$ (21)
 > $\mathrm{Equations}\left({\mathrm{GM}}_{2},\mathrm{solved}\right)$
 $\left[{T}{}\left({t}\right){=}{-}\frac{{y}{}\left({t}\right){}{g}}{{{l}}^{{2}}}{,}{x}{}\left({t}\right){=}{0}{,}{{y}{}\left({t}\right)}^{{2}}{=}{{l}}^{{2}}\right]$ (22)
 Note here that the motion is given by a second order differential equation in $y\left(t\right)$. Then the Lagrange multiplier is given explicitly in terms of $y\left(t\right)$ and its first derivative.

Solving partial differential system: Lexicographic ranking

 To solve overdetermined systems of partial differential equations it is interesting to compute first the ordinary differential equations satisfied by the solutions of the system. For this purpose, a lexicographic ranking must be chosen. Consider the differential system $S$ defining the infinitesimal generators of the symmetry group of the Burgers equations.
 > $\mathrm{Burgers_pde}≔\frac{\partial }{\partial x}u\left(x,t\right)=\frac{{\partial }^{2}}{\partial {t}^{2}}u\left(x,t\right)-u\left(x,t\right)\left(\frac{\partial }{\partial t}u\left(x,t\right)\right)$
 ${\mathrm{Burgers_pde}}{≔}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{t}\right){=}\frac{{{\partial }}^{{2}}}{{\partial }{{t}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{t}\right){-}{u}{}\left({x}{,}{t}\right){}\left(\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{t}\right)\right)$ (23)
 > $\mathrm{BurgersSymmetry}≔\mathrm{PDEtools}:-\mathrm{DeterminingPDE}\left(\mathrm{Burgers_pde},u\left(x,t\right),\left[\mathrm{ξ},\mathrm{φ},\mathrm{η}\right]\left(x,t,u\right)\right)$
 ${\mathrm{BurgersSymmetry}}{≔}\left\{\frac{{{\partial }}^{{3}}}{{\partial }{{x}}^{{3}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right){=}{0}{,}\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}\right){=}\frac{\frac{{{\partial }}^{{2}}}{{\partial }{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right)}{{2}}{,}\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}\right){=}{-}\frac{\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right)}{{2}}{,}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}\right){=}{-}\frac{\left(\frac{{{\partial }}^{{2}}}{{\partial }{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right)\right){}{u}}{{2}}{,}\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\phi }}{}\left({x}{,}{t}{,}{u}\right){=}\frac{\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right)}{{2}}{,}\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\phi }}{}\left({x}{,}{t}{,}{u}\right){=}{0}{,}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\phi }}{}\left({x}{,}{t}{,}{u}\right){=}\frac{\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right)\right){}{u}}{{2}}{+}{\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}\right){,}\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right){=}{0}{,}\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right){=}{0}\right\}$ (24)
 Seek the ordinary differential equations with respect to $t$ satisfied by the solutions of this system enclosing the dependent variables (in this example, all of them) using lex
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{blocks}=\left[{\mathrm{lex}}_{\mathrm{η},\mathrm{φ},\mathrm{ξ}}\right],\mathrm{derivations}=\left[u,x,t\right]\right)$
 ${R}{≔}{\mathrm{differential_ring}}$ (25)
 > $G≔\mathrm{RosenfeldGroebner}\left(\mathrm{BurgersSymmetry},R\right)$
 ${G}{≔}\left[{\mathrm{regular_differential_chain}}\right]$ (26)
 > $\mathrm{Equations}\left({G}_{1},\mathrm{solved}\right)$
 $\left[\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}\right){=}{-}\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\phi }}{}\left({x}{,}{t}{,}{u}\right){,}\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\phi }}{}\left({x}{,}{t}{,}{u}\right){=}{0}{,}\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right){=}{0}{,}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}\right){=}{-}\left(\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}\right)\right){}{u}{,}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\phi }}{}\left({x}{,}{t}{,}{u}\right){=}\left(\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\phi }}{}\left({x}{,}{t}{,}{u}\right)\right){}{u}{+}{\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}\right){,}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right){=}{2}{}\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\phi }}{}\left({x}{,}{t}{,}{u}\right){,}\frac{{{\partial }}^{{2}}}{{\partial }{{t}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}\right){=}{0}{,}\frac{{{\partial }}^{{2}}}{{\partial }{{t}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\phi }}{}\left({x}{,}{t}{,}{u}\right){=}{0}{,}\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}\right){=}{0}\right]$ (27)
 There are three independent ordinary differential equations with respect to $t$ (the last three in the output above). All other ordinary equations in $t$ vanishing on the solutions of $\mathrm{BurgersSymm}$ can be written as linear combination of these three and their derivatives.

Computing singular solutions

 Consider the following Clairaut partial differential equation.
 > $u\left(x,y\right)=x\left(\frac{\partial }{\partial x}u\left(x,y\right)\right)+y\left(\frac{\partial }{\partial y}u\left(x,y\right)\right)+\left(\frac{\partial }{\partial x}u\left(x,y\right)\right)\left(\frac{\partial }{\partial y}u\left(x,y\right)\right)$
 ${u}{}\left({x}{,}{y}\right){=}{x}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){+}{y}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){+}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right){}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{u}{}\left({x}{,}{y}\right)\right)$ (28)
 Represent it by the equation $p$ with a more compact syntax, called jet notation.
 > $p≔-u+x{u}_{x}+y{u}_{y}+{u}_{x}{u}_{y}$
 ${p}{≔}{x}{}{{u}}_{{x}}{+}{y}{}{{u}}_{{y}}{+}{{u}}_{{x}}{}{{u}}_{{y}}{-}{u}$ (29)
 Before any manipulation of this equation, define a differential polynomial ring it belongs to:
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{blocks}=\left[u\right],\mathrm{derivations}=\left[x,y\right]\right)$
 ${R}{≔}{\mathrm{differential_ring}}$ (30)
 The Clairaut equation under consideration has a singular solution. This is shown in the output of RosenfeldGroebner by the existence of two cases: the general case (always exists unless the system is inconsistent) and an additional - therefore - singular case; each one represented by a regular_differential_chain
 > $\mathrm{Clairaut}≔\mathrm{RosenfeldGroebner}\left(p,R\right)$
 ${\mathrm{Clairaut}}{≔}\left[{\mathrm{regular_differential_chain}}{,}{\mathrm{regular_differential_chain}}\right]$ (31)
 The equations and inequations of each egular_differential_chain can be accessed using the Equations and Inequations commands. The general case is represented by the differential chain that involve some additional inequations while the second regular differential chain represents the singular case
 > $\mathrm{Equations}\left({\mathrm{Clairaut}}_{1}\right),\mathrm{Inequations}\left({\mathrm{Clairaut}}_{1}\right)$
 $\left[{x}{}{{u}}_{{x}}{+}{y}{}{{u}}_{{y}}{+}{{u}}_{{x}}{}{{u}}_{{y}}{-}{u}\right]{,}\left[{{u}}_{{y}}{+}{x}\right]$ (32)
 > $\mathrm{Equations}\left({\mathrm{Clairaut}}_{2}\right),\mathrm{Inequations}\left({\mathrm{Clairaut}}_{2}\right)$
 $\left[{x}{}{y}{+}{u}\right]{,}\left[\right]$ (33)
 Analysis of singular solutions
 All singular cases are present in the output of RosenfeldGroebner while only the essential singular zeros are present when the option singsol = essential is used. For first order differential equations:
 – The essential singular solutions are envelopes of the nonsingular (general) solutions; that is: they are not particular cases of the general solution.
 – The other singular solutions are particular cases of the general solution.
 • Illustrate this analysis on the equation $\mathrm{Wp}$(cf. WeierstrassP):
 > $\mathrm{Wp}≔{\left(\frac{ⅆ}{ⅆz}w\left(z\right)\right)}^{2}-4{w\left(z\right)}^{3}+\mathrm{g2}w\left(z\right)+\mathrm{g3}$
 ${\mathrm{Wp}}{≔}{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}{+}{\mathrm{g2}}{}{w}{}\left({z}\right){+}{\mathrm{g3}}$ (34)
 • Case ${\mathrm{g2}}^{3}\ne 27{\mathrm{g3}}^{2}$ :
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{blocks}=\left[w\right],\mathrm{derivations}=\left[z\right],\mathrm{arbitrary}=\left[\mathrm{g2},\mathrm{g3}\right]\right)$
 ${R}{≔}{\mathrm{differential_ring}}$ (35)
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\left[\mathrm{Wp}\right],R\right)\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}{+}{\mathrm{g2}}{}{w}{}\left({z}\right){+}{\mathrm{g3}}\right]{,}\left[{4}{}{{w}{}\left({z}\right)}^{{3}}{-}{\mathrm{g2}}{}{w}{}\left({z}\right){-}{\mathrm{g3}}\right]\right]$ (36)
 There are three singular solutions: $w\left(z\right)=\mathrm{ri}$, where $\mathrm{ri}$ is one of the roots of $4{r}^{3}-\mathrm{g2}r-\mathrm{g3}$. There are all three essential singular solutions as we can see using the option singsol = essential
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wp},R,\mathrm{singsol}=\mathrm{essential}\right)\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}{+}{\mathrm{g2}}{}{w}{}\left({z}\right){+}{\mathrm{g3}}\right]{,}\left[{4}{}{{w}{}\left({z}\right)}^{{3}}{-}{\mathrm{g2}}{}{w}{}\left({z}\right){-}{\mathrm{g3}}\right]\right]$ (37)
 As such they are envelopes of the nonsingular (general) solution of $\mathrm{Wp}$. This can also be observed by plotting the real zeros for $\mathrm{g2}=4,\mathrm{g3}=-1$:
 > $\mathrm{singular_solutions}≔\left\{\mathrm{plot}\left(\left\{\mathrm{fsolve}\left(-4{r}^{3}+4r-1,r\right)\right\},z=-3..3,\mathrm{color}=\mathrm{red},\mathrm{thickness}=2\right)\right\}:$
 > $\mathrm{general_solution_sample_1}≔\left\{\mathrm{seq}\left({\mathrm{plots}}_{\mathrm{odeplot}}\left(\mathrm{dsolve}\left(\left\{\frac{{ⅆ}^{2}}{ⅆ{z}^{2}}w\left(z\right)-6{w\left(z\right)}^{2}+2,w\left(\mathrm{ic}\right)=-1,\mathrm{D}\left(w\right)\left(\mathrm{ic}\right)=-1.0\right\},w\left(z\right),\mathrm{type}=\mathrm{numeric}\right),-3..3,\mathrm{color}=\mathrm{green}\right),\mathrm{ic}=0..4\right)\right\}:$
 > $\mathrm{general_solution_sample_2}≔\left\{\mathrm{seq}\left({\mathrm{plots}}_{\mathrm{odeplot}}\left(\mathrm{dsolve}\left(\left\{\frac{{ⅆ}^{2}}{ⅆ{z}^{2}}w\left(z\right)-6{w\left(z\right)}^{2}+2,w\left(\mathrm{ic}\right)=2,\mathrm{D}\left(w\right)\left(\mathrm{ic}\right)=-5.0\right\},w\left(z\right),\mathrm{type}=\mathrm{numeric}\right),\mathrm{ic}-0.15..\mathrm{ic}+1.7,\mathrm{color}=\mathrm{blue}\right),\mathrm{ic}=-3..1\right)\right\}:$
 > ${\mathrm{plots}}_{\mathrm{display}}\left(\left(\mathrm{singular_solutions}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}∪\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{general_solution_sample_1}\right)\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}∪\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{general_solution_sample_2},\mathrm{title}="g2 = 4, g3 = - 1 red: singular solutions green and blue: samples of general solutions",\mathrm{view}=\left[-3..3,-\frac{3}{2}..3\right]\right)$
 • Case ${\mathrm{g2}}^{3}=27{\mathrm{g3}}^{2}$; parametrize the equation with $g$ as in
 > $\mathrm{Wps}≔\mathrm{subs}\left(\mathrm{g2}=3{g}^{2},\mathrm{g3}={g}^{3},\mathrm{Wp}\right)$
 ${\mathrm{Wps}}{≔}{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}{+}{3}{}{{g}}^{{2}}{}{w}{}\left({z}\right){+}{{g}}^{{3}}$ (38)
 > $\mathrm{Rs}≔\mathrm{DifferentialRing}\left(R,\mathrm{arbitrary}=g\right):$
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wps},\mathrm{Rs}\right)\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}{+}{3}{}{{g}}^{{2}}{}{w}{}\left({z}\right){+}{{g}}^{{3}}\right]{,}\left[{2}{}{w}{}\left({z}\right){+}{g}\right]{,}\left[{w}{}\left({z}\right){-}{g}\right]\right]$ (39)
 There are two singular solutions: $w\left(z\right)=g$ and $w\left(z\right)=-\frac{g}{2}$ from which only $w\left(z\right)=g$ is an essential singular solution of $\mathrm{Wps}$ as is shown using the option singsol = essential
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wps},\mathrm{Rs},\mathrm{singsol}=\mathrm{essential}\right)\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}{+}{3}{}{{g}}^{{2}}{}{w}{}\left({z}\right){+}{{g}}^{{3}}\right]{,}\left[{w}{}\left({z}\right){-}{g}\right]\right]$ (40)
 Therefore $w\left(z\right)=g$ is an envelope of the nonsingular, general solution of $\mathrm{Wps}$. On the contrary, the singular solution $w\left(z\right)=-\frac{g}{2}$ of $\mathrm{Wps}$ is not essential and therefore it is a limiting case of the general solution of $\mathrm{Wps}$. Observe the situation for $g=-1$:
 > $\mathrm{singular_solutions}≔\mathrm{plot}\left(\left\{-1,\frac{1}{2}\right\},\mathrm{color}=\mathrm{red},\mathrm{thickness}=2\right):$
 > $\mathrm{general_solution_sample_1}≔\mathrm{plot}\left(\left\{\mathrm{seq}\left(-1+\frac{3{\mathrm{tanh}\left(\frac{1\left(C-z\right)\sqrt{6}}{2}\right)}^{2}}{2},C=-1..1\right)\right\},z=-3..3,\mathrm{color}=\mathrm{green}\right):$
 > $\mathrm{general_solution_sample_2}≔\mathrm{plot}\left(\left\{\mathrm{seq}\left(-1+\frac{3{\mathrm{coth}\left(\frac{1\left(C-z\right)\sqrt{6}}{2}\right)}^{2}}{2},C=-1..1\right)\right\},z=-3..3,\mathrm{color}=\mathrm{blue}\right):$
 > ${\mathrm{plots}}_{\mathrm{display}}\left(\left\{\mathrm{singular_solutions},\mathrm{general_solution_sample_1},\mathrm{general_solution_sample_2}\right\},\mathrm{view}=\left[-3..3,-\frac{3}{2}..3\right],\mathrm{title}="g2 = 3, g3 = - 1 red: singular solutions green and blue: samples of general solutions"\right)$
 • Case $\mathrm{g2}=0,\mathrm{g3}=0$. The equation is:
 > $\mathrm{Wp0}≔\mathrm{subs}\left(\mathrm{g2}=0,\mathrm{g3}=0,\mathrm{Wp}\right)$
 ${\mathrm{Wp0}}{≔}{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}$ (41)
 > $\mathrm{R0}≔\mathrm{DifferentialRing}\left(\mathrm{blocks}=\left[w\right],\mathrm{derivations}=\left[z\right]\right):$
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wp0},\mathrm{R0}\right)\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}\right]{,}\left[{w}{}\left({z}\right)\right]\right]$ (42)
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wp0},\mathrm{R0},\mathrm{singsol}=\mathrm{essential}\right)\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}\right]\right]$ (43)
 So there is only one singular solution, $w\left(z\right)=0$, and it is not essential. Observe its limiting property with respect to the nonsingular (general) solution.
 > $\mathrm{singular_solutions}≔\mathrm{plot}\left(0,s=-4..4,\mathrm{color}=\mathrm{red},\mathrm{thickness}=2\right):$
 > $\mathrm{general_solution_sample}≔\mathrm{plot}\left(\left\{\mathrm{seq}\left(\frac{1}{{\left(z-C\right)}^{2}},C=-2..1\right)\right\},z=-4..4,\mathrm{color}=\left[\mathrm{blue},\mathrm{blue},\mathrm{blue}\right]\right):$
 > ${\mathrm{plots}}_{\mathrm{display}}\left(\left\{\mathrm{singular_solutions},\mathrm{general_solution_sample}\right\},\mathrm{view}=\left[-4..4,-\frac{1}{2}..2\right],\mathrm{title}="g2 = 0, g3 = 0 red: singular solutions blue: samples of general solutions"\right)$

A two steps strategy changing rankings

 The following two examples illustrate a good strategy for computing a representation of the radical of the differential ideal generated by a given system sys, with respect to some target ranking. This strategy usually leads to simpler computations and fewer regular differential chains. It often applies, because, many differential polynomial system do actually define prime differential ideals. The strategy involves two steps.
 • First, search an easy ranking (may involve trial an error), different from the target one, with respect to which, sys is almost a regular differential chain (if possible, a ranking with respect to which the leading ranks have degree $1$). Call now RosenfeldGroebner with this easier rank to generate the ideal associated to the given system of equations.
 • Second, run RosenfeldGroebner over the regular differential chain(s) computed at the first step, but now with respect to the target ranking.

Euler equations for an incompressible fluid

 In this example the two steps strategy is applied to Euler equations for an incompressible fluid in two dimensions. We want to prove that the radical $I$ of the differential ideal generated by this system is prime, and, has differential dimension zero.
 • To prove that $I$ is prime, by definition, it is sufficient to show that $I$ can be presented by a single regular differential chain $C$, whose leading ranks have degree $1$.
 • To prove that $I$ has differential dimension zero, it is sufficient to compute $C$ with respect to an orderly ranking, and, to check that each dependent variable has a derivative among the leading derivatives of $C$ [K73, chapter II, section 12, Theorem 6].
 The target ranking is orderly, but a direct computation does not allow us to conclude.
 > $\mathrm{unassign}\left('p'\right):$
 > $\mathrm{p1}≔{\mathrm{v1}}_{t}+\mathrm{v1}{\mathrm{v1}}_{x}+\mathrm{v2}{\mathrm{v1}}_{y}+{p}_{x}:$
 > $\mathrm{p2}≔{\mathrm{v2}}_{t}+\mathrm{v1}{\mathrm{v2}}_{x}+\mathrm{v2}{\mathrm{v2}}_{y}+{p}_{y}:$
 > $\mathrm{p3}≔{\mathrm{v1}}_{x}+{\mathrm{v2}}_{y}:$
 > $\mathrm{target_ranking}≔\mathrm{derivations}=\left[x,y,t\right],\mathrm{blocks}=\left[\left[\mathrm{v1},\mathrm{v2},p\right]\right]$
 ${\mathrm{target_ranking}}{≔}{\mathrm{derivations}}{=}\left[{x}{,}{y}{,}{t}\right]{,}{\mathrm{blocks}}{=}\left[\left[{\mathrm{v1}}{,}{\mathrm{v2}}{,}{p}\right]\right]$ (44)
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{target_ranking}\right):$
 > $\mathrm{ideal}≔\mathrm{RosenfeldGroebner}\left(\left[\mathrm{p1},\mathrm{p2},\mathrm{p3}\right],R\right)$
 ${\mathrm{ideal}}{≔}\left[{\mathrm{regular_differential_chain}}{,}{\mathrm{regular_differential_chain}}{,}{\mathrm{regular_differential_chain}}\right]$ (45)
 However, there exists an easy ranking, with respect to which, the RosenfeldGroebner algorithm does not split into cases. This easy ranking is not orderly with respect to the dependent variables but an elimination one (we use the keyword lex) and also the ordering for the independent variables changes from $\left[x,y,t\right]$ to $\left[x,y,t\right]$, but it serves the purpose of our two-steps strategy. Let us perform the first step.
 > $\mathrm{easy_ranking}≔\mathrm{derivations}=\left[t,x,y\right],\mathrm{blocks}=\left[{\mathrm{lex}}_{p,\mathrm{v1},\mathrm{v2}}\right]$
 ${\mathrm{easy_ranking}}{≔}{\mathrm{derivations}}{=}\left[{t}{,}{x}{,}{y}\right]{,}{\mathrm{blocks}}{=}\left[{{\mathrm{lex}}}_{{p}{,}{\mathrm{v1}}{,}{\mathrm{v2}}}\right]$ (46)
 > $S≔\mathrm{DifferentialRing}\left(\mathrm{easy_ranking}\right):$
 > $\mathrm{ideal}≔\mathrm{RosenfeldGroebner}\left(\left[\mathrm{p1},\mathrm{p2},\mathrm{p3}\right],S\right)$
 ${\mathrm{ideal}}{≔}\left[{\mathrm{regular_differential_chain}}\right]$ (47)
 Let us, perform the second step, rewriting $\mathrm{ideal}$ using the original ranking $R$. The output proves that $I$ is prime and has differential dimension zero.
 > $\mathrm{ideal}≔\mathrm{RosenfeldGroebner}\left({\mathrm{ideal}}_{1},R\right)$
 ${\mathrm{ideal}}{≔}{\mathrm{regular_differential_chain}}$ (48)
 > $\mathrm{Tools}:-\mathrm{LeadingRank}\left(\mathrm{ideal}\right)$
 $\left[{{p}}_{{y}{,}{y}}{,}{{\mathrm{v1}}}_{{x}}{,}{{\mathrm{v1}}}_{{y}}{,}{{\mathrm{v2}}}_{{x}}\right]$ (49)

A parametric dynamical system

 This example illustrates the use of RosenfeldGroebner for studying parametric dynamical systems. Indeed, with respect to any orderly ranking on the state variables, a dynamical system is a regular differential chain, which describes a prime differential ideal.
 Here, RosenfeldGroebner is used to compute the so-called input-output relation of a dynamical system. This relation is used, in control theory, to study the global identifiability, and, simplify the estimation of the unknown parameters from measures.
 First, one defines a parametric dynamical system of two ODE. The two state variables ${x}_{1}$ and ${x}_{2}$ are grouped in one block. This ensures that the derivatives of ${x}_{1}$ and ${x}_{2}$ are ranked orderly. The parameters of the system are considered arbitrary
 > $\mathrm{params}≔\left[{k}_{e},{V}_{e},{k}_{1,2},{k}_{2,1}\right]$
 ${\mathrm{params}}{≔}\left[{{k}}_{{e}}{,}{{V}}_{{e}}{,}{{k}}_{{1}{,}{2}}{,}{{k}}_{{2}{,}{1}}\right]$ (50)
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{derivations}=\left[t\right],\mathrm{blocks}=\left[\left[{x}_{1},{x}_{2}\right]\right],\mathrm{arbitrary}=\mathrm{params}\right)$
 ${R}{≔}{\mathrm{differential_ring}}$ (51)
 > $\mathrm{edoA}≔\frac{ⅆ}{ⅆt}{x}_{1}\left(t\right)=-{k}_{1,2}{x}_{1}\left(t\right)+{k}_{2,1}{x}_{2}\left(t\right)-\frac{{V}_{e}{x}_{1}\left(t\right)}{{k}_{e}+{x}_{1}\left(t\right)}$
 ${\mathrm{edoA}}{≔}\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{x}}_{{1}}{}\left({t}\right){=}{-}{{k}}_{{1}{,}{2}}{}{{x}}_{{1}}{}\left({t}\right){+}{{k}}_{{2}{,}{1}}{}{{x}}_{{2}}{}\left({t}\right){-}\frac{{{V}}_{{e}}{}{{x}}_{{1}}{}\left({t}\right)}{{{k}}_{{e}}{+}{{x}}_{{1}}{}\left({t}\right)}$ (52)
 > $\mathrm{edoB}≔\frac{ⅆ}{ⅆt}{x}_{2}\left(t\right)={k}_{1,2}{x}_{1}\left(t\right)-{k}_{2,1}{x}_{2}\left(t\right)$
 ${\mathrm{edoB}}{≔}\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{x}}_{{2}}{}\left({t}\right){=}{{k}}_{{1}{,}{2}}{}{{x}}_{{1}}{}\left({t}\right){-}{{k}}_{{2}{,}{1}}{}{{x}}_{{2}}{}\left({t}\right)$ (53)
 This call to RosenfeldGroebner bundles the two ODEs in a regular differential chain. The parameters do not generate splitting cases because they were declared arbitrary when entering the differential ring
 > $\mathrm{ideal}≔\mathrm{RosenfeldGroebner}\left(\left[\mathrm{edoA},\mathrm{edoB}\right],R\right)$
 ${\mathrm{ideal}}{≔}\left[{\mathrm{regular_differential_chain}}\right]$ (54)
 The leading ranks of the regular differential chain have degree $1$. The differential ideal is thus prime.
 > $\mathrm{Tools}:-\mathrm{LeadingRank}\left({\mathrm{ideal}}_{1}\right)$
 $\left[\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{x}}_{{1}}{}\left({t}\right){,}\frac{{ⅆ}}{{ⅆ}{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{x}}_{{2}}{}\left({t}\right)\right]$ (55)
 The input-output relation is thus obtained by eliminating ${x}_{2}$. This is achieved by a change of ranking for the dependent variables over ideal, from $\left[\left[{x}_{1},{x}_{2}\right]\right]$ to $\left[{x}_{2},{x}_{1}\right]$, using RosenfeldGroebner. The input-output relation is the differential polynomial of IOideal whose leading derivative is a derivative of ${x}_{1}$. Note that you only need to pass to RosenfeldGroebner the piece of information that is changing and there is no need to re-enter the information of the original differential ring, embedded in the first argument, the ideal to be rewritten
 > $\mathrm{IOideal}≔\mathrm{RosenfeldGroebner}\left({\mathrm{ideal}}_{1},\mathrm{blocks}=\left[{x}_{2},{x}_{1}\right]\right)$
 ${\mathrm{IOideal}}{≔}{\mathrm{regular_differential_chain}}$ (56)
 > $\mathrm{IOrel}≔{\mathrm{Equations}\left(\mathrm{IOideal},\mathrm{leader}=\mathrm{derivative}\left({x}_{1}\left(t\right)\right),\mathrm{notation}=\mathrm{jet}\right)}_{1}$
 ${\mathrm{IOrel}}{≔}{{V}}_{{e}}{}{{k}}_{{e}}{}{{k}}_{{2}{,}{1}}{}{{x}}_{{1}}{+}{{V}}_{{e}}{}{{k}}_{{2}{,}{1}}{}{{x}}_{{1}}^{{2}}{+}{{k}}_{{e}}^{{2}}{}{{k}}_{{1}{,}{2}}{}{\left({{x}}_{{1}}\right)}_{{t}}{+}{{k}}_{{e}}^{{2}}{}{{k}}_{{2}{,}{1}}{}{\left({{x}}_{{1}}\right)}_{{t}}{+}{2}{}{{k}}_{{e}}{}{{k}}_{{1}{,}{2}}{}{{x}}_{{1}}{}{\left({{x}}_{{1}}\right)}_{{t}}{+}{2}{}{{k}}_{{e}}{}{{k}}_{{2}{,}{1}}{}{{x}}_{{1}}{}{\left({{x}}_{{1}}\right)}_{{t}}{+}{{k}}_{{1}{,}{2}}{}{{x}}_{{1}}^{{2}}{}{\left({{x}}_{{1}}\right)}_{{t}}{+}{{k}}_{{2}{,}{1}}{}{{x}}_{{1}}^{{2}}{}{\left({{x}}_{{1}}\right)}_{{t}}{+}{{V}}_{{e}}{}{{k}}_{{e}}{}{\left({{x}}_{{1}}\right)}_{{t}}{+}{{k}}_{{e}}^{{2}}{}{\left({{x}}_{{1}}\right)}_{{t}{,}{t}}{+}{2}{}{{k}}_{{e}}{}{{x}}_{{1}}{}{\left({{x}}_{{1}}\right)}_{{t}{,}{t}}{+}{{x}}_{{1}}^{{2}}{}{\left({{x}}_{{1}}\right)}_{{t}{,}{t}}$ (57)

Optional arguments

Changing arbitrary, blocks and adding relations

 During a call to RosenfeldGroebner it is also possible to change (replace or add to) the arbitrary and/or blocks stated when constructing the differential ring with DifferentialRing. You can also state relations for the arbitrary, allowing for a more detailed study of a system. As an example, consider again the problem of the singular cases of the Weierstrass differential equation,
 > $\mathrm{Wp}≔{\left(\frac{ⅆ}{ⅆz}w\left(z\right)\right)}^{2}-4{w\left(z\right)}^{3}+\mathrm{g2}w\left(z\right)+\mathrm{g3}$
 ${\mathrm{Wp}}{≔}{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{-}{4}{}{{w}{}\left({z}\right)}^{{3}}{+}{\mathrm{g2}}{}{w}{}\left({z}\right){+}{\mathrm{g3}}$ (58)
 but this time take $\mathrm{g2}$ as a variable of the problem and only $\mathrm{g3}$ as arbitrary, so in the differential ring rank $\mathrm{g2}$ within blocks, after $w$
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{blocks}=\left[w,\mathrm{g2}\right],\mathrm{derivations}=\left[z\right],\mathrm{arbitrary}=\mathrm{g3}\right)$
 ${R}{≔}{\mathrm{differential_ring}}$ (59)
 This problem now splits into three cases
 > $\mathrm{ideal}≔\mathrm{RosenfeldGroebner}\left(\mathrm{Wp},R\right)$
 ${\mathrm{ideal}}{≔}\left[{\mathrm{regular_differential_chain}}{,}{\mathrm{regular_differential_chain}}{,}{\mathrm{regular_differential_chain}}\right]$ (60)
 > $\mathrm{Equations}\left(\mathrm{ideal},\mathrm{solved}\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{=}{4}{}{{w}{}\left({z}\right)}^{{3}}{-}{\mathrm{g2}}{}{w}{}\left({z}\right){-}{\mathrm{g3}}\right]{,}\left[{{w}{}\left({z}\right)}^{{3}}{=}\frac{{\mathrm{g2}}{}{w}{}\left({z}\right)}{{4}}{+}\frac{{\mathrm{g3}}}{{4}}\right]{,}\left[{w}{}\left({z}\right){=}{-}\frac{{{\mathrm{g2}}}^{{2}}}{{18}{}{\mathrm{g3}}}{,}{{\mathrm{g2}}}^{{3}}{=}{27}{}{{\mathrm{g3}}}^{{2}}\right]\right]$ (61)
 From the equations of each case we see that the new case exists only when the invariants $\mathrm{g2}$ and $\mathrm{g3}$ are related by ${\mathrm{g2}}^{3}=27{\mathrm{g3}}^{2}$, corresponding to the discriminant of the WeierstrassP function equal to zero. This is the same third singular case presented in a previous section above without derivation.
 Suppose now you are interested in taking both $\mathrm{g3}$ and $\mathrm{g2}$ as arbitrary, or only $\mathrm{g2}$, or none of them. For that purpose, use the option arbitrary and additionally. This adds $\mathrm{g2}$ to the existing arbitrary set of the differential ring R
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wp},R,\mathrm{additionally},\mathrm{arbitrary}=\mathrm{g2}\right),\mathrm{solved}\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{=}{4}{}{{w}{}\left({z}\right)}^{{3}}{-}{\mathrm{g2}}{}{w}{}\left({z}\right){-}{\mathrm{g3}}\right]{,}\left[{{w}{}\left({z}\right)}^{{3}}{=}\frac{{\mathrm{g2}}{}{w}{}\left({z}\right)}{{4}}{+}\frac{{\mathrm{g3}}}{{4}}\right]\right]$ (62)
 This makes only $\mathrm{g2}$ arbitrary, replacing the arbitrary = g3 entered when stating the differential ring R
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wp},R,\mathrm{arbitrary}=\mathrm{g2}\right),\mathrm{solved}\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{=}{4}{}{{w}{}\left({z}\right)}^{{3}}{-}{\mathrm{g2}}{}{w}{}\left({z}\right){-}{\mathrm{g3}}\right]{,}\left[{{w}{}\left({z}\right)}^{{3}}{=}\frac{{\mathrm{g2}}{}{w}{}\left({z}\right)}{{4}}{+}\frac{{\mathrm{g3}}}{{4}}\right]{,}\left[{w}{}\left({z}\right){=}{-}\frac{{3}{}{\mathrm{g3}}}{{2}{}{\mathrm{g2}}}{,}{{\mathrm{g3}}}^{{2}}{=}\frac{{{\mathrm{g2}}}^{{3}}}{{27}}\right]\right]$ (63)
 This makes none of $\mathrm{g2}$ and $\mathrm{g3}$ arbitrary, overriding arbitrary = g3 in the differential ring R
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wp},R,\mathrm{arbitrary}=\left[\right]\right),\mathrm{solved}\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{=}{4}{}{{w}{}\left({z}\right)}^{{3}}{-}{\mathrm{g2}}{}{w}{}\left({z}\right){-}{\mathrm{g3}}\right]{,}\left[{{w}{}\left({z}\right)}^{{3}}{=}\frac{{\mathrm{g2}}{}{w}{}\left({z}\right)}{{4}}{+}\frac{{\mathrm{g3}}}{{4}}\right]{,}\left[{w}{}\left({z}\right){=}{-}\frac{{{\mathrm{g2}}}^{{2}}}{{18}{}{\mathrm{g3}}}{,}{{\mathrm{g2}}}^{{3}}{=}{27}{}{{\mathrm{g3}}}^{{2}}\right]{,}\left[{w}{}\left({z}\right){=}{0}{,}{\mathrm{g2}}{=}{0}{,}{\mathrm{g3}}{=}{0}\right]\right]$ (64)
 Suppose now you are interested in the cases when both $\mathrm{g2}$ and $\mathrm{g3}$ are arbitrary and satisfy certain relations, say the discriminant of the WeierstrassP function equal to zero, that is, $27{\mathrm{g3}}^{2}={\mathrm{g2}}^{3}$. Before proceeding note that as explained in the description, all the objects involved in these relations will automatically be taken as arbitrary (you can optionally pass arbitrary = [g2, g3]). So the input is
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wp},R,\mathrm{relations}=\left\{27{\mathrm{g3}}^{2}={\mathrm{g2}}^{3}\right\}\right),\mathrm{solved}\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{=}{4}{}{{w}{}\left({z}\right)}^{{3}}{-}{\mathrm{g2}}{}{w}{}\left({z}\right){-}{\mathrm{g3}}{,}{{\mathrm{g2}}}^{{3}}{=}{27}{}{{\mathrm{g3}}}^{{2}}\right]{,}\left[{w}{}\left({z}\right){=}\frac{{{\mathrm{g2}}}^{{2}}}{{9}{}{\mathrm{g3}}}{,}{{\mathrm{g2}}}^{{3}}{=}{27}{}{{\mathrm{g3}}}^{{2}}\right]{,}\left[{w}{}\left({z}\right){=}{-}\frac{{3}{}{\mathrm{g3}}}{{2}{}{\mathrm{g2}}}{,}{{\mathrm{g2}}}^{{3}}{=}{27}{}{{\mathrm{g3}}}^{{2}}\right]\right]$ (65)
 Finally this results in $\mathrm{g2}$ being added to the arbitrary objects declared when constructing the differential ring R and also states the relation $27{\mathrm{g3}}^{2}=16$ for $\mathrm{g3}$
 > $\mathrm{Equations}\left(\mathrm{RosenfeldGroebner}\left(\mathrm{Wp},R,\mathrm{additionally},\mathrm{arbitrary}=\mathrm{g2},\mathrm{relations}=\left\{27{\mathrm{g3}}^{2}=16\right\}\right),\mathrm{solved}\right)$
 $\left[\left[{\left(\frac{{ⅆ}}{{ⅆ}{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{w}{}\left({z}\right)\right)}^{{2}}{=}{4}{}{{w}{}\left({z}\right)}^{{3}}{-}{\mathrm{g2}}{}{w}{}\left({z}\right){-}{\mathrm{g3}}{,}{{\mathrm{g3}}}^{{2}}{=}\frac{{16}}{{27}}\right]{,}\left[{{w}{}\left({z}\right)}^{{3}}{=}\frac{{\mathrm{g2}}{}{w}{}\left({z}\right)}{{4}}{+}\frac{{\mathrm{g3}}}{{4}}{,}{{\mathrm{g3}}}^{{2}}{=}\frac{{16}}{{27}}\right]\right]$ (66)

Requesting different attributes

 The attributes = L option permits to modify the behavior of the function. Here, one omits the differential attribute. Therefore, the PDE system is regarded as a non - differential system. The decomposition is purely algebraic: the derivative ${u}_{x,y}$ occurring in the third polynomial, is not simplified by the first polynomial.
 > $R≔\mathrm{DifferentialRing}\left(\mathrm{derivations}=\left[x,y\right],\mathrm{blocks}=\left[a,v,u\right]\right):$
 > $\mathrm{syst}≔\left[{u}_{x}^{2}-4u=0,{u}_{x,y}{v}_{y}-u+a=0,{v}_{x,x}-{u}_{x}=0\right]:$
 > $\mathrm{ideal}≔\mathrm{RosenfeldGroebner}\left(\mathrm{syst},R,\mathrm{attributes}=\left[\mathrm{normalized}\right]\right)$
 ${\mathrm{ideal}}{≔}\left[{\mathrm{regular_differential_chain}}\right]$ (67)
 > $\mathrm{Equations}\left(\mathrm{ideal},\mathrm{solved}\right)$
 $\left[\left[{a}{=}{-}{{u}}_{{x}{,}{y}}{}{{v}}_{{y}}{+}{u}{,}{{v}}_{{x}{,}{x}}{=}{{u}}_{{x}}{,}{{u}}_{{x}}^{{2}}{=}{4}{}{u}\right]\right]$ (68)
 > $\mathrm{Get}\left(\mathrm{attributes},\mathrm{ideal}\right)$
 $\left[\left[{\mathrm{autoreduced}}{,}{\mathrm{primitive}}{,}{\mathrm{normalized}}\right]\right]$ (69)