get vector fields that form a basis for a Distribution object
get one-forms that form a co-basis for a Distribution object
a Distribution object
The GetVectorFields method returns a list of VectorField objects which at each point form a basis of the subspace of tangent space associated with a distribution. In the case where Distribution dist is in involution, the basis is chosen to commute.
Similarly the GetAnnihilator method returns a list of OneForm objects which form a co-basis for the forms that annihilate the distribution.
Both VectorField and OneForm objects are part of the LieAlgebrasOfVectorFields package. For more detail, see Overview of the LieAlgebrasOfVectorFields package.
These methods are associated with the Distribution object. For more detail see Overview of the Distribution object.
Build vector fields associated with 3-d spatial rotations...
Rx ≔ VectorField⁡−z⁢Dy+y⁢Dz,space=x,y,z
Ry ≔ VectorField⁡−x⁢Dz+z⁢Dx,space=x,y,z
Rz ≔ VectorField⁡−y⁢Dx+x⁢Dy,space=x,y,z
Construct the associated distribution...
Σ ≔ Distribution⁡Rx,Ry,Rz
The GetVectorFields and GetAnnihilator commands were introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
Distribution (Object overview)
VectorField (Object overview)
LieAlgebrasOfVectorFields (Package overview)
Download Help Document