GetVectorFields
get vector fields that form a basis for a Distribution object
GetAnnihilator
get one-forms that form a co-basis for a Distribution object
Calling Sequence
Parameters
Description
Examples
Compatibility
GetVectorFields( dist)
GetAnnihilator( dist)
dist
-
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.
with⁡LieAlgebrasOfVectorFields:
Build vector fields associated with 3-d spatial rotations...
Rx≔VectorField⁡−z⁢Dy+y⁢Dz,space=x,y,z
Rx≔−z⁢ⅆⅆy+y⁢ⅆⅆz
Ry≔VectorField⁡−x⁢Dz+z⁢Dx,space=x,y,z
Ry≔z⁢ⅆⅆx−x⁢ⅆⅆz
Rz≔VectorField⁡−y⁢Dx+x⁢Dy,space=x,y,z
Rz≔−y⁢ⅆⅆx+x⁢ⅆⅆy
Construct the associated distribution...
Σ≔Distribution⁡Rx,Ry,Rz
Σ≔−z⁢ⅆⅆxx+ⅆⅆz,−y⁢ⅆⅆxx+ⅆⅆy
GetVectorFields⁡Σ
−y⁢ⅆⅆxx+ⅆⅆy,−z⁢ⅆⅆxx+ⅆⅆz
GetAnnihilator⁡Σ
dx+y⁢dyx+z⁢dzx
The GetVectorFields and GetAnnihilator commands were introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
See Also
Distribution (Object overview)
LieAlgebrasOfVectorFields[Distribution]
VectorField (Object overview)
LieAlgebrasOfVectorFields[VectorField]
LieAlgebrasOfVectorFields (Package overview)
Download Help Document