The command EliminationLAVF(...) constructs a LAVF object based on the solution vector fields vf. A valid LAVF object then has access to at least 60 methods methods which allow it to be manipulated and its contents queried. For more detail, see Overview of the LAVF object.

It first finds the Lie determining system of all linear combination of vector fields in vfList, and expresses the system DQ in terms of the variable names from V. It then constructs a LAVF object using V and DQ.

The command ultimately uses LieAlgebrasOfVectorFields[EliminationSystem] to construct the determining system as a LHPDE object.

This command is part of the LieAlgebrasOfVectorFields package. For more detail, see Overview of the LieAlgebrasOfVectorFields package.

This command can be used in the form EliminationLAVF(...) only after executing the command with(LieAlgebrasOfVectorFields), but can always be used in the form LieAlgebrasOfVectorFields:-EliminationLAVF(...).

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

$\mathrm{Typesetting}:-\mathrm{Settings}\left(\mathrm{userep}=\mathrm{true}\right)\:$

$\mathrm{Typesetting}:-\mathrm{Suppress}\left(\left\{\mathrm{\eta }\,\mathrm{\xi }\,\mathrm{\zeta }\right\}\left(x\,y\,z\right)\right)\:$

$\mathrm{R1}≔\mathrm{VectorField}\left(x\mathrm{D}\left[y\right]-y\mathrm{D}\left[x\right]\,\mathrm{space}=\left[x\,y\,z\right]\right)$

$\mathrm{R1}≔-y\left(\frac{\ⅆ}{\ⅆx}\right)+x\left(\frac{\ⅆ}{\ⅆy}\right)$

$\mathrm{R2}≔\mathrm{VectorField}\left(x\mathrm{D}\left[z\right]-z\mathrm{D}\left[x\right]\,\mathrm{space}=\left[x\,y\,z\right]\right)$

$\mathrm{R2}≔-z\left(\frac{\ⅆ}{\ⅆx}\right)+x\left(\frac{\ⅆ}{\ⅆz}\right)$

$\mathrm{R3}≔\mathrm{VectorField}\left(y\mathrm{D}\left[z\right]-z\mathrm{D}\left[y\right]\,\mathrm{space}=\left[x\,y\,z\right]\right)$

$\mathrm{R3}≔-z\left(\frac{\ⅆ}{\ⅆy}\right)+y\left(\frac{\ⅆ}{\ⅆz}\right)$

$X≔\mathrm{VectorField}\left(\mathrm{\xi }\left(x\,y\,z\right)\mathrm{D}\left[x\right]+\mathrm{\eta }\left(x\,y\,z\right)\mathrm{D}\left[y\right]+\mathrm{\zeta }\left(x\,y\,z\right)\mathrm{D}\left[z\right]\,\mathrm{space}=\left[x\,y\,z\right]\right)$

$X≔\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆy}\right)+\mathrm{\zeta }\left(\frac{\ⅆ}{\ⅆz}\right)$

$\mathrm{SO3}≔\mathrm{EliminationLAVF}\left(X\,\left[\mathrm{R1}\,\mathrm{R2}\,\mathrm{R3}\right]\right)$

$\mathrm{SO3}≔\left[\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆy}\right)+\mathrm{\zeta }\left(\frac{\ⅆ}{\ⅆz}\right)\right]\&where\left\{\left[\mathrm{\xi }=\frac{-\mathrm{\eta }y-\mathrm{\zeta }z}{x}\,{\mathrm{\eta }}_x=\frac{\left({\mathrm{\zeta }}_y\right)z+\mathrm{\eta }}{x}\,{\mathrm{\eta }}_y=0\,{\mathrm{\eta }}_z=-{\mathrm{\zeta }}_y\,{\mathrm{\zeta }}_{y,y}=0\,{\mathrm{\zeta }}_x=\frac{-\left({\mathrm{\zeta }}_y\right)y+\mathrm{\zeta }}{x}\,{\mathrm{\zeta }}_z=0\right]\right\}$

$\mathrm{LAVFSolve}\left(\mathrm{SO3}\,'\mathrm{output}'=''basis''\right)$

$\left[-z\left(\frac{\ⅆ}{\ⅆy}\right)+y\left(\frac{\ⅆ}{\ⅆz}\right)\,-z\left(\frac{\ⅆ}{\ⅆx}\right)+x\left(\frac{\ⅆ}{\ⅆz}\right)\,-y\left(\frac{\ⅆ}{\ⅆx}\right)+x\left(\frac{\ⅆ}{\ⅆy}\right)\right]$

The LieAlgebrasOfVectorFields[EliminationLAVF] command was introduced in Maple 2020.

For more information on Maple 2020 changes, see Updates in Maple 2020.