- Lie derivative
- Exterior product
- Tensor product
- Hodge operator
- Covariant derivative
To make a calculation in modern differential geometry it is necessary to define the manifold, coframe 1-forms, frame vectors etc. Thus the following sequence of steps is natural for any such calculation:
1. Name the manifold (or its domain) you are working at (Domain).
2. Declare constants, vectors, p-forms, tensors and functions (Constants,
Vectors, Forms, Tensors, Functions).
3. Declare coframe 1-forms (Coframe).
4. Declare frame vector fields (Frame).
5. Declare metric if needed (Metric).
6. Calculate connection and curvature if needed (Connection, Curvature).
7. Make any necessary calculations.
1. Name the manifold (or its domain) you are working at (Domain).
2. Declare constants, vectors, p-forms, tensors and functions (Constants,
Vectors, Forms, Tensors, Functions).
3. Declare coframe 1-forms (Coframe).
4. Declare frame vector fields (Frame).
5. Declare metric if needed (Metric).
6. Calculate connection and curvature if needed (Connection, Curvature).
7. Make any necessary calculations.
1. Name other manifold if needed.
2. Declare coframe 1-forms for the manifold.
3. Declare mappings between manifolds if needed (Mapping).
2. Declare coframe 1-forms for the manifold.
3. Declare mappings between manifolds if needed (Mapping).
