DifferentialGeometry:-Tools[GenerateForms] - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : Tools : DifferentialGeometry/Tools/GenerateForms

DifferentialGeometry:-Tools[GenerateForms]

Calling Sequence

GenerateForms(Omega, deg)

Parameters

Omega

-

a list of lists of differential 1-forms

deg

-

a list of positive integers

Description

• 

Let Omega = [Omega_1, Omega_2, Omega_3, ...] and let deg = [p_1, p_2, p_3, ...].  Then GenerateForm(Omega, deg) returns a list of differential forms of degree p = p_1 + p_2 + p_3 + ..., where each form omega in the list is of the form omega = omega_1 &w omega_2 &w omega_3 ....  and where omega_i  is a p_i-fold wedge product of forms in Omega_i.

• 

The command GenerateForms is part of the DifferentialGeometry:-Tools package, and so can be used in the form GenerateForms(...) only after executing the commands with(DifferentialGeometry) and with(Tools) in that order.  It can always be used in the long form DifferentialGeometry:-Tools:-GenerateForms.

Examples

withDifferentialGeometry:withTools:

 

Define a 6-dimensional manifold M with coordinates [x1, x2, y1, y2, y3, z1].  (This choice of coordinate names is simply to help understand the output of the commands that follow).

DGsetupx1,x2,y1,y2,y3,z1,M

frame name: M

(1)

 

Example 1.

Find all 2 -forms generated from [dy1, dy2, dy3].

GenerateFormsdy1,dy2,dy3,2

`*`dy1dy2,`*`dy1dy3,`*`dy2dy3

(2)

 

Example 2.

Find all 2-forms obtained by choosing 1 from [dx1, dx2] and 1 from [dy1, dy2, dy3].

GenerateFormsdx1,dx2,dy1,dy2,dy3,1,1

`*`dx1dy1,`*`dx1dy2,`*`dx1dy3,`*`dx2dy1,`*`dx2dy2,`*`dx2dy3

(3)

 

Example 3.

Find all 5-forms obtained by choosing 2 from [dx1, dx2] and 3 from [dy1, dy2, dy3].

GenerateFormsdx1,dx2,dy1,dy2,dy3,2,3

`*`dx1dx2dy1dy2dy3

(4)

Example 4. 

Find all 3-forms obtained by choosing 1 from [dx1, dx2], 1 from [dy1, dy2], and 1 from [dz1].

GenerateFormsdx1,dx2,dy1,dy2,dz1,1,1,1

`*`dx1dy1dz1,`*`dx1dy2dz1,`*`dx2dy1dz1,`*`dx2dy2dz1

(5)
M > 

See Also

DifferentialGeometry, Tools, JetCalculus, GenerateSymmetricTensors


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