form a linear combination, wedge product or tensor product of a list of vectors, forms or tensors - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : DifferentialGeometry/DGzip

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

withDifferentialGeometry:

 

Initialize a 4-dimensional manifold M with coordinates [x, y, z, w].

DGsetupx,y,z,w,M:

 

Example 1.

Form a vector on M with arbitrary coefficients.

C1:=a,b,c,d

C1:=a,b,c,d

(1)

T1:=D_x,D_y,D_z,D_w

T1:=`*`D_x,`*`D_y,`*`D_z,`*`D_w

(2)

X:=DGzipC1,T1,plus

X:=aD_x+bD_y+cD_z+dD_w

(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:=seqa||i,i=1..6

C2:=a1,a2,a3,a4,a5,a6

(4)

T2:=Tools:-GenerateFormsdx,dy,dz,dw,2

T2:=`*`dxdy,`*`dxdz,`*`dxdw,`*`dydz,`*`dydw,`*`dzdw

(5)

ω:=DGzipC2,T2,plus

ω:=a1dxdy+a2dxdz+a3dxdw+a4dydz+a5dydw+a6dzdw

(6)

 

Example 3.

Define the standard volume form on M.

T3:=dx,dy,dz,dw

T3:=`*`dx,`*`dy,`*`dz,`*`dw

(7)

ν:=DGzipT3,wedge

ν:=`*`dxdydzdw

(8)

 

Example 4.

Create the tensor product of a list of tensors.

T4:=evalDGdx,D_x,dy,D_y,dz,D_z,dw,D_w

T4:=`*`dx,`*`D_x,`*`dy,`*`D_y,`*`dz,`*`D_z,`*`dw,`*`D_w

(9)

T:=DGzipT4,tensor

T:=`*`dxD_xdyD_ydzD_zdwD_w

(10)
M > 

See Also

DifferentialGeometry, &plus, &minus, &mult, &wedge, &tensor, evalDG, GetComponents


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam