Cadabra is a symbolic computer algebra system (CAS) designed
specifically for the solution of problems encountered in field theory.
It has extensive functionality for tensor computer algebra, tensor
polynomial simplification including multiterm symmetries, fermions and
anticommuting variables, Clifford algebras and Fierz transformations,
component computations, implicit coordinate dependence, multiple index
types and many more. The input format is a subset of TeX. Both a
commandline and a graphical interface are available.
* Designed for fieldtheory problems, with handling of anticommuting
and noncommuting objects without special notations for their
products, gamma matrix algebra, Fierz identities, Dirac conjugation,
vielbeine, flat and curved, covariant and contravariant indices,
implicit dependence of tensors on coordinates, partial and covariant
derivatives...
* Powerful tensor simplification algorithms, not just for monoterm
symmetries but also for multiterms symmetries like the Bianchi
identity, or dimensionallydependent symmetries like the Schouten
identity.
* Allows for both abstract and component computations.
* A standalone graphical notebook interface which can also be used as a
frontend for SymPy.
* Input and output using a subset of LaTeX notation.
* Programmable using Python.
Mathematica (not on SBo) is an optional dependency, it will be
autodetected at build time.
