INVAR: COMPUTER ALGEBRA FOR THE INVARIANTS OF THE RIEMANN TENSOR

被引:10
|
作者
Martin-Garcia, J. M. [1 ]
Yllanes, D. [1 ]
Portugal, R. [2 ]
机构
[1] CSIC, Inst Estruct Mat, C Serrano 123, E-28006 Madrid, Spain
[2] LNCC, BR-25651075 Petropolis, RJ, Brazil
关键词
D O I
10.1051/eas:0830031
中图分类号
P1 [天文学];
学科分类号
0704 ;
摘要
We report on the systematic listing of polynomial relations among the algebraic invariants of a Riemann tensor. We construct all such relations for the 3 x 10(29) invariants with tip to seven Riemann tensors, and provide the computer algebra system Invar (both for Mathematica and Maple) which uses them to maximally simplify any invariant within seconds. We also report work in progress to extend Invar and its database to handle all differential Riemann invariants up to 12 derivatives of the metric.
引用
收藏
页码:223 / +
页数:2
相关论文
共 50 条