|
Calling Sequence
|
|
Transporter(L, M, N)
|
|
Parameters
|
|
L, M, N
|
-
|
LAVF objects live on same space.
|
|
|
|
|
Description
|
|
•
|
Let L, M, N be LAVF objects living on the same space. Then Transporter(L,M,N) finds the transporter of M to N in L, as a new LAVF object.
|
•
|
By definition, the transporter of to in consists of the vector fields in that map vector fields in to vector fields in , under commutator. That is, it is the subspace where are subspaces of some Lie algebra.
|
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
Constructing some LAVFs,
| (5) |
| (6) |
| (7) |
>
|
|
| (8) |
>
|
|
| (9) |
This is centre of L
>
|
|
| (10) |
and the second centre of L
>
|
|
| (11) |
The upper central series of L is a sequences of L consisting a trivial LAVF, centre of L, and the second centre of L.
| (12) |
|
|
Compatibility
|
|
•
|
The Transporter command was introduced in Maple 2020.
|
|
|
|