|
DifferentialGeometry[DGzip] - form a linear combination, wedge product or tensor product of a list of vectors, forms or tensors
|
|
Calling Sequence
|
|
DGzip(C, T, operand)
|
|
|
Parameters
|
|
|
C
|
-
|
a list of Maple expressions
|
|
T
|
-
|
a list of vectors, differential p-forms, or tensors (of the same type); the number of elements in C and T must be equal
|
|
operand
|
-
|
a string, one of "plus", "wedge", or "tensor"
|
|
|
|
|
|
Description
|
|
|
•
|
DGzip(C, T, "plus") returns the additive linear combination of the objects in T with coefficients taken from the list C.
|
|
•
|
DGzip(T, "wedge") returns the wedge product of the forms in T.
|
|
•
|
DGzip(T, "tensor") returns the tensor product of the tensors in the list T.
|
|
•
|
This command is part of the DifferentialGeometry package, and so can be used in the form DGzip(...) only after executing the command with(DifferentialGeometry). It can always be used in the long form DifferentialGeometry:-DGzip.
|
|
|
|
Examples
|
|
|
>
|
|
Initialize a 4-dimensional manifold M with coordinates [x, y, z, w].
|
>
|
![DGsetup([x, y, z, w], M)](/support/helpjp/helpview.aspx?si=5575/file01428/math107.png)
|
Example 1.
Form a vector on M with arbitrary coefficients.
|
>
|
![C1 := [a, b, c, d]](/support/helpjp/helpview.aspx?si=5575/file01428/math119.png)
|
|
![[a, b, c, d]](/support/helpjp/helpview.aspx?si=5575/file01428/math122.png)
| (1) |
|
>
|
![T1 := [D_x, D_y, D_z, D_w]](/support/helpjp/helpview.aspx?si=5575/file01428/math126.png)
|
|
![[_DG([["vector", M, []], [[[1], 1]]]), _DG([["vector", M, []], [[[2], 1]]]), _DG([["vector", M, []], [[[3], 1]]]), _DG([["vector", M, []], [[[4], 1]]])]](/support/helpjp/helpview.aspx?si=5575/file01428/math129.png)
| (2) |
|
>
|
|
|
![_DG([["vector", M, []], [[[1], a], [[2], b], [[3], c], [[4], d]]])](/support/helpjp/helpview.aspx?si=5575/file01428/math136.png)
| (3) |
Example 2.
Generate a list of 6 coefficients using the seq command, generate a basis for the 2-forms on M using the GenerateForms command, and use DGzip to make a general 2-form on M.
|
>
|
![C2 := [seq(a || i, i = 1 .. 6)]](/support/helpjp/helpview.aspx?si=5575/file01428/math158.png)
|
|
![[a1, a2, a3, a4, a5, a6]](/support/helpjp/helpview.aspx?si=5575/file01428/math161.png)
| (4) |
|
>
|
![T2 := Tools:-GenerateForms([dx, dy, dz, dw], 2)](/support/helpjp/helpview.aspx?si=5575/file01428/math165.png)
|
|
![[_DG([["form", M, 2], [[[1, 2], 1]]]), _DG([["form", M, 2], [[[1, 3], 1]]]), _DG([["form", M, 2], [[[1, 4], 1]]]), _DG([["form", M, 2], [[[2, 3], 1]]]), _DG([["form", M, 2], [[[2, 4], 1]]]), _DG([["form", M, 2], [[[3, 4], 1]]])]](/support/helpjp/helpview.aspx?si=5575/file01428/math168.png)
| (5) |
|
>
|
|
|
![_DG([["form", M, 2], [[[1, 2], a1], [[1, 3], a2], [[1, 4], a3], [[2, 3], a4], [[2, 4], a5], [[3, 4], a6]]])](/support/helpjp/helpview.aspx?si=5575/file01428/math175.png)
| (6) |
Example 3.
Define the standard volume form on M.
|
>
|
![T3 := [dx, dy, dz, dw]](/support/helpjp/helpview.aspx?si=5575/file01428/math187.png)
|
|
![[_DG([["form", M, 1], [[[1], 1]]]), _DG([["form", M, 1], [[[2], 1]]]), _DG([["form", M, 1], [[[3], 1]]]), _DG([["form", M, 1], [[[4], 1]]])]](/support/helpjp/helpview.aspx?si=5575/file01428/math190.png)
| (7) |
|
>
|
|
|
![_DG([["form", M, 4], [[[1, 2, 3, 4], 1]]])](/support/helpjp/helpview.aspx?si=5575/file01428/math197.png)
| (8) |
Example 4.
Create the tensor product of a list of tensors.
|
>
|
![T4 := evalDG([dx, D_x, dy, D_y, dz, D_z, dw, D_w])](/support/helpjp/helpview.aspx?si=5575/file01428/math207.png)
|
|
![[_DG([["form", M, 1], [[[1], 1]]]), _DG([["vector", M, []], [[[1], 1]]]), _DG([["form", M, 1], [[[2], 1]]]), _DG([["vector", M, []], [[[2], 1]]]), _DG([["form", M, 1], [[[3], 1]]]), _DG([["vector", M, []], [[[3], 1]]]), _DG([["form", M, 1], [[[4], 1]]]), _DG([["vector", M, []], [[[4], 1]]])]](/support/helpjp/helpview.aspx?si=5575/file01428/math210.png)
| (9) |
|
>
|
|
|
![_DG([["tensor", M, [["cov_bas", "con_bas", "cov_bas", "con_bas", "cov_bas", "con_bas", "cov_bas", "con_bas"], []]], [[[1, 1, 2, 2, 3, 3, 4, 4], 1]]])](/support/helpjp/helpview.aspx?si=5575/file01428/math217.png)
| (10) |
|
M >
|
|
|
|
Download Help Document
Was this information helpful?
