GenerateForms - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


DifferentialGeometry[Tools]

  

GenerateForms

 

Calling Sequence

Parameters

Description

Examples

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)

See Also

DifferentialGeometry

Tools

JetCalculus

GenerateSymmetricTensors