The Distribution command constructs and returns a Distribution object (see Overview of the Distribution object).

In the first calling sequence, a sequence of VectorField objects must be provided which span the distribution at each point. The input vector fields are further processed by the constructor, so that the Distribution may be stored internally and displayed with a different basis.  The space= option is not necessary, since the space can be inferred from the vector fields.  For completeness, an empty sequence of vector fields is permitted: in this case, the space= option is required, and a trivial (0-dimensional) distribution is constructed on the specified space.

For convenience the second calling sequence construct the trivial (0-dimensional) distribution and 'universal' distribution (which spans the whole of tangent space at each point). In these sequences, the space= option must be specified.

In the final calling sequence, L is a Lie algebra of vector fields LAVF object whose determining system is of order 0. An exception is raised if the determining system of L is not 0th order.

These commands are part of the LieAlgebrasOfVectorFields package, for more detail see Overview of the LieAlgebrasOfVectorFields package.

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

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

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

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

$R_y≔z\left(\frac{\ⅆ}{\ⅆx}\right)-x\left(\frac{\ⅆ}{\ⅆz}\right)$

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

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

$\mathrm{\Sigma }≔\mathrm{Distribution}\left(R\left[x\right]\,R\left[y\right]\,R\left[z\right]\right)$

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

$\mathrm{Distribution}\left(''trivial''\,\mathrm{space}=\left[x\,y\,z\right]\right)$

$\varnothing$

$\mathrm{Distribution}\left(''universal''\,\mathrm{space}=\left[x\,y\,z\right]\right)$

$\left\{\frac{\ⅆ}{\ⅆx}\,\frac{\ⅆ}{\ⅆy}\,\frac{\ⅆ}{\ⅆz}\right\}$

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

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