- Lie derivative
- Exterior product
- Tensor product
- Hodge operator
- Covariant derivative
| Forms[f1→n, f2→k, ..., fi→p] allows one to declare p-forms. One can declare indexed p-forms e.g. ej is treated as a set of p-forms e1, e2, ..ej . |
- fi→p -rules where fi - form identifier and p is a variable or an integer - the form's degree.
- In the Atlas package any identifier is treated as 0-form i.e. as non-constant scalar (if it not declared as constant, p-form, tensor etc. (see Types).
EXAMPLES
Basic Examples
Varify that e[1] is 1-form using kind procedure (see Kind):
Using exterior product operator (see Wedge):
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||
