Top

Programming and Computer Software

Published in:

01-01-2021

The Method of Colored Graphs for Simplifying Expressions with Indices

Authors: G. B. Shpiz, A.P. Kryukov

Published in: Programming and Computer Software | Issue 1/2021

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

previous article Using a Template Engine as a Computer Algebra Tool

next article An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge’s Condition

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

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/S0361768819020105MathSciNetCrossRef

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.MathSciNetCrossRef

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-6CrossRef

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

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

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

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.

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

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

Title: The Method of Colored Graphs for Simplifying Expressions with Indices
Authors: G. B. Shpiz
A.P. Kryukov
Publication date: 01-01-2021
Publisher: Pleiades Publishing
Published in: Programming and Computer Software / Issue 1/2021
Print ISSN: 0361-7688
Electronic ISSN: 1608-3261
DOI: https://doi.org/10.1134/S0361768821010102

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Technik"

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 1/2021

Heuristic Algorithms for Recognition of Some Cubic Hypersurfaces

Solving the Cauchy Problem for a Two-Dimensional Difference Equation at a Point Using Computer Algebra Methods

Technology and Methods for Deferred Synthesis of 4K Stereo Clips for Complex Dynamic Virtual Scenes

An Algorithm for Solving a Family of Fourth-Degree Diophantine Equations that Satisfy Runge’s Condition

Automated Software Testing Technologies for Realistic Computer Graphics

Symbolic Investigation of Eigenvectors for General Solution of a System of ODEs with a Symbolic Coefficient Matrix

Premium Partner