Important: The tensor package has been deprecated. Use the superseding commands DifferentialGeometry[LieBracket] and Physics[Commutator] instead.
Define U and V -- two contravariant vector fields:
>
|
|
| (1) |
>
|
|
| (2) |
Define the coordinates:
>
|
|
| (3) |
Because the components of U and V contain expressions involving ln, define `tensor/commutator/simp` to apply simplify( ... , ln) to each computed component:
>
|
`tensor/commutator/simp`:=proc(x) simplify(x,ln) end proc;
|
| (4) |
Now compute the commutator of U and V:
>
|
|
| (5) |