An LAVF object has ability to store a initial data (ID) basis within it. An ID basis that is stored in a LAVF object is also a Maple object named IDBasis (see Overview of the IDBasis object).

The GetIDBasis method returns the initial data basis for the determining system of a LAVF object, as an IDBasis object.

The SetIDBasis method sets the value of the IDBasis object in a LAVF object.

The first two calling sequences are front-ends to the corresponding methods of a LHPDE object. That is, let L be a LAVF object and S be its determining system, then the call GetIDBasis(L) is equivalent to GetIDBasis(S). And the call SetIDBasis(L, B) is equivalent to SetIDBasis(S, B) where B is a valid IDBasis object for L (and for S). See GetIDBasis and SetIDBasis of a LHPDE object for more detail.

The third calling sequence is a convenient special case for constructing and setting an IDBasis in a LAVF object in one go, without having to construct an IDBasis first. That is, let L be a LAVF object and S its determining system, then the call SetIDBasis(L,Vs) is equivalent to SetIDBasis(L, B) where B := IDBasis(S,Vs). See LieAlgebrasOfVectorFields[IDBasis] for constructing an IDBasis object.

In the fourth calling sequence, the call SetIDBasis(L, str) first chooses a good ID basis based on the Lie algebraic structure of L. It then sets the IDBasis in L.

The second input argument str can be one of the following: "derivedAlgebra", "solvableRadical", "nilRadical", "nilpotentRadical", "killingRadical", "centre", "derivedSeries", "lowerCentralSeries", "upperCentralSeries". It gives a hint to the method for how to choose a good IDBasis. That is, if str is the name of an ideal ("derivedAlgebra", "solvableRadical", "nilRadical", "nilpotentRadical", "killingRadical", "centre"), SetIDBasis first picks an IDBasis for that ideal, then extends it to a IDBasis of L. If str is the name of a series of ideals ("derivedSeries", "lowerCentralSeries", "upperCentralSeries"), the extension process is applied recursively.

For an IDBasis object to be eligible to be set in a LAVF object, the two objects' parametric derivatives must be the same. See example below.

These methods are associated with the LAVF object. For more detail, see Overview of the LAVF object.

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

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

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

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

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

$S≔\mathrm{LHPDE}\left(\left[\mathrm{\xi }\left(x\,y\right)=-\frac{1}{5}x\left(3\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\right)\,y\right)x+2\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)\right)\,\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\right)\,x\right)=-\frac{-4\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\right)\,y\right)xy-2\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)y+4\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\right)x+2\mathrm{\eta }\left(x\,y\right)}{x^2}\,\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)\,y\right)=0\right]\,\mathrm{indep}=\left[x\,y\right]\,\mathrm{dep}=\left[\mathrm{\xi }\,\mathrm{\eta }\right]\right)$

$S≔\left[\mathrm{\xi }=-\frac{3\left({\mathrm{\eta }}_{x,y}\right)x^2}{5}-\frac{2\left({\mathrm{\eta }}_y\right)x}{5}\,{\mathrm{\eta }}_{x,x}=\frac{4y\left({\mathrm{\eta }}_{x,y}\right)}{x}+\frac{2y\left({\mathrm{\eta }}_y\right)}{x^2}-\frac{4\left({\mathrm{\eta }}_x\right)}{x}-\frac{2\mathrm{\eta }}{x^2}\,{\mathrm{\eta }}_{y,y}=0\right],\mathrm{indep}=\left[x\,y\right],\mathrm{dep}=\left[\mathrm{\xi }\,\mathrm{\eta }\right]$

$L≔\mathrm{LAVF}\left(X\,S\right)$

$L≔\left[\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆy}\right)\right]\&where\left\{\left[{\mathrm{\eta }}_{x,x}=\frac{-2y\left({\mathrm{\eta }}_y\right)x-12\left({\mathrm{\eta }}_x\right)x^2-20\mathrm{\xi }y-6\mathrm{\eta }x}{3x^3}\,{\mathrm{\eta }}_{x,y}=\frac{-2\left({\mathrm{\eta }}_y\right)x-5\mathrm{\xi }}{3x^2}\,{\mathrm{\eta }}_{y,y}=0\,{\mathrm{\xi }}_x=\frac{2\left({\mathrm{\eta }}_y\right)x+8\mathrm{\xi }}{3x}\,{\mathrm{\xi }}_y=0\right]\right\}$

$\mathrm{ParametricDerivatives}\left(L\right)$

$\left[\mathrm{\eta }\,\mathrm{\xi }\,{\mathrm{\eta }}_y\,{\mathrm{\eta }}_x\right]$

$\mathrm{GetIDBasis}\left(L\right)$

$\left[\mathrm{\eta }\,\mathrm{\xi }\,{\mathrm{\eta }}_y\,{\mathrm{\eta }}_x\right]$

$B≔\mathrm{IDBasis}\left(\mathrm{GetDeterminingSystem}\left(L\right)\,\left[\mathrm{\eta }\left(x\,y\right)-y\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)\,\mathrm{\eta }\left(x\,y\right)-x\mathrm{\xi }\left(x\,y\right)\,-\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\right)\,\mathrm{\eta }\left(x\,y\right)\right]\right)$

$B≔\left[\mathrm{\eta }-\left({\mathrm{\eta }}_y\right)y\,\mathrm{\eta }-x\mathrm{\xi }\,-{\mathrm{\eta }}_x\,\mathrm{\eta }\right]$

$\mathrm{SetIDBasis}\left(L\,B\right)$

$\left[\mathrm{\eta }-\left({\mathrm{\eta }}_y\right)y\,\mathrm{\eta }-x\mathrm{\xi }\,-{\mathrm{\eta }}_x\,\mathrm{\eta }\right]$

$\mathrm{ParametricDerivatives}\left(L\right)$

$\left[\mathrm{\eta }\,\mathrm{\xi }\,{\mathrm{\eta }}_y\,{\mathrm{\eta }}_x\right]$

$\mathrm{GetParametricDerivatives}\left(B\right)$

$\left[\mathrm{\eta }\,\mathrm{\xi }\,{\mathrm{\eta }}_y\,{\mathrm{\eta }}_x\right]$

$\mathrm{SetIDBasis}\left(L\,\mathrm{Matrix}\left(\left[\left[1\,0\,1\,0\right]\,\left[0\,1\,0\,0\right]\,\left[0\,0\,y\,0\right]\,\left[x\,0\,0\,z\right]\right]\right)\right)$

$\left[\mathrm{\eta }+{\mathrm{\eta }}_y\,\mathrm{\xi }\,\left({\mathrm{\eta }}_y\right)y\,\mathrm{\eta }x+z\left({\mathrm{\eta }}_x\right)\right]$

$\mathrm{SetIDBasis}\left(L\,''standardBasis''\right)$

$\left[\mathrm{\eta }\,\mathrm{\xi }\,{\mathrm{\eta }}_y\,{\mathrm{\eta }}_x\right]$

$\mathrm{Cijk}≔\mathrm{StructureConstants}\left(L\right)$

$\mathrm{SetIDBasis}\left(L\,''derivedSeries''\right)$

$\left[\mathrm{\eta }\,\frac{\mathrm{\eta }}{x}+{\mathrm{\eta }}_x\,\mathrm{\xi }\,\frac{\mathrm{\xi }}{x}+{\mathrm{\eta }}_y\right]$

$\mathrm{DisplayStructure}\left(L\,'Z'\right)$

$\left[\begin{array}{cccc}0& 0& 0& Z_1\\ 0& 0& -Z_1& \frac{Z_2}{3}\\ 0& Z_1& 0& -\frac{2y{Z}_2}{3x^2}+\frac{2Z_3}{3}\\ -Z_1& -\frac{Z_2}{3}& \frac{2y{Z}_2}{3x^2}-\frac{2Z_3}{3}& 0\end{array}\right]$

$\mathrm{DisplayStructure}\left(\mathrm{Cijk}\,'Z'\right)$

$\left[\begin{array}{cccc}0& \frac{Z_4}{3x^2}& Z_1-\frac{2Z_4}{3x}& 0\\ -\frac{Z_4}{3x^2}& 0& \frac{2Z_2}{3}-\frac{2Z_3}{3x}-\frac{2y{Z}_4}{3x^2}& Z_1-\frac{4Z_4}{3x}\\ -Z_1+\frac{2Z_4}{3x}& -\frac{2Z_2}{3}+\frac{2Z_3}{3x}+\frac{2y{Z}_4}{3x^2}& 0& -\frac{Z_4}{3}\\ 0& -Z_1+\frac{4Z_4}{3x}& \frac{Z_4}{3}& 0\end{array}\right]$

The GetIDBasis and SetIDBasis commands were introduced in Maple 2020.

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