Abstract
It is one of the oldest research topics in computer algebra to determine the equivalence of Riemann tensor indexed polynomials. However, it remains to be a challenging problem since Gröbner basis theory is not yet powerful enough to deal with ideals that cannot be finitely generated. This paper solves the problem by extending Gröbner basis theory. First, the polynomials are described via an infinitely generated free commutative monoid ring. The authors then provide a decomposed form of the Gröbner basis of the defining syzygy set in each restricted ring. The canonical form proves to be the normal form with respect to the Gröbner basis in the fundamental restricted ring, which allows one to determine the equivalence of polynomials. Finally, in order to simplify the computation of canonical form, the authors find the minimal restricted ring.
Similar content being viewed by others
References
Fulling S A, King R C, Wybourne B G, et al., Normal forms for tensor polynomials: I. The Riemann tensor, Class. Quantum Grav., 1992, 9: 1151–1197.
Christensen S and Parker L, MathTensor, A System for Performing Tensor Analysis by Computer, Addison-Wesley, 1994.
Ilyin V A and Kryukov A P, Atensor-Reduce program for tensor simplification, Comput. Phys. Commun., 1996, 96: 36–52.
Jaén X and Balfagón A, TTC: Symbolic tensor calculus with indices, Comput. Phys., 1998, 12: 286–289.
Portugal R, An algorithm to simplify tensor expressions, Comput. Phys. Commun., 1998, 115: 215–230.
Portugal R, Algorithmic simplification of tensor expressions, J. Phys. A: Math. Gen., 1999, 32: 7779–7789.
Portugal R, The Riegeom package: Abstract tensor calculation, Comput. Phys. Commun., 2000, 126: 261–268.
Balfagón A and Jaén X, Review of some classical gravitational superenergy tensors using computational techniques, Class. Quantum Grav., 2000, 17: 2491–2497.
Manssur L R U, Portugal R, and Svaiter B F, Group-theoretic approach for symbolic tensor manipulation, International Journal of Modern Phys. C, 2002, 13: 859–880.
Manssur L R U and Portugal R, The Canon package: A fast kernel for tensor manipulators, Comput. Phys. Commun., 2004, 157: 173–180.
Martín-García J M, Portugal R, and Manssur L R U, The Invar tensor package, Comput. Phys. Commun., 2007, 177: 640–648.
Martín-García J M, Yllanes D, and Portugal R, The Invar tensor package: Differential invariants of Riemann, Comput. Phys. Commun., 2008, 179: 586–590.
Liu J, Li H B, and Zhang L X, A complete classification of canonical forms of a class of Riemann tensor indexed expressions and its applications in differential geometry (in Chinese), Sci. Sin. Math., 2013, 43: 399–408.
Liu J, Li H B, and Cao Y H, Simplification and normalization of indexed differentials involving coordinate transformation, Sci. China Ser. A, 2009, 52: 2266–2286.
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was supported by the National Natural Science Foundation of China under Grant No. 11701370 and the Natural Science Foundation of Shanghai under Grant No. 15ZR1401600.
This paper was recommended for publication by Editor LI Hongbo.
Rights and permissions
About this article
Cite this article
Liu, J. Normalization in Riemann Tensor Polynomial Ring. J Syst Sci Complex 31, 569–580 (2018). https://doi.org/10.1007/s11424-017-6325-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11424-017-6325-z