This is a special differential operator defined in terms of TD. The result is an inert expression reported in terms of Diff procedure.  The result can be forced to evaluate further by use of dvalue() or value(), but any variable dependencies for unknown functions must be defined prior to such evaluation. Such variable dependencies can be explicitly specified by use of vfix().

It arises in the course of extending the generator for the finite point transformations to the partial derivatives and is in fact computes the coefficient of the various partials in that generator.

This routine is part of the liesymm package and is ordinarily loaded via with(liesymm). It can also be called via the ``package style'' name liesymm[Eta].

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

$\mathrm{indepvars}\left(x\,y\right)$

$\left[x\,y\right]$

$\mathrm{depvars}\left(f\,g\right)$

$\left[f\,g\right]$

$\mathrm{{\rm H}}\left(f\,x\right)$

$\frac{\partial }{\partial x}\mathrm{V3}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V3}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V3}-\mathrm{w1}\left(\frac{\partial }{\partial x}\mathrm{V1}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w2}\left(\frac{\partial }{\partial x}\mathrm{V2}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V2}\right)$

$\mathrm{w1}=\mathrm{Diff}\left(\mathrm{translate}\left(\mathrm{w1}\right)\right)$

$\mathrm{w1}=\frac{\partial }{\partial x}f$

$\mathrm{{\rm H}}\left[2\right]\left(g\,x\,y\right)$

$\frac{\partial }{\partial y}\left(\frac{\partial }{\partial x}\mathrm{V4}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V4}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V4}-\mathrm{w3}\left(\frac{\partial }{\partial x}\mathrm{V1}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w4}\left(\frac{\partial }{\partial x}\mathrm{V2}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V2}\right)\right)+\mathrm{w2}\frac{\partial }{\partial f}\left(\frac{\partial }{\partial x}\mathrm{V4}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V4}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V4}-\mathrm{w3}\left(\frac{\partial }{\partial x}\mathrm{V1}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w4}\left(\frac{\partial }{\partial x}\mathrm{V2}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V2}\right)\right)+\mathrm{w4}\frac{\partial }{\partial g}\left(\frac{\partial }{\partial x}\mathrm{V4}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V4}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V4}-\mathrm{w3}\left(\frac{\partial }{\partial x}\mathrm{V1}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w4}\left(\frac{\partial }{\partial x}\mathrm{V2}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V2}\right)\right)+\mathrm{w6}\frac{\partial }{\partial \mathrm{w1}}\left(\frac{\partial }{\partial x}\mathrm{V4}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V4}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V4}-\mathrm{w3}\left(\frac{\partial }{\partial x}\mathrm{V1}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w4}\left(\frac{\partial }{\partial x}\mathrm{V2}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V2}\right)\right)+\mathrm{w8}\frac{\partial }{\partial \mathrm{w2}}\left(\frac{\partial }{\partial x}\mathrm{V4}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V4}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V4}-\mathrm{w3}\left(\frac{\partial }{\partial x}\mathrm{V1}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w4}\left(\frac{\partial }{\partial x}\mathrm{V2}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V2}\right)\right)+\mathrm{w10}\frac{\partial }{\partial \mathrm{w3}}\left(\frac{\partial }{\partial x}\mathrm{V4}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V4}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V4}-\mathrm{w3}\left(\frac{\partial }{\partial x}\mathrm{V1}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w4}\left(\frac{\partial }{\partial x}\mathrm{V2}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V2}\right)\right)+\mathrm{w12}\frac{\partial }{\partial \mathrm{w4}}\left(\frac{\partial }{\partial x}\mathrm{V4}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V4}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V4}-\mathrm{w3}\left(\frac{\partial }{\partial x}\mathrm{V1}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w4}\left(\frac{\partial }{\partial x}\mathrm{V2}+\mathrm{w1}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w3}\frac{\partial }{\partial g}\mathrm{V2}\right)\right)-\mathrm{w9}\left(\frac{\partial }{\partial y}\mathrm{V1}+\mathrm{w2}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w4}\frac{\partial }{\partial g}\mathrm{V1}+\mathrm{w6}\frac{\partial }{\partial \mathrm{w1}}\mathrm{V1}+\mathrm{w8}\frac{\partial }{\partial \mathrm{w2}}\mathrm{V1}+\mathrm{w10}\frac{\partial }{\partial \mathrm{w3}}\mathrm{V1}+\mathrm{w12}\frac{\partial }{\partial \mathrm{w4}}\mathrm{V1}\right)-\mathrm{w10}\left(\frac{\partial }{\partial y}\mathrm{V2}+\mathrm{w2}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w4}\frac{\partial }{\partial g}\mathrm{V2}+\mathrm{w6}\frac{\partial }{\partial \mathrm{w1}}\mathrm{V2}+\mathrm{w8}\frac{\partial }{\partial \mathrm{w2}}\mathrm{V2}+\mathrm{w10}\frac{\partial }{\partial \mathrm{w3}}\mathrm{V2}+\mathrm{w12}\frac{\partial }{\partial \mathrm{w4}}\mathrm{V2}\right)$