Skip to main content
Log in

The Method of Colored Graphs for Simplifying Expressions with Indices

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

Computer algebra is increasingly used in research and applied computations. An example is tensor computations or, in a wide sense, simplification of expressions containing indices. In this paper, the method of colored graphs designed for simplifying abstract expressions containing indices is developed for the case when the indices are of different types. An example of such indices are upper and lower indices in tensor expressions. The proposed approach significantly reduces the number of combinations to be considered when the canonical form of the expression is sought; as a result, the computations are drastically accelerated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  1. Shpiz, G. and Kryukov, A., Canonical representation of polynomial expressions with indices, Program. Comput. Software, 2019, vol. 45, no. 2, pp. 81–87. https://doi.org/10.1134/S0361768819020105

    Article  MathSciNet  Google Scholar 

  2. Korol’kova, A.V., Kulyabov, D.S., and Sevast’yanov, L.A., Tensor computations in computer algebra systems, Program. Comput. Software, 2013, vol. 39, no. 3, pp. 135–142.

    Article  MathSciNet  Google Scholar 

  3. MacCallum, M.A.H., Computer algebra in gravity research, Living Reviews in Relativity, 2018, vol. 21, p. 6. https://doi.org/10.1007/s41114-018-0015-6

    Article  Google Scholar 

  4. Li, H., Li, Zh., and Li, Y., Riemann Tensor Polynomial Canonicalization by Graph Algebra Extension, Proc. of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017, pp. 1269–276. https://doi.org/10.1145/3087604.3087625

  5. Portugal, R., An algorithm to simplify tensor expressions, Comput. Phys. Commun., 1998, vol. 115, pp. 215–230.

    Article  MathSciNet  Google Scholar 

  6. Steinwachs, Ch.F., Combinatorial aspects in the one-loop renormalization of higher derivative theories, ArXiv: 1909:00810, 2019. https://arxiv.org/abs/1909.00810

  7. Rodionov, A.Y. and Taranov, A.Y., Combinatorial aspects of simplification of algebraic expressions, Proc. Int. Conf. EUROCAL’89, Lect. Notes Comput. Sci., 1989, vol. 378, pp. 192–201.

  8. Ilyin, V.A. and Kryukov, A.P., ATENSOR – REDUCE program for tensor simplification, Comput. Phys. Commun., 1996, vol. 96, pp. 36–52.

    Article  Google Scholar 

  9. Maplesoft. https://www.maplesoft.com

  10. Hearn, A.C. and Schöpf, R., REDUCE User’s Manual, Free Version. https://reduce-algebra.sourceforge.io/manual/manual.html

  11. Abramov, S.A. and Bogolyubskaya, A.A., The research seminar on computer algebra in 2016–2017, Programmirovanie, 2018, no. 2, pp. 3–4. http://www.ccas.ru/sabramov/seminar/doku.php

Download references

ACKNOWLEDGMENTS

We are grateful to V. A. Ilyin for fruitful discussions and to S.A. Abramov for stimulating this research and the opportunity to make a report in the seminar on computer algebra [11].

Funding

This work was done within the state project no. 115041410196.

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to G. B. Shpiz or A.P. Kryukov.

Additional information

Translated by A. Klimontovich

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Shpiz, G.B., Kryukov, A. The Method of Colored Graphs for Simplifying Expressions with Indices. Program Comput Soft 47, 25–28 (2021). https://doi.org/10.1134/S0361768821010102

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768821010102

Navigation