InfinitesimalGenerator - Maple Help

PDEtools

 InfinitesimalGenerator
 receives a list with the infinitesimals of a symmetry generator and returns the corresponding infinitesimal generator as a differential operator procedure

 Calling Sequence InfinitesimalGenerator(S, DepVars, options=value)

Parameters

 S - list with the infinitesimals of a symmetry generator or the corresponding infinitesimal generator operator DepVars - function or list of functions indicating the dependent variables of the problem expanded = ... - (optional) can be true or false (default); to expand or not the prolongation of the infinitesimals as opposed to returning just the table procedure that computes it jetnotation = ... - (optional) can be true (default, the notation found in S), false, jetvariables, jetvariableswithbrackets, jetnumbers or jetODE; to respectively return or not using the different jet notations available output = ... - (optional) can be list, expression or operator; indicating the output to be a list of infinitesimal components or its corresponding infinitesimal generator differential operator prolongation = ... - (optional) positive integer indicating the desired prolongation order; default is 0

Description

 • Given a list of infinitesimals of a symmetry generator, the InfinitesimalGenerator command returns a differential operator representing the infinitesimal generator. Note the distinction here made between infinitesimals and infinitesimal generator: the latter is an operator constructed as a linear combination of differential operators, while the infinitesimals are represented by the list you can construct with the coefficients of each differential operator entering the infinitesimal generator. InfinitesimalGenerator also works with anticommutative variables set using the Physics package.
 • You can also pass the symmetry S directly as an infinitesimal generator operator, for instance with the purpose of having it rewritten in different jetnotation or prolonged - see related options below.
 • By default the infinitesimal generator returned is not prolonged more than S - to request any other prolongation pass the optional argument $\mathrm{prolongation}=n$ where n is a nonnegative integer. As a handy shortcut notation, instead of the optional argument $\mathrm{prolongation}=n$ you can also just specify $n$, a nonnegative integer, as the third argument passed to InfinitesimalGenerator.
 • By default, the infinitesimal generator is also returned not expanded. To request it otherwise, pass the optional argument expanded or expanded = true. To understand this option, recall that given a prolongation order - say k - there exist as many prolonged infinitesimals as partial derivatives of order $0 exist in the jet space where the symmetry generator acts, that is, $m\left(\genfrac{}{}{0}{}{n+k}{k}\right)-1$, where $n$ and $m$ are respectively the numbers of independent and dependent variables. In addition, the infinitesimal generator to be returned includes a sum over the independent and another one over the dependent variables, where each of the summands has for coefficient the corresponding prolongation of the infinitesimal $\mathrm{\eta }$ (see Eta_k) associated to each dependent variable. All these sums return expanded when the optional argument expanded is given. As an indicator of what this means, in a problem with 2 independent and 2 dependent variables, the length of the infinitesimal generator prolonged to order 2, when the option expanded is given, is more than 40 times larger than when it is not given.
 • By default, the infinitesimal generator is returned as an operator, that is a mapping to be applied to a function (see the Examples section). Equivalent representations would be: an expression, i.e., the result of applying the operator to some generic function, or a list with the infinitesimal components. To compute these representations use the option output = ... where the right-hand side is respectively expression or list. When output = expression, differentiation is represented by the inert Diff command and the function to which the mapping is applied is represented generically by a label, typically $\mathrm{_Φ}$ (provided that $\mathrm{_Φ}$ is not assigned already, or found in the infinitesimals S).
 • The jetnotation used in the output is the one of S unless indicated otherwise using the option jetnotation = ... where the right-hand side is any of jetvariables (default), jetvariableswithtbrackets, jetnumbers' or jetODE; for details about the available jet notations see ToJet.
 • To avoid having to remember the optional keywords, if you type the keyword misspelled, or just a portion of it, a matching against the correct keywords is performed, and when there is only one match, the input is automatically corrected.

Examples

 > $\mathrm{with}\left(\mathrm{PDEtools},\mathrm{InfinitesimalGenerator},\mathrm{declare}\right)$
 $\left[{\mathrm{InfinitesimalGenerator}}{,}{\mathrm{declare}}\right]$ (1)

Consider the generic form of a list of infinitesimals of a PDE problem in - say - two independent and two dependent variables $u\left(x,t\right),v\left(x,t\right)$: there are then two $\mathrm{\xi }$ infinitesimals associated to each of the independent variables and two $\mathrm{\eta }$ infinitesimals associated to each of the dependent variables, as in

 > $\mathrm{DepVars}≔\left[u,v\right]\left(x,t\right)$
 ${\mathrm{DepVars}}{≔}\left[{u}{}\left({x}{,}{t}\right){,}{v}{}\left({x}{,}{t}\right)\right]$ (2)
 > $S≔\left[\mathrm{seq}\left(\mathrm{\xi }\left[j\right]\left(x,t,u,v\right),j=\left[x,t\right]\right),\mathrm{seq}\left(\mathrm{\eta }\left[j\right]\left(x,t,u,v\right),j=\left[u,v\right]\right)\right]$
 ${S}{≔}\left[{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{{\mathrm{\eta }}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{{\mathrm{\eta }}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right]$ (3)

The operator returned by InfinitesimalGenerator, say the first prolongation, is constructed basically without consuming any computational resources or time

 > $G\left[1\right]≔\mathrm{InfinitesimalGenerator}\left(S,\mathrm{DepVars},\mathrm{prolongation}=1\right)$
 ${{G}}_{{1}}{≔}{f}{→}{\mathrm{add}}{}\left({{\mathrm{ξ}}}_{{{x}}_{{j}}}{}\left(\frac{{\partial }}{{\partial }{{x}}_{{j}}}{}{f}\right){,}{j}{=}{1}{..}{2}\right){+}{\mathrm{add}}{}\left({{\mathrm{η}}}_{{{u}}_{{m}}}{}\left(\frac{{\partial }}{{\partial }{{u}}_{{m}}}{}{f}\right){+}{{\mathrm{η}}}_{{{u}}_{{m}}{,}\left[{x}\right]}{}\left(\frac{{\partial }}{{\partial }{{{u}}_{{m}}}_{{x}}}{}{f}\right){+}{{\mathrm{η}}}_{{{u}}_{{m}}{,}\left[{t}\right]}{}\left(\frac{{\partial }}{{\partial }{{{u}}_{{m}}}_{{t}}}{}{f}\right){,}{m}{=}{1}{..}{2}\right)$ (4)

The shortcut InfinitesimalGenerator(S, DepVars, 1) for indicating the prolongation returns works as well.

Consider now the same infinitesimal generator but expanded:

 > $G\left[2\right]≔\mathrm{InfinitesimalGenerator}\left(S,\mathrm{DepVars},\mathrm{prolongation}=1,\mathrm{expanded}\right)$
 ${{G}}_{{2}}{≔}{f}{→}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){}\left(\frac{{\partial }}{{\partial }{x}}{}{f}\right){+}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){}\left(\frac{{\partial }}{{\partial }{t}}{}{f}\right){+}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){}\left(\frac{{\partial }}{{\partial }{u}}{}{f}\right){+}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){}\left(\frac{{\partial }}{{\partial }{v}}{}{f}\right){+}\left({-}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{u}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{}{{v}}_{{x}}{+}{{u}}_{{x}}{}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}{{v}}_{{x}}{}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){-}\left(\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{+}\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}\left(\frac{{\partial }}{{\partial }{{u}}_{{x}}}{}{f}\right){+}\left({-}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}{}{{v}}_{{t}}{+}{{u}}_{{x}}{}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}{{v}}_{{x}}{}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){-}\left(\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{t}}{+}\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}\left(\frac{{\partial }}{{\partial }{{v}}_{{x}}}{}{f}\right){+}\left({-}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{u}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{+}{{u}}_{{t}}{}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}{{v}}_{{t}}{}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}\left(\frac{{\partial }}{{\partial }{{u}}_{{t}}}{}{f}\right){+}\left({-}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{t}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{t}}{+}{{u}}_{{t}}{}\left(\frac{{\partial }}{{\partial }{u}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}{{v}}_{{t}}{}\left(\frac{{\partial }}{{\partial }{v}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}\left(\frac{{\partial }}{{\partial }{{v}}_{{t}}}{}{f}\right)$ (5)

Both ${G}_{1}$ and ${G}_{2}$ produce the same result when applied to any function - say $\mathrm{\Lambda }$ - of $x,t,u,v$ and their derivatives written in jet notation:

 > $L≔\mathrm{\Lambda }\left(x,t,u,v,u\left[x\right],u\left[t\right],v\left[x\right],v\left[t\right],u\left[x,x\right],u\left[x,t\right],u\left[t,t\right],v\left[x,x\right],v\left[x,t\right],v\left[t,t\right]\right):$

To avoid redundant display cluttering the presentation use the declare schema for compact mathematical display (derivatives are also displayed indexed)

 > $\mathrm{declare}\left(\left(\mathrm{\xi },\mathrm{\eta }\right)\left(x,t,u,v\right),L\right)$
 ${\mathrm{\xi }}{}\left({x}{,}{t}{,}{u}{,}{v}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\xi }}$
 ${\mathrm{\eta }}{}\left({x}{,}{t}{,}{u}{,}{v}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\eta }}$
 ${\mathrm{\Lambda }}{}\left({x}{,}{t}{,}{u}{,}{v}{,}{{u}}_{{x}}{,}{{u}}_{{t}}{,}{{v}}_{{x}}{,}{{v}}_{{t}}{,}{{u}}_{{x}{,}{x}}{,}{{u}}_{{x}{,}{t}}{,}{{u}}_{{t}{,}{t}}{,}{{v}}_{{x}{,}{x}}{,}{{v}}_{{x}{,}{t}}{,}{{v}}_{{t}{,}{t}}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\Lambda }}$ (6)

This results from the application of the non-expanded ${G}_{1}$ to $\mathrm{\Lambda }$

 > $G\left[1\right]\left(L\right)$
 ${{\mathrm{\xi }}}_{{x}}{}{{\mathrm{\Lambda }}}_{{x}}{+}{{\mathrm{\xi }}}_{{t}}{}{{\mathrm{\Lambda }}}_{{t}}{+}{{\mathrm{\eta }}}_{{u}}{}{{\mathrm{\Lambda }}}_{{u}}{+}\left({-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{x}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{u}}_{{x}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{x}}{}{{u}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{u}}_{{t}}{}{{v}}_{{x}}{+}{{u}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{u}}{+}{{v}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{v}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{x}}{}{{u}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{x}}{}{{u}}_{{t}}{+}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{x}}\right){}{{\mathrm{\Lambda }}}_{{{u}}_{{x}}}{+}\left({-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{x}}{}{{u}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{u}}_{{x}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{t}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{u}}_{{t}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{t}}{}{{u}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{t}}{}{{u}}_{{t}}{+}{{u}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{u}}{+}{{v}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{v}}{+}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{t}}\right){}{{\mathrm{\Lambda }}}_{{{u}}_{{t}}}{+}{{\mathrm{\eta }}}_{{v}}{}{{\mathrm{\Lambda }}}_{{v}}{+}\left({-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{x}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{v}}_{{x}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{x}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{v}}_{{x}}{}{{v}}_{{t}}{+}{{u}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{u}}{+}{{v}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{v}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{x}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{x}}{}{{v}}_{{t}}{+}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{x}}\right){}{{\mathrm{\Lambda }}}_{{{v}}_{{x}}}{+}\left({-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{t}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{v}}_{{x}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{t}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{v}}_{{t}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{t}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{t}}{}{{v}}_{{t}}{+}{{u}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{u}}{+}{{v}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{v}}{+}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{t}}\right){}{{\mathrm{\Lambda }}}_{{{v}}_{{t}}}$ (7)

Let's verify that the non-expanded ${G}_{1}$ and the expanded ${G}_{2}$ produce the same output

 > $G\left[1\right]\left(L\right)-G\left[2\right]\left(L\right)$
 ${0}$ (8)

Apart from the default output, an operator, you can optionally request this output to be an expression (the operator applied) or a list with the components of the infinitesimal generator

 > $\mathrm{InfinitesimalGenerator}\left(S,\mathrm{DepVars},\mathrm{prolongation}=1,\mathrm{expanded},\mathrm{output}=\mathrm{expression}\right)$
 ${{\mathrm{\xi }}}_{{x}}{}\left(\frac{{ⅆ}{\mathrm{_Φ}}}{{ⅆ}{x}}\right){+}{{\mathrm{\xi }}}_{{t}}{}\left(\frac{{ⅆ}{\mathrm{_Φ}}}{{ⅆ}{t}}\right){+}{{\mathrm{\eta }}}_{{u}}{}\left(\frac{{ⅆ}{\mathrm{_Φ}}}{{ⅆ}{u}}\right){+}{{\mathrm{\eta }}}_{{v}}{}\left(\frac{{ⅆ}{\mathrm{_Φ}}}{{ⅆ}{v}}\right){+}\left({-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{x}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{u}}_{{x}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{x}}{}{{u}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{u}}_{{t}}{}{{v}}_{{x}}{+}{{u}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{u}}{+}{{v}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{v}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{x}}{}{{u}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{x}}{}{{u}}_{{t}}{+}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{x}}\right){}\left(\frac{{ⅆ}{\mathrm{_Φ}}}{{ⅆ}{{u}}_{{x}}}\right){+}\left({-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{x}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{v}}_{{x}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{x}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{v}}_{{x}}{}{{v}}_{{t}}{+}{{u}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{u}}{+}{{v}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{v}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{x}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{x}}{}{{v}}_{{t}}{+}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{x}}\right){}\left(\frac{{ⅆ}{\mathrm{_Φ}}}{{ⅆ}{{v}}_{{x}}}\right){+}\left({-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{x}}{}{{u}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{u}}_{{x}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{t}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{u}}_{{t}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{t}}{}{{u}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{t}}{}{{u}}_{{t}}{+}{{u}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{u}}{+}{{v}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{v}}{+}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{t}}\right){}\left(\frac{{ⅆ}{\mathrm{_Φ}}}{{ⅆ}{{u}}_{{t}}}\right){+}\left({-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{t}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{v}}_{{x}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{t}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{v}}_{{t}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{t}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{t}}{}{{v}}_{{t}}{+}{{u}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{u}}{+}{{v}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{v}}{+}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{t}}\right){}\left(\frac{{ⅆ}{\mathrm{_Φ}}}{{ⅆ}{{v}}_{{t}}}\right)$ (9)

In order to use the result above you need to replace the label $\mathrm{_Φ}$ by any function of the jet variables, in this example $x,t,u$ and $v$, and do that before activating the inert derivatives using value. For example

 > $\mathrm{value}\left(\mathrm{subs}\left(\mathrm{_Φ}=f\left(x,t,u,v\right),\right)\right)$
 ${{\mathrm{\xi }}}_{{x}}{}{{f}}_{{x}}{+}{{\mathrm{\xi }}}_{{t}}{}{{f}}_{{t}}{+}{{\mathrm{\eta }}}_{{u}}{}{{f}}_{{u}}{+}{{\mathrm{\eta }}}_{{v}}{}{{f}}_{{v}}$ (10)

The other possible representation is a list

 > $\mathrm{InfinitesimalGenerator}\left(S,\mathrm{DepVars},\mathrm{prolongation}=1,\mathrm{expanded},\mathrm{output}=\mathrm{list}\right)$
 $\left[{{\mathrm{\xi }}}_{{x}}{,}{{\mathrm{\xi }}}_{{t}}{,}{{\mathrm{\eta }}}_{{u}}{,}{{\mathrm{\eta }}}_{{v}}{,}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{x}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{u}}_{{x}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{x}}{}{{u}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{u}}_{{t}}{}{{v}}_{{x}}{+}{{u}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{u}}{+}{{v}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{v}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{x}}{}{{u}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{x}}{}{{u}}_{{t}}{+}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{x}}{,}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{x}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{v}}_{{x}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{x}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{v}}_{{x}}{}{{v}}_{{t}}{+}{{u}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{u}}{+}{{v}}_{{x}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{v}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{x}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{x}}{}{{v}}_{{t}}{+}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{x}}{,}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{x}}{}{{u}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{u}}_{{x}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{t}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{u}}_{{t}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{t}}{}{{u}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{t}}{}{{u}}_{{t}}{+}{{u}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{u}}{+}{{v}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{v}}{+}{\left({{\mathrm{\eta }}}_{{u}}\right)}_{{t}}{,}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{u}}{}{{u}}_{{t}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{v}}{}{{v}}_{{x}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{u}}{}{{u}}_{{t}}{}{{v}}_{{t}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{v}}{}{{v}}_{{t}}^{{2}}{-}{\left({{\mathrm{\xi }}}_{{x}}\right)}_{{t}}{}{{v}}_{{x}}{-}{\left({{\mathrm{\xi }}}_{{t}}\right)}_{{t}}{}{{v}}_{{t}}{+}{{u}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{u}}{+}{{v}}_{{t}}{}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{v}}{+}{\left({{\mathrm{\eta }}}_{{v}}\right)}_{{t}}\right]$ (11)

Note the compact display in the output above, due to the use of declare in previous examples. To see the contents behind this compact display use show

 > $\mathrm{show}$
 $\left[{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{{\mathrm{\eta }}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{{\mathrm{\eta }}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{-}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{u}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{}{{v}}_{{x}}{+}{{u}}_{{x}}{}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}{{v}}_{{x}}{}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{+}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{-}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}{}{{v}}_{{t}}{+}{{u}}_{{x}}{}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}{{v}}_{{x}}{}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{t}}{+}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{-}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{u}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{+}{{u}}_{{t}}{}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}{{v}}_{{t}}{}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{u}}{}\left({x}{,}{t}{,}{u}{,}{v}\right){,}{-}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{u}}_{{t}}{}{{v}}_{{t}}{-}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{t}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{x}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{t}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){}{{v}}_{{t}}{+}{{u}}_{{t}}{}\left(\frac{{\partial }}{{\partial }{u}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}{{v}}_{{t}}{}\left(\frac{{\partial }}{{\partial }{v}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right){+}\frac{{\partial }}{{\partial }{t}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\eta }}}_{{v}}{}\left({x}{,}{t}{,}{u}{,}{v}\right)\right]$ (12)

You can also use InfinitesimalGenerator to prolong a given infinitesimal generator or to rewrite the operator in different jet notation. This is ${G}_{2}$ rewritten using jetnumbers notation (compare with (5))

 > $\mathrm{InfinitesimalGenerator}\left(G\left[2\right],\mathrm{DepVars},\mathrm{expanded},\mathrm{notation}=\mathrm{jetnumbers}\right)$
 ${f}{→}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right){}\left(\frac{{\partial }}{{\partial }{x}}{}{f}\right){+}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right){}\left(\frac{{\partial }}{{\partial }{t}}{}{f}\right){+}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right){}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{f}\right){+}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right){}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{f}\right){+}\left({-}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{1}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{1}}{}{{v}}_{{1}}{-}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{1}}{}{{u}}_{{2}}{-}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{2}}{}{{v}}_{{1}}{+}{{u}}_{{1}}{}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){+}{{v}}_{{1}}{}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){-}\left(\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{1}}{-}\left(\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{2}}{+}\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}\left(\frac{{\partial }}{{\partial }{{u}}_{{1}}}{}{f}\right){+}\left({-}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{1}}{}{{v}}_{{1}}{-}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{v}}_{{1}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{1}}{}{{v}}_{{2}}{-}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{v}}_{{1}}{}{{v}}_{{2}}{+}{{u}}_{{1}}{}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){+}{{v}}_{{1}}{}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){-}\left(\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{v}}_{{1}}{-}\left(\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{v}}_{{2}}{+}\frac{{\partial }}{{\partial }{x}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}\left(\frac{{\partial }}{{\partial }{{v}}_{{1}}}{}{f}\right){+}\left({-}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{1}}{}{{u}}_{{2}}{-}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{1}}{}{{v}}_{{2}}{-}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{2}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{2}}{}{{v}}_{{2}}{-}\left(\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{1}}{-}\left(\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{2}}{+}{{u}}_{{2}}{}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){+}{{v}}_{{2}}{}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){+}\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{η}}}_{{u}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}\left(\frac{{\partial }}{{\partial }{{u}}_{{2}}}{}{f}\right){+}\left({-}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{2}}{}{{v}}_{{1}}{-}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{v}}_{{1}}{}{{v}}_{{2}}{-}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{u}}_{{2}}{}{{v}}_{{2}}{-}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{v}}_{{2}}^{{2}}{-}\left(\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{ξ}}}_{{x}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{v}}_{{1}}{-}\left(\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{ξ}}}_{{t}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}{{v}}_{{2}}{+}{{u}}_{{2}}{}\left(\frac{{\partial }}{{\partial }{{u}}_{{[}{]}}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){+}{{v}}_{{2}}{}\left(\frac{{\partial }}{{\partial }{{v}}_{{[}{]}}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){+}\frac{{\partial }}{{\partial }{t}}{}{{\mathrm{η}}}_{{v}}{}\left({x}{,}{t}{,}{{u}}_{{[}{]}}{,}{{v}}_{{[}{]}}\right)\right){}\left(\frac{{\partial }}{{\partial }{{v}}_{{2}}}{}{f}\right)$ (13)

By default, when reprocessing an infinitesimal generator as in the input/output above, the prolongation of the returned  generator is the same as that of the given one, in this example ${G}_{2}$, unless the given generator is not expanded (for example, ${G}_{1}$), in which case the returned generator has prolongation = 0. To overcome this limitation in the reprocessing of not expanded infinitesimal generators you can indicate the desired prolongation using the option prolongation = ...

The InfinitesimalGenerator command also works with anticommutative variables, natively, without using the approach explained in PerformOnAnticommutativeSystem.

 > $\mathrm{with}\left(\mathrm{Physics}\right)$
 $\left[{\mathrm{*}}{,}{\mathrm{.}}{,}{\mathrm{Annihilation}}{,}{\mathrm{AntiCommutator}}{,}{\mathrm{Antisymmetrize}}{,}{\mathrm{Assume}}{,}{\mathrm{Bra}}{,}{\mathrm{Bracket}}{,}{\mathrm{Check}}{,}{\mathrm{Christoffel}}{,}{\mathrm{Coefficients}}{,}{\mathrm{Commutator}}{,}{\mathrm{CompactDisplay}}{,}{\mathrm{Coordinates}}{,}{\mathrm{Creation}}{,}{\mathrm{D_}}{,}{\mathrm{Dagger}}{,}{\mathrm{Decompose}}{,}{\mathrm{Define}}{,}{\mathrm{Dγ}}{,}{\mathrm{DiracConjugate}}{,}{\mathrm{Einstein}}{,}{\mathrm{EnergyMomentum}}{,}{\mathrm{Expand}}{,}{\mathrm{ExteriorDerivative}}{,}{\mathrm{Factor}}{,}{\mathrm{FeynmanDiagrams}}{,}{\mathrm{FeynmanIntegral}}{,}{\mathrm{Fundiff}}{,}{\mathrm{Geodesics}}{,}{\mathrm{GrassmannParity}}{,}{\mathrm{Gtaylor}}{,}{\mathrm{Intc}}{,}{\mathrm{Inverse}}{,}{\mathrm{Ket}}{,}{\mathrm{KillingVectors}}{,}{\mathrm{KroneckerDelta}}{,}{\mathrm{LagrangeEquations}}{,}{\mathrm{LeviCivita}}{,}{\mathrm{Library}}{,}{\mathrm{LieBracket}}{,}{\mathrm{LieDerivative}}{,}{\mathrm{Normal}}{,}{\mathrm{NumericalRelativity}}{,}{\mathrm{Parameters}}{,}{\mathrm{PerformOnAnticommutativeSystem}}{,}{\mathrm{Projector}}{,}{\mathrm{Psigma}}{,}{\mathrm{Redefine}}{,}{\mathrm{Ricci}}{,}{\mathrm{Riemann}}{,}{\mathrm{Setup}}{,}{\mathrm{Simplify}}{,}{\mathrm{SortProducts}}{,}{\mathrm{SpaceTimeVector}}{,}{\mathrm{StandardModel}}{,}{\mathrm{Substitute}}{,}{\mathrm{SubstituteTensor}}{,}{\mathrm{SubstituteTensorIndices}}{,}{\mathrm{SumOverRepeatedIndices}}{,}{\mathrm{Symmetrize}}{,}{\mathrm{TensorArray}}{,}{\mathrm{Tetrads}}{,}{\mathrm{ThreePlusOne}}{,}{\mathrm{ToContravariant}}{,}{\mathrm{ToCovariant}}{,}{\mathrm{ToFieldComponents}}{,}{\mathrm{ToSuperfields}}{,}{\mathrm{Trace}}{,}{\mathrm{TransformCoordinates}}{,}{\mathrm{Vectors}}{,}{\mathrm{Weyl}}{,}{\mathrm{^}}{,}{\mathrm{dAlembertian}}{,}{\mathrm{d_}}{,}{\mathrm{diff}}{,}{\mathrm{g_}}{,}{\mathrm{gamma_}}\right]$ (14)

Set first $\mathrm{\theta }$ and $Q$ as suffixes for variables of type/anticommutative (see Setup)

 > $\mathrm{Setup}\left(\mathrm{anticommutativepre}=\left\{Q,\mathrm{\theta }\right\}\right)$
 $\mathrm{* Partial match of \text{'}}\mathrm{anticommutativepre}\mathrm{\text{'} against keyword \text{'}}\mathrm{anticommutativeprefix}\text{'}$
 $\mathrm{_______________________________________________________}$
 $\left[{\mathrm{anticommutativeprefix}}{=}\left\{{Q}{,}{\mathrm{\theta }}\right\}\right]$ (15)

Set now the generic form of the infinitesimals for a PDE system like this one formed by pde[1] and pde[2]. For this purpose, we need anticommutative infinitesimals for the dependent variable $Q$ and two of the independent variables, ${\mathrm{\theta }}_{1}$ and ${\mathrm{\theta }}_{2}$; we use here the capital Greek letters $\mathrm{\Xi }$ and $\mathrm{Η}$ for the anticommutative infinitesimal symmetry generators and the corresponding lowercase Greek letters for commutative ones

 > $\mathrm{Setup}\left(\mathrm{anticommutativepre}=\left\{\mathrm{Ρ},\mathrm{\Xi }\right\},\mathrm{additionally}\right)$
 $\mathrm{* Partial match of \text{'}}\mathrm{anticommutativepre}\mathrm{\text{'} against keyword \text{'}}\mathrm{anticommutativeprefix}\text{'}$
 $\mathrm{_______________________________________________________}$
 $\left[{\mathrm{anticommutativeprefix}}{=}\left\{{Q}{,}{\mathrm{Ρ}}{,}{\mathrm{\Xi }}{,}{\mathrm{\theta }}\right\}\right]$ (16)
 > $H≔\left[\mathrm{\xi }\left[1\right],\mathrm{\xi }\left[2\right],\mathrm{\Xi }\left[1\right],\mathrm{\Xi }\left[2\right],\mathrm{Η}\right]\left(x,y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right)$
 ${H}{≔}\left[{{\mathrm{\xi }}}_{{1}}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){,}{{\mathrm{\xi }}}_{{2}}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){,}{{\mathrm{\Xi }}}_{{1}}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){,}{{\mathrm{\Xi }}}_{{2}}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){,}{\mathrm{Η}}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right)\right]$ (17)
 > $\mathrm{PDEtools}:-\mathrm{declare}\left(H\right)$
 ${\mathrm{Η}}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{Η}}$
 ${\mathrm{\Xi }}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\Xi }}$
 ${\mathrm{\xi }}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\xi }}$ (18)

The corresponding InfinitesimalGenerator

 > $\mathrm{InfinitesimalGenerator}\left(H,Q\left(x,y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right)\right)$
 ${f}{↦}{{\mathrm{\xi }}}_{{1}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{x}}\right){+}{{\mathrm{\xi }}}_{{2}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{y}}\right){+}{{\mathrm{\Xi }}}_{{1}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{{\mathrm{\theta }}}_{{1}}}\right){+}{{\mathrm{\Xi }}}_{{2}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{{\mathrm{\theta }}}_{{2}}}\right){+}{\mathrm{Η}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{Q}}\right)$ (19)

The same infinitesimal but prolonged to 1st and 2nd order

 > $\mathrm{InfinitesimalGenerator}\left(H,Q\left(x,y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right),\mathrm{prolongation}=1,\mathrm{expanded}\right)$
 ${f}{↦}{{\mathrm{\xi }}}_{{1}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{x}}\right){+}{{\mathrm{\xi }}}_{{2}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{y}}\right){+}{{\mathrm{\Xi }}}_{{1}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{{\mathrm{\theta }}}_{{1}}}\right){+}{{\mathrm{\Xi }}}_{{2}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{{\mathrm{\theta }}}_{{2}}}\right){+}{\mathrm{Η}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{Q}}\right){+}\left(\frac{{\partial }{\mathrm{Η}}}{{\partial }{x}}{-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{x}}}\right){+}\left(\frac{{\partial }{\mathrm{Η}}}{{\partial }{y}}{-}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{y}}}\right){+}\left(\frac{{\partial }{\mathrm{Η}}}{{\partial }{{\mathrm{\theta }}}_{{1}}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}}\right){+}\left(\frac{{\partial }{\mathrm{Η}}}{{\partial }{{\mathrm{\theta }}}_{{2}}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}}\right)$ (20)
 > $\mathrm{InfinitesimalGenerator}\left(H,Q\left(x,y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right),\mathrm{prolongation}=2,\mathrm{expanded}\right)$
 ${f}{↦}{{\mathrm{\xi }}}_{{1}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{x}}\right){+}{{\mathrm{\xi }}}_{{2}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{y}}\right){+}{{\mathrm{\Xi }}}_{{1}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{{\mathrm{\theta }}}_{{1}}}\right){+}{{\mathrm{\Xi }}}_{{2}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{{\mathrm{\theta }}}_{{2}}}\right){+}{\mathrm{Η}}{}\left(\frac{{ⅆ}{f}}{{ⅆ}{Q}}\right){+}\left(\frac{{\partial }{\mathrm{Η}}}{{\partial }{x}}{-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{x}}}\right){+}\left(\frac{{\partial }{\mathrm{Η}}}{{\partial }{y}}{-}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{-}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{y}}}\right){+}\left(\frac{{\partial }{\mathrm{Η}}}{{\partial }{{\mathrm{\theta }}}_{{1}}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}}\right){+}\left(\frac{{\partial }{\mathrm{Η}}}{{\partial }{{\mathrm{\theta }}}_{{2}}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}}\right){+}\left(\frac{{{\partial }}^{{2}}{\mathrm{Η}}}{{\partial }{{x}}^{{2}}}{-}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{-}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{x}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right){-}{2}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}{,}{x}}{-}{2}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{x}{,}{y}}{-}{2}{}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{2}{}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{x}{,}{x}}}\right){+}\left(\frac{{{\partial }}^{{2}}{\mathrm{Η}}}{{\partial }{x}{\partial }{y}}{-}\left(\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{-}\left(\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right){-}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}{,}{x}}{-}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{x}{,}{y}}{-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right){-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}{,}{y}}{-}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}{,}{y}}{-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{x}{,}{y}}}\right){+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{Η}}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{1}}\right)}_{{x}}\right){}{{Q}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{2}}\right)}_{{x}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{1}}\right)}_{{x}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{2}}\right)}_{{x}}\right){+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}{,}{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{x}{,}{y}}{-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right){-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{1}}}}\right){+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{Η}}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{1}}\right)}_{{x}}\right){}{{Q}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{2}}\right)}_{{x}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{1}}\right)}_{{x}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{2}}\right)}_{{x}}\right){+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}{,}{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{x}{,}{y}}{-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right){-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){+}{{Q}}_{{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{2}}}}\right){+}\left(\frac{{{\partial }}^{{2}}{\mathrm{Η}}}{{\partial }{{y}}^{{2}}}{-}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{y}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}}{-}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{y}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{y}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{{\partial }}^{{2}}}{{\partial }{{y}}^{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right){-}{2}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}{,}{y}}{-}{2}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}{,}{y}}{-}{2}{}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{2}{}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{y}{,}{y}}}\right){+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{Η}}}_{{y}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{1}}\right)}_{{y}}\right){}{{Q}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{2}}\right)}_{{y}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{1}}\right)}_{{y}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{2}}\right)}_{{y}}\right){+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}{,}{y}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}{,}{y}}{-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right){-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{1}}}}\right){+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{Η}}}_{{y}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{1}}\right)}_{{y}}\right){}{{Q}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{2}}\right)}_{{y}}\right){}{{Q}}_{{y}}{-}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{1}}\right)}_{{y}}\right){-}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{2}}\right)}_{{y}}\right){+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){}{{Q}}_{{x}{,}{y}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){}{{Q}}_{{y}{,}{y}}{-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right){-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){+}{{Q}}_{{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right)\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{2}}}}\right){+}\left({-}\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{Η}}}_{{{\mathrm{\theta }}}_{{1}}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{1}}\right)}_{{{\mathrm{\theta }}}_{{1}}}\right){}{{Q}}_{{x}}{+}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\xi }}}_{{2}}\right)}_{{{\mathrm{\theta }}}_{{1}}}\right){}{{Q}}_{{y}}{+}{{Q}}_{{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{1}}\right)}_{{{\mathrm{\theta }}}_{{1}}}\right){+}{{Q}}_{{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{\left({{\mathrm{\Xi }}}_{{2}}\right)}_{{{\mathrm{\theta }}}_{{1}}}\right){+}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){+}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{1}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){-}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{2}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{2}}\right){}{{Q}}_{{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}}{-}{{Q}}_{{x}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{1}}\right){-}{{Q}}_{{y}{,}{{\mathrm{\theta }}}_{{2}}}{}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\xi }}}_{{2}}\right){-}\left(\frac{{\partial }}{{\partial }{{\mathrm{\theta }}}_{{1}}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{{\mathrm{\Xi }}}_{{1}}\right){}{{Q}}_{{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}}\right){}\left(\frac{{ⅆ}{f}}{{ⅆ}{{Q}}_{{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}}}\right)$ (21)

Compatibility

 • The jetnotation option was introduced in Maple 15.