These commands extend the functionality of the Maple builtins of the same name so that they work on Distribution objects. Their calling sequences and return values agree with the Maple builtin. See the help pages for the Maple builtins indets, has, hastype, type, convert for details.  Only information relevant to operation on a Distribution object is described on this page.

The indets of a Distribution object consist of: the coordinates of the space where the Distribution lives (see GetSpace), and any other indets occurring in the vector fields that span the Distribution.

has(dist, x) will test true if the vector fields spanning dist have x, or if the space coordinates of dist have x.

hastype(dist, t) will test true if the vector fields spanning dist contain the type t or if the space coordinates of dist do.  Thus hastype(dist, 'name') will always test true, because every Distribution exists on a space, whose coordinates are of type 'name'.

type(dist, t) will test true for the following types: 'anything', 'object'.  The types dependent(x) and freeof(x) are also understood. A Distribution object is dependent on x if any of its spanning vector fields is dependent on x, or if its space (coordinates) is dependent on x. A Distribution object is free of x if all its vector fields are free of x and its space (coordinates) is free of x. See type/dependent, type/freeof.

The only type conversion understood so far is conversion of a Distribution object to an LAVF object. For this, one must specify the names of the infinitesimals to be used in the LAVF.

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

$\mathrm{V1}≔\mathrm{VectorField}\left(\mathrm{D}\left[x\right]+\left(a^2+b^2\right)\mathrm{D}\left[z\right]\,\mathrm{space}=\left[x\,y\,z\right]\right)$

$\mathrm{V1}≔\frac{\ⅆ}{\ⅆx}+\left(a^2+b^2\right)\left(\frac{\ⅆ}{\ⅆz}\right)$

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

$\mathrm{V2}≔\frac{\ⅆ}{\ⅆy}+t\left(\frac{\ⅆ}{\ⅆz}\right)$

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

$\mathrm{\Sigma }≔\left\{\frac{t\left(\frac{\ⅆ}{\ⅆx}\right)}{-a^2-b^2}+\frac{\ⅆ}{\ⅆy}\,-\frac{\frac{\ⅆ}{\ⅆx}}{-a^2-b^2}+\frac{\ⅆ}{\ⅆz}\right\}$

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

$\left\{a\,b\,t\,x\,y\,z\right\}$

$\mathrm{has}\left(\mathrm{\Sigma }\,\left[x\,w\right]\right)$

$\mathrm{true}$

$\mathrm{has}\left(\mathrm{\Sigma }\,w\right)$

$\mathrm{false}$

$\mathrm{hastype}\left(\mathrm{\Sigma }\,'\mathrm{name}'\right)$

$\mathrm{true}$

$\mathrm{hastype}\left(\mathrm{\Sigma }\,'\mathrm{trig}'\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{\Sigma }\,'\mathrm{object}'\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{\Sigma }\,\mathrm{dependent}\left(x\,y\,z\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{\Sigma }\,\mathrm{freeof}\left(t\right)\right)$

$\mathrm{false}$

$\mathrm{convert}\left(\mathrm{\Sigma }\,'\mathrm{LAVF}'\,\left[\mathrm{\xi }\,\mathrm{\eta }\,\mathrm{\zeta }\right]\right)$

$\left[\mathrm{\xi }\left(x\,y\,z\right)\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(x\,y\,z\right)\left(\frac{\ⅆ}{\ⅆy}\right)+\mathrm{\zeta }\left(x\,y\,z\right)\left(\frac{\ⅆ}{\ⅆz}\right)\right]\&where\left\{\left[\mathrm{\xi }\left(x\,y\,z\right)=\frac{\mathrm{\eta }\left(x\,y\,z\right)t-\mathrm{\zeta }\left(x\,y\,z\right)}{-a^2-b^2}\right]\right\}$

The indets, has, hastype, type and convert commands were introduced in Maple 2020.

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