Forms - declaration of p-forms

Forms[f1n, f2k, ..., fip]
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 .
  • fip -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).