This routine construct equations that can be used to rewrite the components of isovector corresponding to the extended variables in terms of partials of isovector components corresponding to the independent and dependent variables.

The resulting set of equations can be used in subs().

This routine is used by reduce() to help simplify the determining equations of the contact symmetries.

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{prolong}\left(V\right)$

$\left\{\mathrm{V5}=\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{V6}=\frac{\partial }{\partial y}\mathrm{V3}+\mathrm{w2}\frac{\partial }{\partial f}\mathrm{V3}+\mathrm{w4}\frac{\partial }{\partial g}\mathrm{V3}-\mathrm{w1}\left(\frac{\partial }{\partial y}\mathrm{V1}+\mathrm{w2}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w4}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w2}\left(\frac{\partial }{\partial y}\mathrm{V2}+\mathrm{w2}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w4}\frac{\partial }{\partial g}\mathrm{V2}\right)\,\mathrm{V7}=\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)\,\mathrm{V8}=\frac{\partial }{\partial y}\mathrm{V4}+\mathrm{w2}\frac{\partial }{\partial f}\mathrm{V4}+\mathrm{w4}\frac{\partial }{\partial g}\mathrm{V4}-\mathrm{w3}\left(\frac{\partial }{\partial y}\mathrm{V1}+\mathrm{w2}\frac{\partial }{\partial f}\mathrm{V1}+\mathrm{w4}\frac{\partial }{\partial g}\mathrm{V1}\right)-\mathrm{w4}\left(\frac{\partial }{\partial y}\mathrm{V2}+\mathrm{w2}\frac{\partial }{\partial f}\mathrm{V2}+\mathrm{w4}\frac{\partial }{\partial g}\mathrm{V2}\right)\right\}$