zbMATH — the first resource for mathematics

The Canon package: a fast kernel for tensor manipulators. (English) Zbl 1196.68331
Summary: This paper describes the Canon package written in the Maple programming language. Canon’s purpose is to work as a kernel for complete Maple tensor packages or any Maple package for manipulating indexed objects obeying generic permutation symmetries and possibly having dummy indices. Canon uses Computational Group Theory algorithms to efficiently simplify or manipulate generic tensor expressions. We describe the main command to access the package, give examples, and estimate typical computation timings.

68W30 Symbolic computation and algebraic computation
Maple; MathTensor; Canon
Full Text: DOI
[1] Fulling, S.A.; King, R.C.; Wybourne, B.G.; Cummins, C.J., Normal forms for tensor polynomials: I. the Riemann tensor, Class. quantum grav., 9, 1151-1197, (1992) · Zbl 0991.53517
[2] Butler, G., Effective computation with group homomorphisms, J. symbolic comput., 1, 143-157, (1985) · Zbl 0572.20001
[3] Butler, G., On computing double coset representatives in permutation groups, (), 283-290
[4] Manssur, L.R.U.; Portugal, R.; Svaiter, B.F., Group-theoretic approach for symbolic tensor manipulation, Internat. J. modern phys. C, 13, 859-880, (2002) · Zbl 1086.65515
[5] Sims, C.C., Computation with permutation groups, () · Zbl 0215.10002
[6] Leon, J.S., On an algorithm for finding a base and a strong generating set for a group given by generating permutations, Math. comput., 35, 941-974, (1980) · Zbl 0444.20001
[7] Butler, G., Fundamental algorithms for permutation groups, Lecture notes in comput. sci., vol. 559, (1991), Springer-Verlag · Zbl 0785.20001
[8] Fiedler, B., A use of ideal decomposition on the computer algebra of tensor expressions, Z. anal. anwendungen, 16, 145-164, (1997) · Zbl 0872.20017
[9] Boerner, H., Representations of groups, (1970), North-Holland Amsterdam · Zbl 0112.26301
[10] Balfagon, A.; Jaen, X., Review of some classical gravitational superenergy tensors using computational techniques, Class. quantum grav., 17, 2491-2497, (2000) · Zbl 0967.83012
[11] Portugal, R., Algorithmic simplification of tensor expressions, J. phys. A, 32, 7779-7789, (1999) · Zbl 0963.53005
[12] Parker, L.; Christensen, S.M., Mathtensor, A system for doing tensor analysis by computer, (1994), Addison-Wesley Reading, MT
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.