Abstract
A possible way of developing computer algebra systems is an "education" of the system. By "education" we mean here supplying the system with the capacity for handling new classes of mathematical objects. Tensors or, more generally, functions of several variables are an examples of such objects of practical interest. The main features of these objects which makes nontrivial the problem of incorporating them into a computer algebra system, are the symmetry properties exhibited by tensors (functions) we meet in practice. The simplification of expressions containg tensor monomials involves two operations: monomial identification and monomial pattern matching. The tensor identification problem when dummy summation indices are included and the tensor pattern matching problem when the pattern has free variables may both be reformulated as combinatorial problems. The first one is reducible to the double coset problem for the permutation group and the second, to a variant of the general combinatorial object isomorphism problem. The backtrack algorithms for solving the above two problems are based on some well-known ideas in computational group theory. A recursive variant of the tensor identification algorithm for a restricted class of symmetry groups and the algorithm implementation are discussed briefly.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bogen R.A., Pavelle R. Lett.Math.Phys. 1977, 2, p.55.
Bogen R.A., Journ.Symb. Computations, 1985, 1.
De-Witt B.S. Dynamical theory of Groups and Fields. Gordon Breach, 1965.
Barvinsky A.O., Vilkovysky G.A. Phys.Rep., 1985, v.119, 1–74.
Rodionov A.Ya., Taranov A.Yu. Preprint IHEP 86–86, Serputkhov, 1986.
Sing J.L. Relativity the General Theory, North-Holland, Amstersdam, 1960.
Bateman H., Erdelyi A. Higher transcendental functions. v.1, McGRAW-HILL 1953.
Hall M. Theory of groups. Macmillan, New York, 1959.
Leon G.S. in Computational group theory. Academic Press, London, 1984, p.321.
Butler G., Lam C.W.H. J. of Symbolic Computations. 1985, 1, p.363.
Sims I.C. in Computational problems in abstract algebra. Pergamon Press, 1970, p.169.
Hoffman C.M. Group Theoretic algorithms and Graph Isomorphism Lect. Notes in Computer Science, No.136.
Hearn A.C. REDUCE-2 User 's Manual, UCP 19. 1973, Univ. of Utah, USA.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rodionov, A., Taranov, A. (1989). Combinatorial aspects of simplification of algebraic expressions. In: Davenport, J.H. (eds) Eurocal '87. EUROCAL 1987. Lecture Notes in Computer Science, vol 378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51517-8_113
Download citation
DOI: https://doi.org/10.1007/3-540-51517-8_113
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51517-3
Online ISBN: 978-3-540-48207-9
eBook Packages: Springer Book Archive