The DerivedDistribution method returns a Distribution object spanned by all the commutators of vector fields in dist.

This method is of little interest if the input Distribution dist is involutive, since in that case DerivedDistribution(dist) will simply return dist itself.

This method is associated with the Distribution object. For more detail see Overview of the Distribution object.

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

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

$\mathrm{V1}≔\frac{\partial }{\partial x}$

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

$\mathrm{V2}≔\frac{\partial }{\partial y}+x\frac{\partial }{\partial z}+z\frac{\partial }{\partial w}$

$\mathrm{\Sigma }≔\mathrm{Distribution}\left(\mathrm{V1}\,\mathrm{V2}\right)$

$\mathrm{\Sigma }≔\left\{\frac{\partial }{\partial x}\,\frac{\frac{\partial }{\partial y}}{z}+\frac{x\frac{\partial }{\partial z}}{z}+\frac{\partial }{\partial w}\right\}$

$\mathrm{DerivedDistribution}\left(\mathrm{\Sigma }\right)$

$\left\{\frac{\partial }{\partial x}\,\frac{\partial }{\partial z}\,\frac{\frac{\partial }{\partial y}}{z}+\frac{\partial }{\partial w}\right\}$

$\mathrm{IsInvolutive}\left(\mathrm{\Sigma }\right)$

$\mathrm{false}$

The DerivedDistribution command was introduced in Maple 2020.

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