0.2. Summary

These are the objects that currently can be defined in xTensor`.
    - Manifolds
    - Vector bundles
    - Indices (of different types)
    - Tensors (in particular, Metrics)
    - Covariant derivative operators (including partial derivatives)
    - Constant symbols
    - Parameters
    - Inert heads (wrappers for tensors)
    - Scalar functions
    - Charts (coordinate systems): use the twin package xCoba` (in collaboration with D. Yllanes)
    - Bases (frames): use the twin package xCoba`
We also have predefined mathematical operators:
    - Lie derivative
    - Lie bracket
    - Parametric derivative
    - Variational derivative
and useful mathematical operations:
    - Relations and rules among indexed objects
    - Indexed equations solving
    - Canonicalization and simplification of expressions
    - Automatic definition of curvature tensors, and relations among them
    - Complex conjugation
There are also specialized algorithms, frequently used in General Relativity:
    - Warped metric decomposition
    - ADM-like decomposition
    - Perturbation theory in General Relativity: use the twin package xPert` (in collaboration with D. Brizuela and G. Mena Marugán)
    - Spherical tensor harmonics: use the twin package Harmonics` (in collaboration with D. Brizuela and G. Mena Marugán)
    - Manipulation of invariants of the Riemann tensor: use the twin package Invar` (in collaboration with R. Portugal, L. Manssur and D. Yllanes)

Created by Mathematica  (May 16, 2008)