>


Example 1.
Create an abstract manifold with a function 1forms and a 2form .
>


 (1) 
The command DGinfo gives the names all scalars and forms which are defined.
>


 (2) 
Scalar products, wedge products and sums of abstract forms can be defined.
>


 (3) 
The command DGinfo can also be used to extract information about the form .
>


 (4) 
>


 (5) 
New forms can be defined on M.
>


 (6) 
We can use the DGzip and GetComponents commands with abstract forms.
>


 (7) 
>


 (8) 
>


 (9) 
We can take the exterior derivative of a form.
>


 (10) 
The 2form dalpha has been added to list of defined forms and is now available for subsequent computations.
>


 (11) 
>


 (12) 
Exterior derivatives of defined forms can be specified.
>


 (13) 
>


 (14) 
Example 2.
In this example we illustrate calculations using the second calling sequence for working with abstract forms. The 1forms defining the coframe are enclosed in separate list (the degrees of the forms defining the coframe need not be given).
>


 (15) 
>


 (16) 
All the functionality of Example 1 is retained but now the manifold is taken to have dimension 3. The 1forms define a coframe on and the dual vector fields { have been initialized.
>


 (17) 
>


 (18) 
>


 (19) 
We can define vector fields on .
>


 (20) 
We can calculate the interior products of vectors and forms.
>


 (21) 
The interior products of {} with the 2form alpha are automatically defined as new forms on
>


 (22) 
>


 (23) 
>


 (24) 
>


 (25) 
>


 (26) 
Iterated interior products are known to be skewsymmetric:
>


 (27) 
>


 (28) 
>


 (29) 
The forms are taken to be independent so the commands such as Annihilator and DGbasis will work in this setting.
>


 (30) 
The Lie derivative of forms are computed from the Cartan formula.
>


 (31) 
Here both terms in this equation are new forms which are added to the list of defined forms on .
>


 (32) 
Equations for both exterior derivatives and interior products can be specified.
>


 (33) 
>


 (34) 
The Lie bracket can also be computed.
>


 (35) 
>


 (36) 
>


 (37) 
N >

