Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension
Symbolic Computation
2017-01-31 v1
Abstract
Tensor expression simplification is an "ancient" topic in computer algebra, a representative of which is the canonicalization of Riemann tensor polynomials. Practically fast algorithms exist for monoterm canonicalization, but not for multiterm canonicalization. Targeting the multiterm difficulty, in this paper we establish the extension theory of graph algebra, and propose a canonicalization algorithm for Riemann tensor polynomials based on this theory.
Cite
@article{arxiv.1701.08487,
title = {Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension},
author = {Hongbo Li and Zhang Li and Yang Li},
journal= {arXiv preprint arXiv:1701.08487},
year = {2017}
}