|
Tensor[CanonicalTensors] - create various standard tensors
Calling Sequences
CanonicalTensors(keyword, spatial_type, signature, frameName)
Parameters
keyword - a keyword string, one of "Metric", "SymplecticForm", "ComplexStructure"
spatial_type - a string, either "bas" or "vrt", the spatial type of the tensor to be created
signature - required for the keyword "Metric", a pair of integers p (number of + 1), q (number of - 1) specifying the signature of the metric
frameName - (optional) a name or a string, the name of the manifold on which the tensor is to be defined
|
|
Description
|
|
|
•
|
This command will create the standard (flat) metric, symplectic form or complex structure.
|
|
•
|
This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form CanonicalTensors(...) only after executing the command with(DifferentialGeometry) and with(Tensor) in that order. It can always be used in the long form DifferentialGeometry:-Tensor:-CanonicalTensors.
|
|
|
|
Examples
|
|
|
>
|
 
|
Example 1.
First create a 10 dimensional fiber bundle E over a 4 dimensional manifold M.
|
>
|
![DGsetup([x1, x2, x3, x4], [u1, u2, u3, u4, u5, u6], M)](/support/helpjp/helpview.aspx?si=5607/file05853/math82.png)
|
Create a metric on the tangent space of M with signature 3, 1.
|
M >
|
|
|
| (2.1) |
Create a Riemannian metric on the fibers of E.
|
M >
|
|
|
| (2.2) |
Create a symplectic form on M.
|
M >
|
|
|
| (2.3) |
Create a complex structure on the fibers of E.
|
M >
|
|
|
| (2.4) |
|
|
