Let $E\to M$and $F\to N$ be two fiber bundles with associated jet spaces $J^k\left(E\right) \to M$and $J^{\mathrm{\ℓ}}\left(F\right) \to N$ and with jet coordinates $\(x^i\, u^{\mathrm{\α}}\, u_{i_{}}^{\mathrm{\α}}\, u_{i_{}j}^{\mathrm{\α}}$, ..., $u_{\mathrm{ij} \cdot \cdot \cdot k}^{\mathrm{\α}}\)$and $\(y^a\, v^{\mathrm{\ρ}}\, v_{i_{}}^{\mathrm{\ρ}}\, v_{i_{}j}^{ \mathrm{\ρ}}$, ..., $v_{\mathrm{ij} \cdot \cdot \cdot \mathrm{\ℓ}}^{\mathrm{\ρ}}\)$respectively. Let $\mathrm{\φ}\:J^k\left(E\right) \to J^{\ell }\left(F\right)$be a transformation and let ${\mathrm{\φ}}^a\= {\mathrm{\φ}}^a$$\(x^i\, u^{\mathrm{\α}}\, u_{i_{}}^{\mathrm{\α}}\, u_{i_{}j}^{\mathrm{\α}}$, ..., $u_{\mathrm{ij} \cdot \cdot \cdot k}^{\mathrm{\α}}\)$be the $y^a$components of $\mathrm{\φ}$. Then the total Jacobian of $\mathrm{\φ}$is the $m \times n$matrix $\left[{\mathrm{D}}_i{\mathrm{\φ}}^a\right]$, where ${\mathrm{D}}_i$ denotes the total derivative with respect to $x^i$. The push forward of the total vector field $X \= X^i {\mathrm{D}}_i$on $J^k\left(E\right)$is the total vector $X \= Y^a {\mathrm{D}}_a$, where $Y^a \= \left({\mathrm{D}}_i{\mathrm{\φ}}^a\right)X^i$.

The command PushforwardTotalVector is part of the DifferentialGeometry:-JetCalculus package. It can be used in the form PushforwardTotalVector(...) only after executing the commands with(DifferentialGeometry) and with(JetCalculus), but can always be used by executing DifferentialGeometry:-JetCalculus:-PushforwardTotalVector(...).

$\mathrm{with}\left(\mathrm{DifferentialGeometry}\right)\:$$\mathrm{with}\left(\mathrm{JetCalculus}\right)\:$

$\mathrm{DGsetup}\left(\left[x\,y\right]\,\left[u\right]\,\mathrm{E1}\,2\right)\:$$\mathrm{DGsetup}\left(\left[t\right]\,\left[v\right]\,\mathrm{E2}\,2\right)\:$$\mathrm{DGsetup}\left(\left[p\,q\,r\right]\,\left[w\right]\,\mathrm{E3}\,2\right)\:$

$\mathrm{\phi }≔\mathrm{Transformation}\left(\mathrm{E1}\,\mathrm{E2}\,\left[t=u\left[2,0\right]\,v\left[\right]=xy\right]\right)$

$\mathrm{\phi }≔\left[t=u_{2,0}\,v_{\left[\right]}=xy\right]$

$\mathrm{J1}≔\mathrm{TotalJacobian}\left(\mathrm{\phi }\right)$

$\mathrm{J1}≔\left[\begin{array}{cc}{u}_{0,1,2}& u_{0,2,2}\end{array}\right]$

$X≔a\mathrm{D\_x}+b\mathrm{D\_y}$

$X≔\mathrm{D\_x}a+\mathrm{D\_y}b$

$\mathrm{totX}≔\mathrm{Prolong}\left(\mathrm{TotalVector}\left(X\right)\,3\right)$

$\mathrm{totX}≔a\mathrm{D\_x}+b\mathrm{D\_y}+\left(u_{1}a+u_{2}b\right){\mathrm{D\_u}}_{\left[\right]}+\left(a{u}_{1,1}+b{u}_{1,2}\right){\mathrm{D\_u}}_1+\left(a{u}_{1,2}+b{u}_{2,2}\right){\mathrm{D\_u}}_2+\left(a{u}_{1,1,1}+b{u}_{1,1,2}\right){\mathrm{D\_u}}_{1,1}+\left(a{u}_{1,1,2}+b{u}_{1,2,2}\right){\mathrm{D\_u}}_{1,2}+\left(a{u}_{1,2,2}+b{u}_{2,2,2}\right){\mathrm{D\_u}}_{2,2}+\left(a{u}_{1,1,1,1}+b{u}_{1,1,1,2}\right){\mathrm{D\_u}}_{1,1,1}+\left(a{u}_{1,1,1,2}+b{u}_{1,1,2,2}\right){\mathrm{D\_u}}_{1,1,2}+\left(a{u}_{1,1,2,2}+b{u}_{1,2,2,2}\right){\mathrm{D\_u}}_{1,2,2}+\left(a{u}_{1,2,2,2}+b{u}_{2,2,2,2}\right){\mathrm{D\_u}}_{2,2,2}$

$\mathrm{PushforwardTotalVector}\left(\mathrm{\phi }\,\mathrm{totX}\right)$

$\left(u_{0,1,2}a+u_{0,2,2}b\right)\mathrm{D\_t}+v_1\left(u_{0,1,2}a+u_{0,2,2}b\right){\mathrm{D\_v}}_{\left[\right]}+\left(u_{0,1,2}a+u_{0,2,2}b\right)v_{1,1}{\mathrm{D\_v}}_1+\left(u_{0,1,2}a+u_{0,2,2}b\right)v_{1,1,1}{\mathrm{D\_v}}_{1,1}+\left(u_{0,1,2}a+u_{0,2,2}b\right)v_{1,1,1,1}{\mathrm{D\_v}}_{1,1,1}$