Invar: Computer algebra for the Riemann tensor
Authors: José M. Martín-García, David Yllanes, Renato Portugal and Leon Manssur, © 2006-2015 under GPL.
Articles: José M. Martín-García, Renato Portugal and Leon Manssur, Comp. Phys. Commun. 177 (2007) 640-648, arXiv:0704.1756 [cs.SC]
José M. Martín-García, David Yllanes and Renato Portugal, Comp. Phys. Commun. 179 (2008) 586-590, arXiv:0802.1274 [cs.SC]
Invar is a package for generic manipulation of polynomials of the Riemann tensor and its derivatives. There is no known efficient algorithm to handle the cyclic and Bianchi symmetries of Riemann, or those equations coming from commutations of derivatives and dimensionally dependent identites. Therefore Invar reads a database of solutions previously constructed using some (necessarily hard and slow) procedure. Currently the database contains algebraic invariants (scalars) up to Riemann^7 and differential invariants up to 12 metric derivatives. It also contains dual invariants up to Riemann^5 * epsilon in the algebraic case and up to 8 metric derivatives in the differential case.
The package and its algorithms are documented in the articles above, respectively entitled "The Invar tensor package" (version 1, algebraic invariants only) and "The Invar tensor package: differential invariants of Riemann" (version 2, algebraic and differential invariants).
Download and installation
Current version: 2.0.5 (as of 15 February 2014). It is recommended to download the main xAct bundle, but you can also download the different files separately:
- The main bundle contains these files:
- You need to download separately the database of identities:
For installation hints see the Readme file.
- Invar_2.0.4 (as of 27 January 2013)
- Invar_1.0.0 (as of 22 November 2006)